Introducing a calculus for higher-order multiset programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1061, Issue , 1996, Pages 124-141

  Cohen, David ^a   Muylaert Filho, Juarez ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DIFFERENTIATION (CALCULUS);

FIRST ORDER; FIRST-ORDER LANGUAGE; HIGHER-ORDER; HIGHER-ORDER CALCULUS; LAMBDA CALCULUS; REACTION RULES; REASONING ABOUT PROGRAMS; REWRITE RULES;

CALCULATIONS;

EID: 0347529844     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61052-9_43     Document Type: Conference Paper

References (9)

1. J.-P. Bangtre and D. Le M6tayer. The gamma model and its discipline of programming. In Science of Computer Programming, volume 15, pages 55-77. Elsvier Science Publishers, North Holland, 1990
2. H. P. Barendregt. The Lambda Calculus. Elsevier Science Publishers, 1985
3. G. Berry and G. Boudol. The chemical abstract machine. In Theoretical Computer Science, volume 96, pages 217-248. Elsvier, 1992
4. K. Mani Chandy and Jayadev Mists. Parallel Program Design. Addison-Wesley, 1988
5. D. Cohen. Higher order chemical machines. Master's thesis, Department of Computing, Imperial College of Science, Technology and Medicine, 1995
6. C. Hankin, D. Le M6tayer, and D. Sands. A calculus of gamma programs. In Proc. of the 5th Workshop on Languages and Compilers for Parallel Computing, number 757 in LNCS. Springer Verlag, 1992
7. D. Le M6tayer. Higher-order multiset programming. In Proceedings of the First Annual Workshop, COORDINATION, pages 103-123. ESPRIT, 1994
8. G.-C. Roman and H. C. Cunnigham. A shared dataspace model of concurrency: Language and programming implications. In Proceedings of the 9th International Conference on Distributed Computing Systems, pages 270-279, 1989
9. D. Sands. A compositional semantics of combining forms for gamma programs. In Formal Methods in Programming and Their Applications, number 735 in LNCS, pages 43-56. Springer Verlag, 1992