scientific article; zbMATH DE number 1222406

zbMath0912.03015MaRDI QIDQ4217929

Paolo Volpe

Publication date: 11 November 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

quantifier eliminationdebuggingvalidationfirst-order languageverification of logic programsaliasing propertiesfirst-order theories of Boolean algebras

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Logic programming (68N17) Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (3)

Design of abstract domains using first-order logic ⋮ Logic programs as specifications in the inductive verification of logic programs ⋮ A theory of observables for logic programs

This page was built for publication: