The correctness of nondeterministic programs

DOI10.1016/0004-3702(70)90002-0zbMath0203.49402OpenAlexW2053465392MaRDI QIDQ2541847

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

Related Items (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 ⋮ Formal computations of non deterministic recursive program schemes ⋮ The correctness of nondeterministic programs revisited ⋮ Mathematical theory of partial correctness ⋮ Correctness of recursive parallel nondeterministic flow programs

Cites Work

• REF-ARF: A system for solving problems stated as procedures
• Mathematical theory of partial correctness
• Nondeterministic Algorithms
• Formalization of Properties of Functional Programs
• Unnamed Item
• Unnamed Item

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