Static and dynamic semantics processing
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Staging transformations for abstract machines
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Industrial strength compiler construction with equations
ACM SIGPLAN Notices
Prototyping Fortran-90 compilers for massively parallel machines
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Compiling actions by partial evaluation
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Operational semantics-directed compilers and machine architectures
ACM Transactions on Programming Languages and Systems (TOPLAS)
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Monad transformers and modular interpreters
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LISA: a tool for automatic language implementation
ACM SIGPLAN Notices
Programming language semantics
ACM Computing Surveys (CSUR)
Automatic parallelization of object-oriented programming languages using tuple space
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
A formal approach to the teaching of programming language concepts
ACM SIGPLAN Notices
Generating Model Checkers from Algebraic Specifications
Formal Methods in System Design
A symmetric approach to compilation and decompilation
The essence of computation
Proceedings of the 2005 ACM symposium on Applied computing
Formal compiler construction in a logical framework
Higher-Order and Symbolic Computation
Dynamically adaptable software with metacomputations in a staged language
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Action algebras and model algebras in denotational semantics
Semantics and algebraic specification
Proof abstraction for imperative languages
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Action semantics-directed prototyping
Computer Languages
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
| Hi-index | 0.00 |