Journal: Journal of Functional and Logic Programming

Volume 1999, Issue Special Issue 2

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

Volume 1999, Issue Special Issue 1

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

Volume 1999, Issue 3

0 -- 0John W. Lloyd. Programming in an Integrated Functional and Logic Language

Volume 1999, Issue 2

0 -- 0Gopalan Nadathur. A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations

Volume 1999, Issue 11

0 -- 0Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing. Semantic Matching for Left-Linear Convergent Rewrite Systems

Volume 1999, Issue 10

0 -- 0Davide Aliffi, Agostino Dovier, Gianfranco Rossi. From Set to Hyperset Unification

Volume 1999, Issue 1

0 -- 0Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries. Meaningless Terms in Rewriting