Program Development in Computational Logic

DOI10.1007/b98187zbMath1080.68562OpenAlexW2504992661MaRDI QIDQ5712543

Pierre Flener, Jorgen Fischer Nilsson, Yves Deville, Andreas Hamfelt, David A. Basin

Publication date: 23 December 2005

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Evolution of rule-based programs ⋮ Synthesis of positive logic programs for checking a class of definitions with infinite quantification ⋮ Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques ⋮ \textit{Theorema}: Towards computer-aided mathematical theory exploration ⋮ Synthesizing Imperative Code from Answer Set Programming Specifications ⋮ Synthesis of list algorithms by mechanical proving ⋮ Combining model finder and genetic programming into a general purpose automatic program synthesizer

Uses Software

• LCF