scientific article; zbMATH DE number 814819

zbMath0844.68016MaRDI QIDQ4855362

Ken Slonneger, Barry L. Kurtz

Publication date: 9 November 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semanticslambda-calculuslanguage specifications

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (10)

Evolution of rule-based programs ⋮ Modular structural operational semantics ⋮ The rewriting logic semantics project: a progress report ⋮ Unnamed Item ⋮ Reasoning about actions with loops via Hoare logic ⋮ Object-oriented description of graph data structures ⋮ Unnamed Item ⋮ A rewriting logic approach to operational semantics ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ A construction of sound semantic linguistic scales using 4-tuple representation of term semantics

This page was built for publication: