Action transformations in the actress compiler generator

This publication has 9 references indexed in Scilit:

• DML-a meta-language and system for the generation of practical and efficient compilers from denotational specifications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Action transformations in the actress compiler generator
  Published by Springer Nature ,1994
• Provably Correct Compiler Generation
  DAIMI Report Series, 1992
• Action Semantics
  Published by Cambridge University Press (CUP) ,1992
• Actress: An action semantics directed compiler generator
  Published by Springer Nature ,1992
• A partial evaluator for the untyped lambda-calculus
  Journal of Functional Programming, 1991
• Category-sorted algebra-based action semantics
  Theoretical Computer Science, 1990
• Detecting stack-based environments in denotational definitions
  Science of Computer Programming, 1988
• Detecting global variables in denotational specifications
  ACM Transactions on Programming Languages and Systems, 1985