Converting between Combinatory Reduction Systems and Big Step Semantics

DOI10.1007/978-3-642-04164-8_15zbMath1253.68212OpenAlexW1583887781MaRDI QIDQ3184752

Hanne Gottliebsen, Kristoffer H. Rose

Publication date: 22 October 2009

Published in: Semantics and Algebraic Specification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04164-8_15

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Uses Software

• CRSX

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A rewriting logic approach to operational semantics
• Conditional rewriting logic as a unified model of concurrency
• Action Semantics
• Recent Trends in Algebraic Development Techniques

This page was built for publication: Converting between Combinatory Reduction Systems and Big Step Semantics