scientific article; zbMATH DE number 4123706

zbMATH Open0686.03014MaRDI QIDQ4204136FDOQ4204136

Authors: Fangming Song 

Publication date: 1989

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

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
• 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

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)

Cited In (13)

• Countable nondeterminism and random assignment
• While-programs with nondeterministic assignments and the logic ALNA
• Unbounded Non-determinism in CSP
• Bounded nondeterminism of logic programs
• Undecidable goals for completed acyclic programs
• Hoare's logic for nondeterministic regular programs: A nonstandard approach
• Reasoning About Incompletely Defined Programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Herbrand-Kleene universe for nondeterministic computations
• Programs, Recursion and Unbounded Choice

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)