Determinacy Analysis for Logic Programs Using Mode and Type Information
From MaRDI portal
Publication:5458791
DOI10.1007/11506676_2zbMath1134.68334OpenAlexW2175275752MaRDI QIDQ5458791
Francisco Bueno, Manuel V. Hermenegildo, Pedro Lopez-Garcia
Publication date: 24 April 2008
Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: http://oa.upm.es/14362/
Related Items (6)
Counting Successes: Effects and Transformations for Non-deterministic Programs ⋮ Non-discriminating Arguments and Their Uses ⋮ Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses ⋮ Parallel backtracking with answer memoing for independent and-parallelism ⋮ Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs ⋮ Testing your (static analysis) truths
Uses Software
This page was built for publication: Determinacy Analysis for Logic Programs Using Mode and Type Information
