scientific article; zbMATH DE number 512959

MaRDI QIDQ4281675zbMATH OpenFDO

Authors Theodore S. Norvell, Eric C. R. Hehner

Publication date 10 March 1994

zbMATH Keywords

functional program developmentspecification languagestep-by-step transformation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Functional programs as executable specifications
• Derivation of logic programs by functional methods
• scientific article; zbMATH DE number 4043304
• A functional calculus for specification and verification of nondeterministic interactive systems

Cited in

(15)

• Derivation of logic programs by functional methods
• Non-deterministic expressions and predicate transformers
• On methods for safe introduction of operations
• scientific article; zbMATH DE number 4178742 (Why is no real title available?)
• Functional programs as executable specifications
• scientific article; zbMATH DE number 4024746 (Why is no real title available?)
• scientific article; zbMATH DE number 512893 (Why is no real title available?)
• scientific article; zbMATH DE number 732050 (Why is no real title available?)
• Definite descriptions and Dijkstra's odd powers of odd integers problem
• Programming with variable functions
• A functional calculus for specification and verification of nondeterministic interactive systems
• Programming with variable functions
• Specification transformation method for functional program generation based on partition-recursion refinement rule
• A logical framework to model software development by multiple agents following a common specification
• Modelling higher-order dual nondeterminacy

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 Q4281675)