Compositional Logic Programming (2000)

by Richard McPhee , Richard Mcphee
Venue:In Proceedings of the JICSLP'96 post-conference workshop: Multi-paradigm logic programming, Report 96-28. Technische Universitat
Citations:6 - 1 self

Active Bibliography

20 Algebra of logic programming – Silvija Seres - 1999
16 Embedding prolog in haskell – Silvija Seres, Michael Spivey - 1999
1 Automatic Termination Analysis of Programs Containing Arithmetic Predicates – Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik - 2008
10 Proving Termination for Logic Programs by the Query-Mapping Pairs Approach – Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik - 2004
6 Characterisations of Termination in Logic Programming – Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus - 2001
10 Acceptability with General Orderings – Danny De Schreye, Alexander Serebrenik - 2002
Implementation Issues for Functional Logic Programming – Herbert Kuchen, In E. G. Alf
Compiling Evaluable Functions In The GÖDEL Programming Language – David Shapiro - 1996
1 COMPILING EVALUABLE FUNCTIONS IN THE GÖDEL PROGRAMMING – David Shapiro - 1996
144 A unified computation model for functional and logic programming – Michael Hanus - 1997
A Simple Operational Model for Concurrent Functional Logic Programming – Michael Hanus
Buggy User's Manual – María Alpuente, Francisco Correa, Moreno Falaschi, Stefano Marson
4 Declarative Debugging of Functional Logic Programs – M. Alpuente, F. J. Correa, M. Falaschi - 2001
4 Needed Narrowing As The Computational Strategy Of Evaluable Functions In An Extension Of Goedel – Bobbi J. Barry, Michael Driscoll, John Mchugh Chair - 1996
Automatic Tupling for Functional-Logic Programs – G. Moreno - 2002
1 Declarative Solutions to Partitioned-Grid Problems – Ro Etalle, Sandro Etalle, Pieter H. Hartel, Pieter H. Hartel, William G. Vree, Willem G. Vree - 1998
Implementing cTI: a constraint-based left-termination inference tool for LP – S. Hoarau, F. Mesnard, U. Neumerkel
Proceedings of the Workshop on Parallelism and Implementation Technologies for (Constraint) Logic Programming Languages – Inês de Castro Dutra (ed.), London England, K. Villaverde, H. Guo, E. Pontelli, G. Gupta - 2000
3 cTI: Bottom-Up Termination Inference for Logic Programs – S. Burckel, S. Hoarau, F. Mesnard, U. Neumerkel - 2000