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

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642122507, 9783642122514

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proving Injectivity of Functions via Program Inversion in Term Rewriting

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12251-4_21 ◽

2010 ◽

pp. 288-303

Author(s):

Naoki Nishida ◽

Masahiko Sakai

Keyword(s):

Term Rewriting ◽

Program Inversion

Download Full-text

Tag-Free Combinators for Binding-Time Polymorphic Program Generation

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12251-4_8 ◽

2010 ◽

pp. 87-102 ◽

Author(s):

Peter Thiemann ◽

Martin Sulzmann

Keyword(s):

Program Generation ◽

Download Full-text

Towards Normalization by Evaluation for the βη-Calculus of Constructions

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12251-4_17 ◽

2010 ◽

pp. 224-239 ◽

Author(s):

Andreas Abel

Keyword(s):

Calculus Of Constructions

Download Full-text

Beluga: Programming with Dependent Types, Contextual Data, and Contexts

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12251-4_1 ◽

2010 ◽

pp. 1-12 ◽

Author(s):

Brigitte Pientka

Keyword(s):

Dependent Types ◽

Contextual Data

Download Full-text

Automatic Parallelization of Recursive Functions Using Quantifier Elimination

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12251-4_23 ◽

2010 ◽

pp. 321-336 ◽

Author(s):

Akimasa Morihata ◽

Kiminori Matsuzaki

Keyword(s):

Quantifier Elimination ◽

Automatic Parallelization ◽

Recursive Functions

Download Full-text

Complexity Analysis by Graph Rewriting

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12251-4_19 ◽

2010 ◽

pp. 257-271 ◽

Author(s):

Martin Avanzini ◽

Georg Moser

Keyword(s):

Complexity Analysis ◽

Graph Rewriting

Download Full-text

An Integrated Distance for Atoms

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12251-4_12 ◽

2010 ◽

pp. 150-164 ◽

Author(s):

Vicent Estruch ◽

César Ferri ◽

José Hernández-Orallo ◽

M. José Ramírez-Quintana

Download Full-text

Solving Constraint Satisfaction Problems with SAT Technology

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12251-4_3 ◽

2010 ◽

pp. 19-23 ◽

Author(s):

Naoyuki Tamura ◽

Tomoya Tanjo ◽

Mutsunori Banbara

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems

Download Full-text

Applying Constraint Logic Programming to SQL Test Case Generation

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12251-4_15 ◽

2010 ◽

pp. 191-206 ◽

Author(s):

Rafael Caballero ◽

Yolanda García-Ruiz ◽

Fernando Sáenz-Pérez

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Test Case Generation ◽

Download Full-text

Haskell Type Constraints Unleashed

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12251-4_6 ◽

2010 ◽

pp. 56-71 ◽

Author(s):

Dominic Orchard ◽

Tom Schrijvers

Download Full-text