Functional and Logic Programming

DOI10.1007/b96926zbMath1122.68365OpenAlexW2506581943MaRDI QIDQ5308016

Francisco Bueno, Pedro Lopez-Garcia, Manuel V. Hermenegildo

Publication date: 25 September 2007

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

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

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Parallel Logic Programming: A Sequel ⋮ Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP ⋮ Testing your (static analysis) truths

Uses Software

• Ciao
• CiaoPP

This page was built for publication: Functional and Logic Programming