scientific article; zbMATH DE number 512961
From MaRDI portal
Publication:4281676
zbMATH Open0789.68098MaRDI QIDQ4281676FDOQ4281676
Authors: Emil Sekerinski 
Publication date: 1993
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 194642
- A calculus of propositional properties of programs
- scientific article; zbMATH DE number 3965414
- Predicate abstraction in a program logic calculus
- Predicate Abstraction in a Program Logic Calculus
- A refinement calculus for logic programs
- Calculability and logic programs
- A calculus for the construction of modular prolog programs
- A calculus of refinements for program derivations
- Automated Reasoning with Analytic Tableaux and Related Methods
Cited In (19)
- Title not available (Why is that?)
- Nondeterministic semantics of compound diagrams
- Title not available (Why is that?)
- On the purpose of Event-B proof obligations
- Statement inversion and strongest postcondition
- Kleene under a modal demonic star
- Predicative programming Part II
- Predicative specifications for functional programs describing communicating networks
- Title not available (Why is that?)
- A core calculus for dynamic delta-oriented programming
- A calculus of refinements for program derivations
- Title not available (Why is that?)
- Composition of preimage condition construction in monotone Floyd-Hoare logics
- Towards a calculus of predicate transformers
- Title not available (Why is that?)
- Title not available (Why is that?)
- Parallel composition and decomposition of specifications
- Laws of programming
- A Weakest Precondition Semantics for Z
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 Q4281676)
