scientific article; zbMATH DE number 3986620

MaRDI QIDQ3750108zbMATH OpenFDO

Authors Daniel P. Friedman, Mitchell Wand, William D. Clinger

Publication date 1985

zbMATH Keywords

programming languagesemantic domainstwo-sorted algebrassemantic algebras

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• An algebraic approach to semantics of programming languages
• On the algebraic definition of programming languages
• scientific article; zbMATH DE number 4123320
• scientific article; zbMATH DE number 3936467
• An algebraic model for programming languages

Cited in

(11)

• Algebraic and Logical Operations on Operators One Application to Semantic Computation
• A selective CPS transformation
• scientific article; zbMATH DE number 4123320 (Why is no real title available?)
• A syntactic correspondence between context-sensitive calculi and abstract machines
• Signature restriction for polymorphic algebraic effects
• Refunctionalization at work
• On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
• Algebras of UTxO blockchains
• scientific article; zbMATH DE number 1692948 (Why is no real title available?)
• scientific article; zbMATH DE number 515739 (Why is no real title available?)
• scientific article; zbMATH DE number 3639177 (Why is no real title available?)

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 Q3750108)