Fully Automatic Binding-Time Analysis for Prolog
From MaRDI portal
Publication:5458793
DOI10.1007/11506676_4zbMath1134.68330OpenAlexW1486252159MaRDI QIDQ5458793
Kim S. Henriksen, John P. Gallagher, Michael Leuschel, Stephen-John Craig
Publication date: 24 April 2008
Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://eprints.soton.ac.uk/259546/1/bta_final.pdf
Related Items (2)
Fast offline partial evaluation of logic programs ⋮ Fast Offline Partial Evaluation of Large Logic Programs
Uses Software
This page was built for publication: Fully Automatic Binding-Time Analysis for Prolog