Operational semantics and generalized weakest preconditions

DOI10.1016/0167-6423(94)90010-8zbMATH Open0814.68086OpenAlexW2074792671MaRDI QIDQ1330453

Johan L. Lukkien

Publication date: 21 July 1994

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(94)90010-8

zbMATH Keywords

operational semanticsunfoldingweakest preconditiontemporal property

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (3)

Weakest relative precondition semantics. Balancing approved theory and realistic translation verification ⋮ Structural operational semantics for weak bisimulations ⋮ Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Structural operational semantics for weak bisimulations 👍 👎
• Structural operational semantics and bounded nondeterminism 👍 👎
• Formal foundations of operational semantics 👍 👎
• Operational semantics with semicommutations 👍 👎
• A Proof Theoretic Approach to Operational Semantics 👍 👎
• Formal Methods in Computer-Aided Design 👍 👎
• Correct Hardware Design and Verification Methods 👍 👎

This page was built for publication: Operational semantics and generalized weakest preconditions

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