scientific article; zbMATH DE number 51766

MaRDI QIDQ4002146zbMATH OpenFDO

Authors

Publication date 18 September 1992

zbMATH Keywords

verificationconcurrencyspecificationsemantics of programsProgramming conceptsFormal description

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Descriptological foundations of programming
• Concepts in Programming Languages
• A formal model of programs
• scientific article; zbMATH DE number 194512
• scientific article; zbMATH DE number 1821297
• Formal descriptions of code properties: decidability, complexity, implementation
• Computer programming and formal systems
• Toward complete programming language descriptions that are both formal and understandable

Cited in

(9)

• scientific article; zbMATH DE number 48517 (Why is no real title available?)
• Modular structural operational semantics
• Linearity, control effects, and behavioral types
• A family of syntactic logical relations for the semantics of Haskell-like languages
• Typed operational semantics for higher-order subtyping.
• Formal descriptions of code properties: decidability, complexity, implementation
• Abstract interpretation and types for systems biology
• scientific article; zbMATH DE number 1878568 (Why is no real title available?)
• No value restriction is needed for algebraic effects and handlers

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