An execution mechanism for nondeterministic, state-oriented programs based on a chart parser

DOI10.1016/0020-0190(93)90121-OzbMath0783.68071OpenAlexW2042996991MaRDI QIDQ1209991

David A. Rosenblueth

Publication date: 16 May 1993

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(93)90121-o

zbMATH Keywords

program correctnessstate-oriented programs

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Cites Work

• On the completeness of the inductive assertion method
• Simple program schemes and formal languages
• Programming as a Discipline of Mathematical Nature
• Nondeterministic Algorithms
• Unnamed Item
• Unnamed Item
• Unnamed Item