Compiling actions by partial evaluation
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Denotational semantics of a calculator
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Action transformation by partial evaluation
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Design and static semantics of algorithm languageL
ACM SIGPLAN Notices
The Varieties of Programming Language Semantics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
The Varieties of Programming Language Semantics
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Exploiting labels in Structural Operational Semantics
Proceedings of the 2004 ACM symposium on Applied computing
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Maude Object-Oriented Action Tool
Electronic Notes in Theoretical Computer Science (ENTCS)
Mathematical Structures in Computer Science
Proceedings of the 8th international workshop on Specification and verification of component-based systems
Formal Semantics of Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
An implementation of object-oriented action semantics in Maude
Semantics and algebraic specification
Obtaining a COBOL grammar from legacy code for reengineering purposes
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Action semantics-directed prototyping
Computer Languages
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
| Hi-index | 0.00 |