scientific article
From MaRDI portal
Publication:3698285
zbMath0577.68023MaRDI QIDQ3698285
Amir Pnueli, Shmuel Katz, Nissim Francez, Orna Grumberg
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fairnesscompletenesssemanticssoundnessparallel programsliveness propertiesproof rules for the termination of PROLOG programs
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Inductive assertion method for logic pograms, A logical semantics for depth-first Prolog with ground negation, Proof methods of declarative properties of definite programs, Norms on terms and their use in proving universal termination of a logic program
