Functional and Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540666776, 9783540479505

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/10705424_8 ◽

1999 ◽

pp. 114-130 ◽

Cited By ~ 9

Author(s):

Armin Kühnemann

Keyword(s):

Tree Transducers

Download Full-text

On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/10705424_12 ◽

1999 ◽

pp. 179-193 ◽

Cited By ~ 1

Author(s):

Enno Ohlebusch

Keyword(s):

Rewrite Systems

Download Full-text

Automatic Verification Based on Abstract Interpretation

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/10705424_9 ◽

1999 ◽

pp. 131-146 ◽

Cited By ~ 1

Author(s):

Mizuhito Ogawa

Keyword(s):

Abstract Interpretation ◽

Automatic Verification

Download Full-text

Lazy Lexing is Fast

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/10705424_5 ◽

1999 ◽

pp. 68-84 ◽

Cited By ~ 5

Author(s):

Manuel M. T. Chakravarty

Download Full-text

Typed Higher-Order Narrowing without Higher-Order Strategies

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/10705424_22 ◽

1999 ◽

pp. 335-352 ◽

Cited By ~ 12

Author(s):

Sergio Antoy ◽

Andrew Tolmach

Keyword(s):

Higher Order

Download Full-text

An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/10705424_16 ◽

1999 ◽

pp. 241-250 ◽

Cited By ~ 5

Author(s):

Olivier Danvy

Download Full-text

An Interval Lattice-Based Constraint Solving Framework for Lattices

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/10705424_13 ◽

1999 ◽

pp. 194-208 ◽

Cited By ~ 1

Author(s):

Antonio J. Fernández ◽

Patricia M. Hill

Keyword(s):

Constraint Solving

Download Full-text

Termination Analysis of Tabled Logic Programs Using Mode and Type Information

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/10705424_11 ◽

1999 ◽

pp. 163-178

Author(s):

Sofie Verbaeten ◽

Danny De Schreye

Keyword(s):

Logic Programs ◽

Termination Analysis ◽

Tabled Logic Programs ◽

Type Information

Download Full-text

Partial Evaluation and Non-interference for Object Calculi

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/10705424_4 ◽

1999 ◽

pp. 53-67 ◽

Cited By ~ 5

Author(s):

Gilles Barthe ◽

Bernard P. Serpette

Keyword(s):

Partial Evaluation

Download Full-text

A Transformation System for Lazy Functional Logic Programs

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/10705424_10 ◽

1999 ◽

pp. 147-162 ◽

Cited By ~ 12

Author(s):

María Alpuente ◽

Moreno Falaschi ◽

Ginés Moreno ◽

Germán Vidal

Keyword(s):

Logic Programs ◽

Transformation System ◽

Functional Logic

Download Full-text

Functional and Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers

On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems

Automatic Verification Based on Abstract Interpretation

Lazy Lexing is Fast

Typed Higher-Order Narrowing without Higher-Order Strategies

An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

An Interval Lattice-Based Constraint Solving Framework for Lattices

Termination Analysis of Tabled Logic Programs Using Mode and Type Information

Partial Evaluation and Non-interference for Object Calculi

A Transformation System for Lazy Functional Logic Programs

Functional and Logic Programming - Lecture Notes in Computer Science
Latest Publications