Logic for Programming, Artificial Intelligence, and Reasoning

DOI10.1007/b106931zbMath1108.68484OpenAlexW4206255911MaRDI QIDQ5705936

Manuel V. Hermenegildo, Germán Puebla, Elvira Albert

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106931

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (8)

Provably correct runtime monitoring ⋮ Proof-carrying code from certified abstract interpretation and fixpoint compression ⋮ Type systems equivalent to data-flow analyses for imperative languages ⋮ Reusing predicate precision in value analysis ⋮ Verified software units ⋮ Program and proof optimizations with type systems ⋮ Certification Using the Mobius Base Logic ⋮ Certificate Translation in Abstract Interpretation

This page was built for publication: Logic for Programming, Artificial Intelligence, and Reasoning