scientific article; zbMATH DE number 4123706

zbMATH Open0686.03014MaRDI QIDQ4204136

Fangming Song

Publication date: 1989

Title of this publication is not available (Why is that?)

zbMATH Keywords

correctnesssecond-order logicwell-foundednessHenkin semanticsunbounded nondeterministic programswhile-programs with random assignments

Mathematics Subject Classification ID

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

Related Items (10)

Undecidable goals for completed acyclic programs ⋮ While-programs with nondeterministic assignments and the logic ALNA ⋮ Unbounded Non-determinism in CSP ⋮ Programs, Recursion and Unbounded Choice ⋮ Reasoning About Incompletely Defined Programs ⋮ Title not available (Why is that?) ⋮ Bounded nondeterminism of logic programs ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ On the Herbrand-Kleene universe for nondeterministic computations

Recommendations

• Bounded nondeterminism of logic programs 👍 👎
• A logic covering undefinedness in program proofs 👍 👎
• A nondeterministic program logic 👍 👎
• A logic for the description of non-deterministic programs and their properties 👍 👎
• Logic Programming 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)