Compiling CSP

Concurrent Systems Engineering Series

Volumn 64, Issue , 2006, Pages 377-388

  Barnes, Frederick R M ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Compilers; CSP; Occam pi, concurrency

Indexed keywords

COMPILATION; CONCURRENCY; CONCURRENT PROCESS; FORMAL PROOFS; OCCAM-PI; COMMUNICATING SEQUENTIAL PROCESS; CSP; EXECUTABLE CODES;

CODES (SYMBOLS); COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; CONCURRENT ENGINEERING; FORMAL LOGIC; PROGRAM COMPILERS; FORMAL LANGUAGES;

FORMAL LANGUAGES; EMBEDDED SYSTEMS;

EID: 33749579466     PISSN: 13837575     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (26)

1. C.A.R. Hoare. Communicating Sequential Processes, Prentice-Hall, London, 1985. ISBN: 0-13-153271-5.
2. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1997. ISBN: 0-13-674409-5.
3. Inmos Limited. occam2 Reference Manual. Prentice Hall, 1988. ISBN: 0-13-629312-3.
4. M.H. Goldsmith, A.W. Roscoe, and B.G.O. Scott. Denotational Semantics for occam2, Part 1. In Transputer Communications, volume 1 (2), pages 65-91. Wiley and Sons Ltd., UK, November 1993.
5. M.H. Goldsmith, A.W. Roscoe, and B.G.O. Scott. Denotational Semantics for occam2, Part 2. In Transputer Communications, volume 2(1), pages 25-67. Wiley and Sons Ltd., UK, March 1994.
6. Frederick R.M. Barnes. Dynamics and Pragmatics for High Performance Concurrency. PhD thesis, University of Kent, June 2003.
7. P.H. Welch and F.R.M. Barnes. Communicating mobile processes: introducing occam-pi. In A.E. Abdallah, C.B. Jones, and J.W. Sanders, editors, 25 Years of CSP, volume 3525 of Lecture Notes in Computer Science, pages 175-210. Springer Verlag, April 2005.
8. Formal Systems (Europe) Ltd., 3, Alfred Street, Oxford. OX1 4EH, UK. FDR2 User Manual, May 2000.
9. P.H. Welch and D.C. Wood. The Kent Retargetable occam Compiler. In Brian O'Neill, editor, Parallel Processing Developments, Proceedings of WoTUG 19, volume 47 of Concurrent Systems Engineering, pages 143-166, Amsterdam, The Netherlands, March 1996. World occam and Transputer User Group, IOS Press. ISBN: 90-5199-261-0.
10. P.H. Welch, J. Moores, F.R.M. Barnes, and D.C. Wood. The KRoC Home Page, 2000. Available at: http://www.cs.kent.ac.uk/projects/ofa/kroc/.
11. A.B. Lawrence. CSPP and Event Priority. In Alan Chalmers, Majid Mirmehdi, and Henk Muller, editors, Communicating Process Architectures 2001, volume 59 of Concurrent Systems Engineering, pages 67-92, Amsterdam. The Netherlands, September 2001. WoTUG, IOS Press. ISBN: 1-58603-202-X.
12. P.H. Welch, F.R.M. Barnes, and F.A.C. Polack. Communicating Complex Systems. In Proceedings of ICECCS-2006, September 2006.
13. Uwe Schmidt and Reinhard Völler. A Multi-Language Compiler System with Automatically Generated Codegenerators. ACM SIGPLAN Notices, 19(6), June 1984.
14. Zehra Sura and Xing Fang and Chi-Leung Wong and Samuel P. Midkiff and Jaejin Lee and David Padua. Compiler techniques for high performance sequentially consistent Java programs. In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, pages 2-13, New York, NY, USA, 2005. ACM Press.
15. B. Joy, J. Gosling, and G. Steele. The Java Language Specification. Addison-Wesley, 1996. ISBN: 0-20-163451-1.
16. D. Lea. Concurrent Programming in Java (Second Edition): Design Principles and Patterns. The Java Series. Addison-Wesley, 1999. section 4.5.
17. International Standards Organization, IEEE. Information Technology - Portable Operating System Interface (POSIX) - Part 1: System Application Program Interface (API) [C Language], 1996. ISO/IEC 9945-1:1996 (E) IEEE Std. 1003.1-1996 (Incorporating ANSI/IEEE Stds. 1003.1-1990, 1003.1b-1993, 1003.1C-1995. and 1003.11-1995).
18. F.R.M. Barnes. NOCC: A New occam-pi Compiler. URL: http://www.cB.kent.ac. uk/projects/ofa/nocc/.
19. Xiaoqing Wu and Barrett R. Bryant and Jeff Gray and Suman Roychoudhury and Marjan Mernik. Separation of concerns in compiler development using aspect-orientation. In SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, pages 1585-1590, New York, NY, USA, 2006. ACM Press.
20. M.D. Poole. Extended Transputer Code - a Target-Independent Representation of Parallel Programs. In P.H. Welch and A.W.P. Bakkers, editors, Architectures, Languages and Patterns for Parallel and Distributed Applications, Proceedings of WoTUG 21, volume 52 of Concurrent Systems Engineering, pages 187-198, Amsterdam, The Netherlands, April 1998. WoTUG, IOS Press. ISBN: 90-5199-391-9.
21. Peri Hankey. The Language Machine. URL: http://languagemachine. sourceforge.net/.
22. Matthew Flatt. Composable and compilable macros:: you want it when? In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, pages 72-83, New York, NY, USA, 2002. ACM Press.
23. Mordechai Ben-Ari. How to solve the Santa Claus problem. Concurrency: Practice and Experience, 10(6):485-496, 1998.
24. J. Moores. CCSP - a Portable CSP-based Run-time System Supporting C and Occam. In B.M. Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering series, pages 147-168, Amsterdam, The Netherlands. April 1999. WoTUG, IOS Press. ISBN: 90-5199-480-X.
25. Inmos Limited. The T9000 Transputer Instruction Set Manual. SGS-Thompson Microelectronics, 1993. Document number: 72 TRN 240 01.
26. J.C.P. Woodcock and A.L.C. Cavalcanti. The Semantics of Circus. In ZB 2002: Formal Specification and Development in Z and B, volume 2272 of Lecture Notes in Computer Science, pages 184-203. Springer-Verlag, 2002.