J. Funct. Log. Program.

Keyphrases

Publications

volume 2008, 2008

Lee Naish
Probabilistic Declarative Debugging. J. Funct. Log. Program. 2008 (2008)

volume 2007, 2007

Norihiro Kamide
A Uniform Proof-theoretic Foundation for Abstract Paraconsistent Logic Programming. J. Funct. Log. Program. 2007 (2007)

volume 2004, 2004

volume 2003, 2003

Rafael Caballero, Francisco Javier López-Fraguas
Improving Deterministic Computations in Lazy Functional Logic Languages. J. Funct. Log. Program. 2003 (2003)
Zhenjiang Hu, Mario Rodríguez-Artalejo
Editorial: the Sixth International Symposium on Functional and Logic Programming. J. Funct. Log. Program. 2003 (2003)
Eijiro Sumii, Hideo Bannai
The Extension of ML with Hypothetical Views for Discovery Science: Formalization and Implementation. J. Funct. Log. Program. 2003 (2003)
Miguel García-Díaz, Susana Nieva
Solving Constraints for an Instance of an Extended CLP Language over a Domain Based on Real Numbers and Herbrand Terms. J. Funct. Log. Program. 2003 (2003)

volume 2002, 2002

volume 2001, number 1, 2001

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Polymorphic Types in Functional Logic Programming. J. Funct. Log. Program. 2001 (1) (2001)

volume 2001, number 10, 2001

Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
Implementation of a Linear Tabling Mechanism. J. Funct. Log. Program. 2001 (10) (2001)

volume 2001, number 11, 2001

Takahito Aoto
Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems. J. Funct. Log. Program. 2001 (11) (2001)

volume 2001, number 2, 2001

Michael Hanus, Salvador Lucas
An Evaluation Semantics for Narrowing-Based Functional Logic Languages. J. Funct. Log. Program. 2001 (2) (2001)

volume 2001, number 3, 2001

Ralf Hinze
Polytypic Programming With Ease. J. Funct. Log. Program. 2001 (3) (2001)

volume 2001, number 4, 2001

Olivier Ridoux, Patrice Boizumault
Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. J. Funct. Log. Program. 2001 (4) (2001)

volume 2001, number 5, 2001

Guanshan Tong, Michael J. O'Donnell
Leveled Garbage Collection. J. Funct. Log. Program. 2001 (5) (2001)

volume 2001, number 6, 2001

Daniel Diaz, Philippe Codognet
Design and Implementation of the GNU Prolog System. J. Funct. Log. Program. 2001 (6) (2001)

volume 2001, number 7, 2001

Timothy J. Hickey
Metalevel Interval Arithmetic and Verifiable Constraint Solving. J. Funct. Log. Program. 2001 (7) (2001)

volume 2001, number 8, 2001

Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
Calculating a New Data Mining Algorithm for Market Basket Analysis. J. Funct. Log. Program. 2001 (8) (2001)

volume 2001, number 9, 2001

Bart Demoen, Konstantinos Sagonas
Heap Memory Management in Prolog with Tabling: Principles and Practice. J. Funct. Log. Program. 2001 (9) (2001)

volume 2000, number 1, 2000

Joëlle Despeyroux, Pierre Leleu
Metatheoretic Results for a Modal lambda-Calculus J. Funct. Log. Program. 2000 (1) (2000)

volume 2000, number 2, 2000

Antonio Brogi, Patricia M. Hill
Special Issue on Logical Formalisms for Program Composition - Editorial. J. Funct. Log. Program. 2000 (2) (2000)

volume 2000, number 3, 2000

Juliana Küster Filipe
Fundamentals of Module Logic for Distributed Object Systems. J. Funct. Log. Program. 2000 (3) (2000)

volume 2000, number 4, 2000

Lee Naish, Leon Sterling
Stepwise Enhancement and Higher-Order Programming in Prolog. J. Funct. Log. Program. 2000 (4) (2000)

volume 2000, number 5, 2000

Kostas Stathis
A Game-based Architecture for Developing Interactive Components in Computational Logic. J. Funct. Log. Program. 2000 (5) (2000)

volume 2000, number 6, 2000

Sofie Verbaeten, Annalisa Bossi
Composing Complete and Partial Knowledge. J. Funct. Log. Program. 2000 (6) (2000)

volume 2000, number 7, 2000

Frédéric Lang, Pierre Lescanne
On Strong Normalization of Explicit Substitution Calculi (Short Note). J. Funct. Log. Program. 2000 (7) (2000)

volume 1999, number 11, 1999

Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing
Semantic Matching for Left-Linear Convergent Rewrite Systems J. Funct. Log. Program. 1999 (11) (1999)

volume 1999, number 2, 1999

Gopalan Nadathur
A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations. J. Funct. Log. Program. 1999 (2) (1999)

volume 1999, number 3, 1999

John W. Lloyd
Programming in an Integrated Functional and Logic Language. J. Funct. Log. Program. 1999 (3) (1999)

volume 1999, number Special Issue 1, 1999

Enrico Pontelli, Gopal Gupta
Extended Dynamic Dependent And-Parallelism in ACE. J. Funct. Log. Program. 1999 (Special Issue 1) (1999)
Michael Hanus, Ramin Sadre
An Abstract Machine for Curry and Its Concurrent Implementation in Java. J. Funct. Log. Program. 1999 (Special Issue 1) (1999)
Gopalan Nadathur, Guanshan Tong
Realizing Modularity in lambdaProlog. J. Funct. Log. Program. 1999 (Special Issue 1) (1999)
Frédéric Goualard, Frédéric Benhamou, Laurent Granvilliers
An Extension of the WAM for Hybrid Interval Solvers. J. Funct. Log. Program. 1999 (Special Issue 1) (1999)
Tobias Müller, Jörg Würtz
Embedding Propagators in a Concurrent Constraint Language. J. Funct. Log. Program. 1999 (Special Issue 1) (1999)
Kish Shen, Vítor Santos Costa, Andy King
Distance: A New Metric for Controlling Granularity for Parallel Execution. J. Funct. Log. Program. 1999 (Special Issue 1) (1999)

volume 1999, number Special Issue 2, 1999

Delia Kesner, Pablo E. Martínez López
Explicit Substitutions for Objects and Functions J. Funct. Log. Program. 1999 (Special Issue 2) (1999)
Catuscia Palamidessi
Editorial: Selected Papers from the Joint International Symposium PLILP/ALP'98 J. Funct. Log. Program. 1999 (Special Issue 2) (1999)
Wim Vanhoof, Danny De Schreye, Bern Martens
Bottom-up Partial Deduction of Logic Programs J. Funct. Log. Program. 1999 (Special Issue 2) (1999)
Enrico Pontelli, Desh Ranjan, Gopal Gupta
Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages J. Funct. Log. Program. 1999 (Special Issue 2) (1999)
Bart Demoen, Konstantinos Sagonas
CAT: The Copying Approach to Tabling J. Funct. Log. Program. 1999 (Special Issue 2) (1999)
Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker
Detecting Unsolvable Queries for Definite Logic Programs J. Funct. Log. Program. 1999 (Special Issue 2) (1999)