Natural semantics

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

Volumn 247 LNCS, Issue , 1987, Pages 22-39

  Kahn, G ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; INTERACTIVE COMPUTER SYSTEMS; SPECIFICATIONS;

NATURAL SEMANTICS; SEMANTIC SPECIFICATION;

SEMANTICS;

EID: 84958790465     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0039592     Document Type: Conference Paper

References (21)

1. Cardelli L., “Basic Polymorphic Type-checking”, Polymorphism, January 1985.
2. Clément D. “The Natural Dynamic Semantics of Mini-Standard ML”, to appear in Proceedings CFLP, Pisa, March 1987.
3. Clément D., J. Despeyroux, Th. Despeyroux, G. Kahn, “A simple applicative language: Mini-ML”, Proceedings of the ACM Conference on Lisp and Functional Programming 1986.
4. Cousineau G., P. L. Curien, M. Mauny, “The Categorical Abstract Machine”, in Functional Languages and Computer Architecture, Lecture Notes in Computer Science, Vol. 201, September 1985.
5. Curry H.B., R. Feys, Combinatory Logic, Volume I, North-Holland Publishing Company, 1958.
6. Damas L., R. Milner, “Principal type-schemes for functional programs”, Proceedings of the ACM Conference on Principles of Programming Languages 1982, pp.207–212.
7. Despeyroux J., “Proof of Translation in Natural Semantics”, Proceedings of the First ACM Conference on Logic in Computer Science, LICS 1986.
8. Despeyroux T., “Executable Specification of Static Semantics”, Semantics of Data Types, Lecture Notes in Computer Science, Vol. 173, June 1984.
9. Despeyroux T., “Spécifications sémantiques dans le système MENTOR”, Thèse, Université Paris XI, 1983.
10. Donzeau-Gouge V., “Utilisation de la sémantique dénotationnelle pour la description d’interprétation non-standard: application à la validation et à l’optimisation des programmes”, Proceedings of the 3rd International Symposium on Programming, Dunod, Paris, 1978.
11. Gordon M., R. Milner, C. Wadsworth, G. Cousineau, G. Huet, L. Paulson, “The ML Handbook, Version 5.1”, INRIA, October 1984.
12. Hascoet L., “Transformations automatiques de spécifications sémantiques. Application: un vérificateu: de types incrémental” Thèse, To appear, Université de Nice, 1987.
13. Heering J., J. Sidi, A. Verhoog (eds), “Generation of interactive programming environments — GIPE intermediate report”, CWI Report CS-R8620, Amsterdam, May 1986.
14. MacQueen D.B., “Modules for standard ML”, ACM Symposium on LISP and Functional Programming, 1984, pp.198–207.
15. Mauny M. “Compilation des langages fonctionnels dans les combinateurs catégoriques. Application au langage ML”, Thèse, Université Paris 7, 1985.
16. Mosses P., “SIS: a compiler generator system using denotational semantics”, DAIMI, University of Aarhus, August 1979.
17. Naish L., Negation and Control in Prolog, Lecture Notes in Computer Science, Vol. 238, 1986.
18. Prawitz D., “Ideas and results in proof theory”, Proceedings of the Second Scandinavian Logic Symposium, 1971, North-Holland.
19. Plotkin G.D., “A Structural Approach to Operational Semantics”, DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, September 1981.
20. Reynolds J.C., “Three Approaches to Type Structure”, Proceedings TAPSOFT, Lecture Notes in Computer Science, Vol. 185, March 1985.
21. Warren D.H.D., “Logic Programming and Compiler writing”, Software-Practice and Experience, 10, 1980, pp.97–125.