Action semantics-directed prototyping

Mosses, 1979, Sis—semantics implementation system: reference manual and user guide Wand, 1984, A semantic prototyping system, 213 1980 Sethi, 1983, Control flow aspects of semantics directed compiling, ACM Transact. Programming Languages and Systems, 5, 554, 10.1145/69575.357227 Nielson, 1986, Code generation from two level denotational meta-languages, 192 Paulson, 1982, A semantics-directed compiler generator, 224 Lee, 1989 Lee, 1987, A realistic compiler generator based on high-level semantics, 284 Brown, 1992, Actress: an action semantics directed compiler generator, 95 Mosses, 1992, Action Semantics Watt, 1991 Palsberg, 1992, Provably Correct Compiler Generation, 10.7146/dpb.v21i422.6736 Palsberg, 1992, An automatically generated and provably correct compiler for a subset of Ada, 117 Palsberg, 1992, A provably correct compiler generator, 414 Even, 1990, Category-sorted algebra-based action semantics, Theoretical Comput. Sci., 77, 71, 10.1016/0304-3975(90)90116-Y Mosses, 1989, Unified algebras and action semantics Mosses, 1991, An introduction to action semantics, 10.7146/dpb.v20i370.6602 Mosses, 1987, The use of action semantics Cardelli, 1985, On understanding types, data abstraction, and polymorphism, ACM Comput. Surveys, 17, 471, 10.1145/6041.6042 Even, 1990, Type inference for action semantics, 118 Reynolds, 1981, The essence of Algol, 345 Burn, 1986, Strictness analysis for higher-order functions, Sci. Comput. Programming, 7, 249, 10.1016/0167-6423(86)90010-9 Mosses, 1983, Abstract semantic algebras!, 45 Doh, 1992, Extraction of strong typing laws from action semantics definitions, 151 Doh, 1992, Action Semantics-directed Prototyping Damas, 1982, Principal type-schemes for functional programs, 207 Barendregt, 1990, Types of lambda calculi and programming languages, 1 Schmidt, 1994 Tarditi, 1991 Milner, 1990 Moura, 1993