search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Fuji International Symposium on Functional and Logic Programming

Keyphrases

Publications

1999

Atsushi Ohori
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code. Fuji International Symposium on Functional and Logic Programming (1999)
Mircea Marin, Tetsuo Ida, Taro Suzuki
On Reducing the Search Space of Higher-Order Lazy Narrowing. Fuji International Symposium on Functional and Logic Programming (1999)
Oege de Moor, Ganesh Sittampalam
Higher Order Matching for Program Transformation. Fuji International Symposium on Functional and Logic Programming (1999)
Rafael Caballero, Francisco Javier López-Fraguas
A Functional-Logic Perspective on Parsing. Fuji International Symposium on Functional and Logic Programming (1999)
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Semantics and Types in Functional Logic Programming. Fuji International Symposium on Functional and Logic Programming (1999)
Antonio J. Fernández, Patricia M. Hill
An Interval Lattice-Based Constraint Solving Framework for Lattices. Fuji International Symposium on Functional and Logic Programming (1999)
Olivier Danvy
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. Fuji International Symposium on Functional and Logic Programming (1999)
Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. Fuji International Symposium on Functional and Logic Programming (1999)
Olivier Ridoux, Patrice Boizumault, Frédéric Malésieux
Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. Fuji International Symposium on Functional and Logic Programming (1999)
Christoph Beierle, Gregor Meyer
Using Types as Approximations for Type Checking Prolog Programs. Fuji International Symposium on Functional and Logic Programming (1999)
Sergio Antoy, Andrew P. Tolmach
Typed Higher-Order Narrowing without Higher-Order Strategies. Fuji International Symposium on Functional and Logic Programming (1999)
Ralf Hinze
Polytypic Programming With Ease (Extended Abstract). Fuji International Symposium on Functional and Logic Programming (1999)
Manuel M. T. Chakravarty
Lazy Lexing is Fast. Fuji International Symposium on Functional and Logic Programming (1999)
Enno Ohlebusch
On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems. Fuji International Symposium on Functional and Logic Programming (1999)
Michael Hanus, Salvador Lucas
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages. Fuji International Symposium on Functional and Logic Programming (1999)
Gilles Barthe, Bernard P. Serpette
Partial Evaluation and Non-interference for Object Calculi. Fuji International Symposium on Functional and Logic Programming (1999)
Sofie Verbaeten, Danny De Schreye
Termination Analysis of Tabled Logic Programs Using Mode and Type Information. Fuji International Symposium on Functional and Logic Programming (1999)
Adam Bakewell, Colin Runciman
Automated Generalisation of Function Definitions. Fuji International Symposium on Functional and Logic Programming (1999)
Mizuhito Ogawa
Automatic Verification Based on Abstract Interpretation. Fuji International Symposium on Functional and Logic Programming (1999)
Carlos Camarão, Lucília Figueiredo
Type Inference for Overloading without Restrictions, Declarations or Annotations. Fuji International Symposium on Functional and Logic Programming (1999)
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
A Transformation System for Lazy Functional Logic Programs. Fuji International Symposium on Functional and Logic Programming (1999)
Wolfgang Lux
Implementing Encapsulated Search for a Lazy Functional Logic Language. Fuji International Symposium on Functional and Logic Programming (1999)
Armin Kühnemann
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers. Fuji International Symposium on Functional and Logic Programming (1999)

1998