Skip to search formSkip to main contentSkip to account menu

Operational semantics

Known as: Reduction semantics, Reduction context, Small step operational semantics 
Operational semantics are a category of formal programming language semantics in which certain desired properties of a program, such as correctness… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ACM Turing AwardALFALGOL 68Abstract data type

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2011
Review
2011
Explaining operational modal analysis with data from an arch bridge
Highly Cited
2009
Highly Cited
2009
Ontology-based situation awareness
Highly Cited
2006
Highly Cited
2006
Syntax and consistent equation semantics of hybrid Chi
Review
2005
Review
2005
Ontology Learning from Text: A Survey of Methods
After the vision of the Semantic Web was broadcasted at the turn of the millennium, ontology became a synonym for the solution to… 
Highly Cited
2000
Highly Cited
2000
Specification and proof in membership equational logic
Highly Cited
1999
Highly Cited
1999
Towards a Formal Operational Semantics of UML Statechart Diagrams
Statechart Diagrams are a notation for describing behaviours in the framework of UML, the Unified Modeling Language of object… 
Highly Cited
1997
Highly Cited
1997
Applications of the MACBETH Approach in the Framework of an Additive Aggregation Model
In measurement theory terminology, MACBETH is an interactive approach for mapping into a real scale the various degrees to which… 
Highly Cited
1994
Highly Cited
1994
The Semantics of Future
The future annotation introduced by MultiLisp provides a simple method for tam ing the implicit parallelism of functional… 
Highly Cited
1992
Highly Cited
1992
Operational and Compositional Semantics of Synchronous Automaton Compositions
The state/transition paradigm has been used extensively for the description of event-driven, parallel systems. However, the lack… 
Highly Cited
1988
Highly Cited
1988
Right Hemisphere Contributions to Lexical Semantics
Language depends on a normally functioning left hemisphere. This central fact of human cerebral dominance was well established by… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)