Logics of programs as a fuelling force for semantics

MaRDI QIDQ5116455zbMATH OpenFDO

Authors Francisco Hernández-Quiroz

Publication date 25 August 2020

zbMATH Keywords

domain theory in logical formlogics of programssemantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Fuzzy semantics of programming languages
• Publication:4944895
• Programming language description languages. From Christopher Strachey to semantics online
• scientific article; zbMATH DE number 978239
• scientific article; zbMATH DE number 4045109

Cited in

(1)

• scientific article; zbMATH DE number 4068250 (Why is no real title available?)

This page was built for publication: Logics of programs as a fuelling force for semantics

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