Refinement and demonic semantics

MaRDI QIDQ4362886zbMATH OpenFDO

Authors Jules Desharnais, Thanh Tung Nguyen, Ali Mili

Publication date 13 November 1997

zbMATH Keywords

demonic semanticsrefinement of specifications

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

Recommendations

• A calculus of refinements for program derivations
• scientific article; zbMATH DE number 1759495
• scientific article; zbMATH DE number 1512629
• A theoretical basis for stepwise refinement and the programming calculus
• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS

Cited in

(22)

• Processes and formalisms for unbounded choice
• Combining angels, demons and miracles in program specifications
• Parallel composition and decomposition of specifications
• BGSL: an imperative language for specification and refinement of backtracking programs
• Relational demonic fuzzy refinement
• Abstract commands: A uniform notation for specification and implementation
• Relational semantics revisited
• Don't care non-determinism in logic program refinement
• Non-deterministic expressions and predicate transformers
• Refinement to Imperative/HOL
• scientific article; zbMATH DE number 4020448 (Why is no real title available?)
• scientific article; zbMATH DE number 497680 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• Specifications and fault detection (extended abstract)
• scientific article; zbMATH DE number 2069311 (Why is no real title available?)
• scientific article; zbMATH DE number 1512629 (Why is no real title available?)
• scientific article; zbMATH DE number 1759495 (Why is no real title available?)
• Algebraic separation logic
• Semantic Barbs and Biorthogonality
• Refinement and state machine abstraction
• Embedding a demonic semilattice in a relation algebra
• Kleene under a modal demonic star

This page was built for publication: Refinement and demonic semantics

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