A semantics-directed partitioning of a processor architecture
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
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
On integration of programming paradigms
ACM Computing Surveys (CSUR)
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
DSL implementation using staging and monads
Proceedings of the 2nd conference on Domain-specific languages
An ANDF based Ada 95 compiler system
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
Modular definition of agent-oriented languages using action semantics
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
A unified language processing methodology
Theoretical Computer Science
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering
Higher-Order and Symbolic Computation
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
Dynamic inheritance in a statically typed language
Nordic Journal of Computing
A Programmer Friendly Modular Definition of the Semantics of Java
Formal Syntax and Semantics of Java
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
The ABACO System - An Algebraic Based Action COmpiler
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
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
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
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
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Scientific Decisions which Characterize VDM
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
On Excusable and Inexcusable Failures
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Logical Specification of Operational Semantics
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
On extracting static semantics
The essence of computation
Operational semantics: concepts and their expression
Information Processing Letters - Special issue: Contribution to computing science
Action semantics reasoning about functional programs
Mathematical Structures in Computer Science
TinkerType: a language for playing with formal systems
Journal of Functional Programming
Exploiting labels in Structural Operational Semantics
Proceedings of the 2004 ACM symposium on Applied computing
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Formal specification of SNMPv3 entities using action semantics
International Journal of Network Management
Building adaptable and reusable XML applications with model transformations
WWW '05 Proceedings of the 14th international conference on World Wide Web
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
Electronic Notes in Theoretical Computer Science (ENTCS)
A Praxical Solution of the Symbol Grounding Problem
Minds and Machines
Maude Object-Oriented Action Tool
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics in Data and Knowledge Bases
Semantics in Data and Knowledge Bases
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)
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics of Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Mapping modular SOS to rewriting logic
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
A calculus effectively performing event formation with visualization
ISHPC'05/ALPS'06 Proceedings of the 6th international symposium on high-performance computing and 1st international conference on Advanced low power systems
Extending operational semantics of the Java bytecode
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Action semantics in retrospect
Semantics and algebraic specification
Order-sorted parameterization and induction
Semantics and algebraic specification
An implementation of object-oriented action semantics in Maude
Semantics and algebraic specification
A constructive semantics for basic aspect constructs
Semantics and algebraic specification
Action algebras and model algebras in denotational semantics
Semantics and algebraic specification
An action semantics based on two combinators
Semantics and algebraic specification
Converting between combinatory reduction systems and big step semantics
Semantics and algebraic specification
Model-based testing and the UML testing profile
Semantics and algebraic specification
A complete, co-inductive syntactic theory of sequential control and state
Semantics and algebraic specification
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
Formally specified type checkers for domain specific languages: experience report
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
Action semantics for defining dynamic semantics of modeling languages
Proceedings of the Third Workshop on Behavioural Modelling
Prescriptive semantics for big-step modelling languages
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Complexity and intensionality in a type-1 framework for computable analysis
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Applications of the ASF+SDF meta-environment
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Proof abstraction for imperative languages
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Facilitating modular property-preserving extensions of programming languages
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Component-based description of programming languages
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
| Hi-index | 0.01 |