Graph-based Operational Semantics of a Lazy Functional Language (0)

Cached

Download Links

by Kristoffer H. Rose , Kristoffer H. Rose
Venue:Term Graph Rewriting: Theory and Practice, chapter 22
Citations:1 - 1 self

Documents Related by Co-Citation

1 A Framework for Defining Object-Calculi (Extended Abstract) – Frédéric Lang, Ecole Normale, Superieure Lyon, Unite Mixte, Recherche Cnrs-inria-ens Lyon, Pierre Lescanne, Luigi Liquori, Luigi Liquori - 1998
1 A Generic Object-Calculus Based on Addressed Term Rewriting Systems – Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose - 2001
4 Eekelen – M J Plasmeijer, M C J D van - 1993
1 Equational term graph rewriting’. Fundam. Inf – Z M Ariola, J W Klop - 1996
1 Eekelen (2001). ‘Concurrent Clean Language Report (version 2.0)’. http://www.cs.ru.nl/~clean/contents/contents.html – R Plasmeijer, M van
1 Term Graph Rewriting, chap – D Plump - 1999
5 Matching for the Lambda Calculus of Objects. Theoret – V Bono, M Bugliesi - 1999
8 Term graph rewriting – Plasmeijer, M R Sleep - 1987
22 Properties of a First-order Functional Language with Sharing – Zena M. Ariola, Arvind, Zena M. Ariola - 1994
3 Implementing conditional term rewriting by graph rewriting – E Ohlebusch
33 CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification – R Diaconescu, K Futatsugi - 1998
2 A Lambda Calculus of Objects with Self-Inflicted Extension – P D Gianantonio, F Honsell, L Liquori - 1998
25 An Extended Theory of Primitive Objects: First Order System – Luigi Liquori - 1997
25 Explicit substitution tutorial & survey – K H Rose - 1996
6 Types and Computations in Lambda Calculi and Graph Rewrite Systems – E Barendsen - 1995
7 Fundamental Properties of Innite Trees – B Courcelle - 1983
15 From ## to ##, a journey through calculi of explicit substitutions – P Lescanne - 1994
24 Operational Reduction Models for Functional Programming Languages – Kristoffer Høgsbro Rose - 1996
2 calculs de substitutions explicites comme fondement de l'implantation des langages fonctionnels – Les - 1997
2 de Vries. Transnite reductions in orthogonal term rewriting systems – J R Kennaway, J W Klop, M R Sleep, F J - 1995