iRho: The software

Electronic Notes in Theoretical Computer Science

Volumn 135, Issue 3, 2006, Pages 85-94

  Liquori, Luigi ^a  

^a INRIA   (France)

Author keywords

Coq; iRho; Scheme; SW description

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; PATTERN MATCHING; PROGRAM INTERPRETERS; SEMANTICS;

COQ; IRHO; SCHEME; SW DESCRIPTION;

COMPUTER SOFTWARE;

EID: 33244455719     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.09.023     Document Type: Conference Paper

References (19)

1. J.R. Abrial. The B-Book: Assigning Programs to Meanings
2. Asf+Sdf Team. The Asf+Sdf Meta-Environment Home Page, 2005
3. G. Barthe, H. Cirstea, C. Kirchner, and L. Liquori. Pure Pattern Type Systems. In Proc. of POPL. 2003
4. H. Cirstea, C. Kirchner, and L. Liquori The Rho Cube Proc. of FOSSACS LNCS volume 2030 2001 166 180
5. H. Cirstea, L. Liquori, and B. Wack Rho-calculus with Fixpoint: First-order system Proc. of TYPES 2004 Springer-Verlag
6. Common Criteria Consortium. The Common Criteria Home Page, 2005
7. Cristal Team. OCaml Home page, 2005
8. E. Gamma, R. Helm, R. Johnson, and J. Vlissides Design Patterns Elements of Reusable Object-Oriented Software 1994 Addison-Wesley (The Gang of Four)
9. GNU Prolog Team. The Prolog Home Page, 2005
10. J. Goguen. The OBJ Family Home Page, 2005
11. Haskell Team. The Haskell Home Page, 2005
12. G. Huet. Résolution d'equations dans les langages d'ordre 1,2,...,ω. Ph.d. thesis, Université de Paris 7 (France), 1976
13. L. Liquori, and B. Serpette iRho, An Imperative Rewriting Calculus Proc. of PPDP 2004 The ACM Press 167 178
14. Maude Team. The Maude Home Page, 2005
15. R. Milner, M. Tofte, R. Harper, and D. MacQueen The Definition of Standard ML (Revised) 1997 MIT Press
16. Protheo Team. The Elan Home Page, 2005
17. Scheme Team. The Scheme Language, 2005
18. Stratego Team. The Stratego Home Page, 2005
19. A. van Deursen, J. Heering, and P. Klint Language Prototyping 1996