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

9783540442332, 9783540457886

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lambda-Lifting in Quadratic Time

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45788-7_8 ◽

2002 ◽

pp. 134-151 ◽

Cited By ~ 3

Author(s):

Olivier Danvy ◽

Ulrik P. Schultz

Download Full-text

VMλ: A Functional Calculus for Scientific Discovery

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45788-7_18 ◽

2002 ◽

pp. 290-304 ◽

Cited By ~ 1

Author(s):

Eijiro Sumii ◽

Hideo Bannai

Keyword(s):

Functional Calculus ◽

Scientific Discovery

Download Full-text

Narrowing Failure in Functional Logic Programming

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45788-7_13 ◽

2002 ◽

pp. 212-227 ◽

Cited By ~ 2

Author(s):

Francisco Javier López-Fraguas ◽

Jaime Sánchez-Hernández

Keyword(s):

Logic Programming ◽

Functional Logic Programming ◽

Functional Logic

Download Full-text

On the Correctness of the Factoring Transformation

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45788-7_7 ◽

2002 ◽

pp. 119-133

Author(s):

Pascual Julián Iranzo

Download Full-text

Dynamic-Cut with Definitional Trees

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45788-7_15 ◽

2002 ◽

pp. 245-258

Author(s):

Rafael Caballero ◽

Francisco Javier López-Fraguas

Download Full-text

The Essence of XML (Preliminary Version)

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45788-7_2 ◽

2002 ◽

pp. 21-46 ◽

Cited By ~ 1

Author(s):

Jérôme Siméon ◽

Philip Wadler

Keyword(s):

Preliminary Version

Download Full-text

The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45788-7_14 ◽

2002 ◽

pp. 228-244 ◽

Cited By ~ 9

Author(s):

Mikael Pettersson ◽

Konstantinos Sagonas ◽

Erik Johansson

Keyword(s):

Performance Evaluation ◽

System Description ◽

And Performance ◽

Compiler System

Download Full-text

Solving Mixed Quantified Constraints over a Domain Based on $$ \mathcal{R} $$eal Numbers and $$ \mathcal{H} $$erbrand Terms

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45788-7_6 ◽

2002 ◽

pp. 103-118

Author(s):

Miguel García-Díaz ◽

Susana Nieva

Download Full-text

The Well-Founded Semantics in Normal Logic Programs with Uncertainty

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45788-7_9 ◽

2002 ◽

pp. 152-166 ◽

Cited By ~ 13

Author(s):

Yann Loyer ◽

Umberto Straccia

Keyword(s):

Logic Programs ◽

Normal Logic

Download Full-text

Coinductive Interpreters for Process Calculi

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45788-7_11 ◽

2002 ◽

pp. 183-197 ◽

Cited By ~ 2

Author(s):

Luís Soares Barbosa ◽

José Nuno Oliveira

Keyword(s):

Process Calculi

Download Full-text

Functional and Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Lambda-Lifting in Quadratic Time

VMλ: A Functional Calculus for Scientific Discovery

Narrowing Failure in Functional Logic Programming

On the Correctness of the Factoring Transformation

Dynamic-Cut with Definitional Trees

The Essence of XML (Preliminary Version)

The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation

Solving Mixed Quantified Constraints over a Domain Based on $$ \mathcal{R} $$eal Numbers and $$ \mathcal{H} $$erbrand Terms

The Well-Founded Semantics in Normal Logic Programs with Uncertainty

Coinductive Interpreters for Process Calculi

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