@InProceedings{Kalogerop98, title = "{D}eveloping an optimising compiler for occam", author= "Kalogeropoulos, Spiridon", editor= "Welch, Peter H. and Bakkers, Andr\`{e} W. P.", pages = "157--166", booktitle= "{P}roceedings of {W}o{TUG}-21: {A}rchitectures, {L}anguages and {P}atterns for {P}arallel and {D}istributed {A}pplications", isbn= "90 5199 391 9", year= "1998", month= "mar", abstract= "occam is a high-level language which got constructs for generating explicitly concurrent processes which communicate using channels. In this paper we present our methodology for developing an optimising occam compiler which consist of a framework to represent concurrency and the semantic properties of an occam program that enables efficient process optimisations, and inter-procedural optimisations to be performed. Furthermore, we tackle the issue of retargeting the optimising occam compiler for different processors of the transputer family." }