Static analysis of communication for asynchronous concurrent programming languages
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 225-242
- https://doi.org/10.1007/3-540-60360-3_42
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Constraints for polymorphic behaviours of concurrent MLPublished by Springer Nature ,2005
- Typing and subtyping for mobile processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Static analysis of communication for asynchronous concurrent programming languagesLecture Notes in Computer Science, 1995
- Higher-order concurrent linear logic programmingPublished by Springer Nature ,1995
- Higher-order concurrent programs with finite communication topology (extended abstract)Published by Association for Computing Machinery (ACM) ,1994
- Type-theoretic foundations for concurrent object-oriented programingPublished by Association for Computing Machinery (ACM) ,1994
- Polymorphic type, region and effect inferenceJournal of Functional Programming, 1992
- Compiling with ContinuationsPublished by Cambridge University Press (CUP) ,1991
- CMLACM SIGPLAN Notices, 1991
- ActorsPublished by MIT Press ,1986