The following pages link to Action Semantics (Q4023578):
Displaying 17 items.
- Rewriting extended regular expressions (Q673635) (← links)
- Operational semantics: concepts and their expression (Q1028973) (← links)
- A unified language processing methodology (Q1603702) (← links)
- Specification languages in algebraic compilers (Q1853753) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Aspect-Oriented Action Semantics Descriptions (Q2866741) (← links)
- A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters (Q2873785) (← links)
- Action Semantics in Retrospect (Q3184743) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- Action Algebras and Model Algebras in Denotational Semantics (Q3184749) (← links)
- An Action Semantics Based on Two Combinators (Q3184751) (← links)
- Converting between Combinatory Reduction Systems and Big Step Semantics (Q3184752) (← links)
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State (Q3184753) (← links)
- Generating action compilers by partial evaluation (Q4895553) (← links)
- Unifying models (Q5047155) (← links)
- Semantics in Data and Knowledge Bases (Q5504576) (← links)
- Programming language semantics: It’s easy as 1,2,3 (Q6065508) (← links)
