RML -- A New Language and Implementation for Natural Semantics (1994)

Cached

Download Links

by Mikael Pettersson
Venue:PROCEEDINGS OF THE 6TH INTERNATIONAL SYMPOSIUM ON PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING, PLILP, VOLUME 884 OF LNCS
Citations:15 - 2 self

Documents Related by Co-Citation

300 Natural semantics – G. Kahn - 1987
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
54 TYPOL: a formalism to implement natural semantics – Despeyroux - 1988
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
450 Semantics of Context-Free Languages – D E Knuth - 1968
31 A Compiler for Natural Semantics – Mikael Pettersson - 1996
14 Extended Attribute Grammars – D A Watt, O L Madsen - 1983
42 Relating logic programs and attribute grammars – P Deransart, J Maluszynski - 1985
344 Definite clause grammars for language analysis - a survey of the formalism and a comparison with augmented transition networks – Femando C N Pereira, H D David, Warren - 1980
26 Executable specification of static semantics – T Despeyroux - 1984
232 The Formal Semantics of Programming Languages: An Introduction – G Winskel - 1993
42 Proof of translation in natural semantics – Joëlle Despeyroux - 1986
702 Types and programming languages – Benjamin C Pierce - 2002
52 The Algebraic Specification Formalism ASF – J A Bergstra, J Heering, P Klint - 1989
11 Prological Language Processing – Ralf Lämmel, et al. - 2001
27 Foundations of Modular SOS – Peter D. Mosses - 1999
200 A Meta-Environment for Generating Programming Environments – P Klint - 1993
1404 A Discipline of Programming – E W Dijkstra - 1976
5 The Rule Markup Language: a tutorial. Available at http://homepages.cwi.nl/˜jacob/rml – J Jacob