scientific article; zbMATH DE number 4123706

zbMATH Open0686.03014MaRDI QIDQ4204136FDOQ4204136

Authors Fangming Song

Publication date 1989

zbMATH Keywords

second-order logiccorrectnesswell-foundednessHenkin semanticsunbounded nondeterministic programswhile-programs with random assignments

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• Bounded nondeterminism of logic programs
• scientific article; zbMATH DE number 3957062
• scientific article; zbMATH DE number 1948157
• A logic for the description of non-deterministic programs and their properties
• scientific article; zbMATH DE number 4200180
• A nondeterministic program logic
• scientific article; zbMATH DE number 4028889
• scientific article; zbMATH DE number 1231470
• A logic covering undefinedness in program proofs
• Logic Programming

Cited in

(13)

• On the Herbrand-Kleene universe for nondeterministic computations
• Countable nondeterminism and random assignment
• While-programs with nondeterministic assignments and the logic ALNA
• Undecidable goals for completed acyclic programs
• Hoare's logic for nondeterministic regular programs: A nonstandard approach
• Unbounded Non-determinism in CSP
• scientific article; zbMATH DE number 1231470 (Why is no real title available?)
• Programs, Recursion and Unbounded Choice
• Bounded nondeterminism of logic programs
• scientific article; zbMATH DE number 6820296 (Why is no real title available?)
• scientific article; zbMATH DE number 3967908 (Why is no real title available?)
• scientific article; zbMATH DE number 139633 (Why is no real title available?)
• Reasoning About Incompletely Defined Programs

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