Transforming floundering into success

DOI10.1017/S147106841200035XzbMath1295.68058arXiv1207.6816MaRDI QIDQ5410730

Lee Naish

Publication date: 17 April 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.6816

zbMATH Keywords

program transformationdelaysprogram analysisflounderingabstract interpretationdeclarative debuggingcoroutining

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

On definite program answers and least Herbrand models

Cites Work

• Unnamed Item
• Unnamed Item
• Contributions to the Theory of Logic Programming
• Abstract interpretation and application to logic programs
• The Semantics of Predicate Logic as a Programming Language
• A three-valued semantics for logic programmers

This page was built for publication: Transforming floundering into success