scientific article; zbMATH DE number 814819

MaRDI QIDQ4855362zbMATH OpenFDO

Authors Ken Slonneger, Barry L. Kurtz

Publication date 9 November 1995

zbMATH Keywords

lambda-calculuslanguage specificationsoperational semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 400814
• scientific article; zbMATH DE number 756366
• Introduction to the theory of programming languages.
• scientific article; zbMATH DE number 3854387
• scientific article; zbMATH DE number 439891

Cited in

(19)

• A rewriting logic approach to operational semantics
• Prototyping realistic programming languages based on formal specifications
• Reasoning about actions with loops via Hoare logic
• Evolution of rule-based programs
• Modular structural operational semantics
• Introduction to the theory of programming languages.
• A construction of sound semantic linguistic scales using 4-tuple representation of term semantics
• The rewriting logic semantics project: a progress report
• scientific article; zbMATH DE number 3854387 (Why is no real title available?)
• A NEW APPROACH TO FORMAL SYNTAX
• scientific article; zbMATH DE number 3874650 (Why is no real title available?)
• The rewriting logic semantics project: a progress report
• scientific article; zbMATH DE number 400814 (Why is no real title available?)
• Fixed point theorems for nonlinear contractions in ordered partial metric spaces
• Formalizing termination proofs under polynomial quasi-interpretations
• Topological quantum gates in homotopy type theory
• Monadic functors forgetful of (dis)inhibited actions
• The quantum monadology
• Object-oriented description of graph data structures

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4855362)