Region analysis and a π-calculus with groups

Journal of Functional Programming

Volumn 12, Issue 3, 2002, Pages 229-292

  Dal Zilio, Silvano ^a   Gordon, Andrew D ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; ENCODING (SYMBOLS); PROBLEM SOLVING; PROGRAM COMPILERS; SEMANTICS; STORAGE ALLOCATION (COMPUTER); THEOREM PROVING;

CONCURRENT PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING;

OBJECT ORIENTED PROGRAMMING;

EID: 84930486749     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796801004270     Document Type: Article

References (45)

1. A calculus for cryptographic protocols: The spi calculus
2. Better static memory management: Improvements to region-based analysis of higher-order languages
3. Region analysis and the polymorphic lambda calculus
4. Monads, effects and transformations
5. From region inference to von Neumann machines via region representation inference
6. Stratified operational semantics for safety and correctness of the region calculus
7. Ambient groups and mobility types
8. Group creation and secrecy
9. Typed memory management in a calculus of capabilities
10. Region analysis and a π-calculus with groups
11. Object types against races
12. The reflexive CHAM and the Join-calculus
13. Integrating functional and imperative programming
14. Syntactic type soundness for the region calculus
15. Recursion and dynamic data-structures in bounded space: Towards embedded ML programming
16. A partially deadlock-free typed process calculus
17. State in Haskell
18. On asynchrony in name-passing calculi
19. Barbed bisimulation
20. A calculus of mobile processes, parts I and II
21. Notions of computations and monads
22. Monadic encapsulation of effects: A revised approach
23. From CML to process algebras
24. Higher-order concurrent programs with finite communication topology
25. Typing and subtyping for mobile processes
26. Behavioral equivalence in the polymorphic pi-calculus
27. Pict: A programming language based on the pi-calculus
28. Call-by-name, call-by-value and the λ-calculus
29. Monadic encapsulation in ML
30. Polymorphic type, region and effect inference
31. Region-based memory management
32. The marriage of effects and monads
33. Objects in the pi-calculus
34. Graph types for monadic mobile processes