Composing programming languages by combining action-semantics modules
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
Specification languages in algebraic compilers
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
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
Enhanced Control Flow Graphs in Montages
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Logical Specification of Operational Semantics
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Action semantics reasoning about functional programs
Mathematical Structures in Computer Science
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
A modular monadic action semantics
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Proceedings of the 8th international workshop on Specification and verification of component-based systems
An action semantics based on two combinators
Semantics and algebraic specification
A complete, co-inductive syntactic theory of sequential control and state
Semantics and algebraic specification
Some New Approaches in Functional Programming Using Algebras and Coalgebras
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal aspects of and development environments for Montages
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Some new approaches in functional programming based on categories
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
A framework for defining the dynamic semantics of DSLs
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Hi-index | 0.00 |