Some applications of topology to program semantics

DOI10.1007/BF01744573MaRDI QIDQ3340119zbMATH OpenFDO

Authors Rohit Parikh

Publication date 1983

Published in Mathematical Systems Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01744573

zbMATH Keywords

Galois connectionincompleteness of Hoare logicsLindenbaum topologymodularity of programspartial correctness assertionsprogram semanticsrelational semanticsrules of inference

Mathematics Subject Classification ID

Partial orders, general (06A06) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Topological lattices (06B30) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Topological dualities in semantics
• scientific article; zbMATH DE number 3936480
• scientific article; zbMATH DE number 1583311
• scientific article; zbMATH DE number 4008457
• scientific article; zbMATH DE number 810107

Cites work

• An application of games to the completeness problem for formalized theories
• Axiomatic Definitions of Programming Languages
• Consistent and complementary formal theories of the semantics of programming languages
• Definability in dynamic logic
• First-order dynamic logic
• Galois Connexions
• scientific article; zbMATH DE number 3651720 (Why is no real title available?)
• scientific article; zbMATH DE number 3735127 (Why is no real title available?)
• scientific article; zbMATH DE number 3569792 (Why is no real title available?)
• scientific article; zbMATH DE number 3800904 (Why is no real title available?)
• scientific article; zbMATH DE number 3103212 (Why is no real title available?)
• On formalised computer programs
• On the termination of program schemas
• Soundness and Completeness of an Axiom System for Program Verification
• Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer

Cited in

(7)

• Topological dualities in semantics
• Topology, monitorable properties and runtime verification
• scientific article; zbMATH DE number 1583311 (Why is no real title available?)
• Computational Topology via Functional Programming: A Baseline Analysis
• scientific article; zbMATH DE number 4030949 (Why is no real title available?)
• scientific article; zbMATH DE number 810107 (Why is no real title available?)
• Continuous domains and their information system representation as logical systems

This page was built for publication: Some applications of topology to program semantics

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