Compiling actions by partial evaluation
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Action transformation by partial evaluation
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Construction of Verified Compiler Front-Ends with Program-Checking
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Proceedings of the 2005 ACM symposium on Applied computing
A modular monadic action semantics
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
An action compiler targeting Standard ML
Science of Computer Programming
Proceedings of the 8th international workshop on Specification and verification of component-based systems
An Action Compiler Targeting Standard ML
Electronic Notes in Theoretical Computer Science (ENTCS)
Action semantics in retrospect
Semantics and algebraic specification
An implementation of object-oriented action semantics in Maude
Semantics and algebraic specification
Action semantics for defining dynamic semantics of modeling languages
Proceedings of the Third Workshop on Behavioural Modelling
On the correctness of transformations in compiler back-ends
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Action semantics-directed prototyping
Computer Languages
Incremental programming language development
Computer Languages, Systems and Structures
Hi-index | 0.00 |