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

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

Cited in

(14)

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

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)