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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642119989, 9783642119996

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

New Results on Type Systems for Functional Logic Programming

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11999-6_9 ◽

2010 ◽

pp. 128-144 ◽

Cited By ~ 3

Author(s):

Francisco J. López-Fraguas ◽

Enrique Martin-Martin ◽

Juan Rodríguez-Hortalá

Keyword(s):

Logic Programming ◽

Type Systems ◽

Functional Logic Programming ◽

Functional Logic

Download Full-text

A Taxonomy of Some Right-to-Left String-Matching Algorithms

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11999-6_6 ◽

2010 ◽

pp. 79-95 ◽

Cited By ~ 2

Author(s):

Manuel Hernández

Keyword(s):

String Matching

Download Full-text

Integrating ILOG CP Technology into $\mathcal{TOY}$

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11999-6_3 ◽

2010 ◽

pp. 27-43 ◽

Cited By ~ 1

Author(s):

Ignacio Castiñeiras ◽

Fernando Sáenz-Pérez

Download Full-text

A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11999-6_11 ◽

2010 ◽

pp. 162-178 ◽

Cited By ~ 1

Author(s):

Rafael del Vado Vírseda ◽

Ignacio Castiñeiras

Keyword(s):

Theoretical Framework ◽

Logic Programs ◽

Functional Logic

Download Full-text

Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11999-6_4 ◽

2010 ◽

pp. 44-61 ◽

Cited By ~ 2

Author(s):

Stephan Falke ◽

Deepak Kapur

Keyword(s):

Data Structures ◽

Context Sensitive ◽

Collection Data

Download Full-text

Constraint Based Strategies

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11999-6_2 ◽

2010 ◽

pp. 13-26 ◽

Cited By ~ 2

Author(s):

Claude Kirchner ◽

Florent Kirchner ◽

Hélène Kirchner

Download Full-text

Programming with Multiple Paradigms in Lua

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11999-6_1 ◽

2010 ◽

pp. 1-12 ◽

Cited By ~ 8

Author(s):

Roberto Ierusalimschy

Download Full-text

A Simple Region Inference Algorithm for a First-Order Functional Language

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11999-6_10 ◽

2010 ◽

pp. 145-161 ◽

Cited By ~ 5

Author(s):

Manuel Montenegro ◽

Ricardo Peña ◽

Clara Segura

Keyword(s):

Functional Language ◽

Inference Algorithm ◽

First Order

Download Full-text

Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11999-6_8 ◽

2010 ◽

pp. 111-127 ◽

Cited By ~ 1

Author(s):

Michael Leuschel ◽

Salvador Tamarit ◽

Germán Vidal

Keyword(s):

Partial Evaluation ◽

Termination Analysis ◽

Strong Termination

Download Full-text

Semantic Labelling for Proving Termination of Combinatory Reduction Systems

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11999-6_5 ◽

2010 ◽

pp. 62-78 ◽

Cited By ~ 6

Author(s):

Makoto Hamana

Keyword(s):

Semantic Labelling

Download Full-text

Functional and Constraint Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

New Results on Type Systems for Functional Logic Programming

A Taxonomy of Some Right-to-Left String-Matching Algorithms

Integrating ILOG CP Technology into $\mathcal{TOY}$

A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions

Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures

Constraint Based Strategies

Programming with Multiple Paradigms in Lua

A Simple Region Inference Algorithm for a First-Order Functional Language

Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation

Semantic Labelling for Proving Termination of Combinatory Reduction Systems

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