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

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer International Publishing

9783319071503, 9783319071510

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07151-0_5 ◽

2014 ◽

pp. 69-85

Author(s):

Karim Barkati ◽

Haisheng Wang ◽

Pierre Jouvelot

Keyword(s):

Signal Processing ◽

Test Bed ◽

Multimedia Signal Processing

Download Full-text

Generic Programming with Multiple Parameters

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07151-0_9 ◽

2014 ◽

pp. 136-151 ◽

Author(s):

José Pedro Magalhães

Keyword(s):

Generic Programming ◽

Multiple Parameters

Download Full-text

PrologCheck – Property-Based Testing in Prolog

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07151-0_1 ◽

2014 ◽

pp. 1-17 ◽

Author(s):

Cláudio Amaral ◽

Mário Florido ◽

Vítor Santos Costa

Download Full-text

On Cross-Stage Persistence in Multi-Stage Programming

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07151-0_7 ◽

2014 ◽

pp. 103-118 ◽

Author(s):

Yuichiro Hanada ◽

Atsushi Igarashi

Keyword(s):

Download Full-text

POSIX Regular Expression Parsing with Derivatives

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07151-0_13 ◽

2014 ◽

pp. 203-220 ◽

Author(s):

Martin Sulzmann ◽

Kenny Zhuo Ming Lu

Keyword(s):

Regular Expression

Download Full-text

Proving Correctness of Compilers Using Structured Graphs

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07151-0_14 ◽

2014 ◽

pp. 221-237 ◽

Author(s):

Patrick Bahr

Keyword(s):

Structured Graphs

Download Full-text

Linear Sized Types in the Calculus of Constructions

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07151-0_11 ◽

2014 ◽

pp. 169-185 ◽

Author(s):

Jorge Luis Sacchini

Keyword(s):

Calculus Of Constructions

Download Full-text

Type-Based Amortized Resource Analysis with Integers and Arrays

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07151-0_10 ◽

2014 ◽

pp. 152-168 ◽

Author(s):

Jan Hoffmann ◽

Zhong Shao

Keyword(s):

Resource Analysis

Download Full-text

Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07151-0_4 ◽

2014 ◽

pp. 52-68 ◽

Author(s):

Adrián Riesco

Keyword(s):

Download Full-text

Constraint Logic Programming for Hedges: A Semantic Reconstruction

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07151-0_18 ◽

2014 ◽

pp. 285-301 ◽

Author(s):

Besik Dundua ◽

Mário Florido ◽

Temur Kutsia ◽

Mircea Marin

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text