The correctness of nondeterministic programs

DOI10.1016/0004-3702(70)90002-0MaRDI QIDQ2541847zbMATH OpenOpenAlexFDO

Authors Zohar Manna

Publication date 1970

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(70)90002-0

Cites work

• Formalization of Properties of Functional Programs
• scientific article; zbMATH DE number 3177069 (Why is no real title available?)
• scientific article; zbMATH DE number 3351180 (Why is no real title available?)
• Mathematical theory of partial correctness
• Nondeterministic Algorithms
• REF-ARF: A system for solving problems stated as procedures

Cited in

(14)

• A theory for nondeterminism, parallelism, communication, and concurrency
• Concurrent program schemes and their logics
• Communication in concurrent dynamic logic
• Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I
• Formalization of properties of nondeterministic recursive definitions
• Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II
• A new approach to fuzzy programming
• Backtracking in recursive computations
• Correctness of parallel programs: The Church-Rosser approach
• Functional behavior in data spaces
• The correctness of nondeterministic programs revisited
• Mathematical theory of partial correctness
• Formal computations of non deterministic recursive program schemes
• Correctness of recursive parallel nondeterministic flow programs

This page was built for publication: The correctness of nondeterministic programs

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