From program logics towards language logics

DOI10.1007/978-3-032-11176-0_14MaRDI QIDQ6841000zbMATH OpenFDO

Authors Matteo Cimini

Publication date 20 March 2026

Full work available at URL https://doi.org/10.1007/978-3-032-11176-0_14

zbMATH Keywords

functional languageslanguage verificationprogram logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites work

• A formulation of the simple theory of types
• A semantics for concurrent separation logic
• A separation logic for a promising semantics
• An axiomatic basis for computer programming
• Automated deduction - CADE-16. 16th international conference, Trento, Italy, July 7--10, 1999. Proceedings
• Guarded commands, nondeterminacy and formal derivation of programs
• Hoare and He’s Unifying Theories of Programming
• scientific article; zbMATH DE number 1841809 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming
• Program verification through characteristic formulae
• Programming with higher-order logic.
• Resources, concurrency, and local reasoning
• SOS formats and meta-theory: 20 years after
• Types and programing languages

This page was built for publication: From program logics towards language logics

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