Concolic Testing of Functional Logic Programs

Declarative Programming and Knowledge Management - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00801-7_11 ◽

2018 ◽

pp. 169-186 ◽

Cited By ~ 1

Author(s):

Jan Rasmus Tikovsky

Keyword(s):

Logic Programs ◽

Concolic Testing ◽

Functional Logic

Download Full-text

Overlapping Rules and Logic Variables in Functional Logic Programs

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/11799573_9 ◽

2006 ◽

pp. 87-101 ◽

Cited By ~ 37

Author(s):

Sergio Antoy ◽

Michael Hanus

Keyword(s):

Logic Programs ◽

Functional Logic

Download Full-text

Towards the global optimization of functional logic programs

Lecture Notes in Computer Science - Compiler Construction ◽

10.1007/3-540-57877-3_5 ◽

1994 ◽

pp. 68-82 ◽

Cited By ~ 1

Author(s):

Michael Hanus

Keyword(s):

Global Optimization ◽

Logic Programs ◽

Functional Logic

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

Abstract Diagnosis of First Order Functional Logic Programs

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-20551-4_14 ◽

2011 ◽

pp. 215-233

Author(s):

Giovanni Bacci ◽

Marco Comini

Keyword(s):

Logic Programs ◽

First Order ◽

Functional Logic

Download Full-text

Extensions: A Technique for Structuring Functional-Logic Programs

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-46562-6_26 ◽

2000 ◽

pp. 297-310 ◽

Cited By ~ 2

Author(s):

Rafael Caballero ◽

Francisco J. López-Fraguas

Keyword(s):

Logic Programs ◽

Functional Logic

Download Full-text

Systematic generation of glass-box test cases for functional logic programs

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '07 ◽

10.1145/1273920.1273930 ◽

2007 ◽

Cited By ~ 18

Author(s):

Sebastian Fischer ◽

Herbert Kuchen

Keyword(s):

Test Cases ◽

Logic Programs ◽

Functional Logic

Download Full-text

A program transformation for returning states in functional-logic programs

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 ◽

10.1145/1929501.1929523 ◽

2011 ◽

Author(s):

Rafael Caballero

Keyword(s):

Program Transformation ◽

Logic Programs ◽

Functional Logic

Download Full-text

Specialization of lazy functional logic programs

Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 ◽

10.1145/258993.259015 ◽

1997 ◽

Cited By ~ 12

Author(s):

M. Alpuente ◽

M. Falaschi ◽

P. Julián ◽

G. Vidal

Keyword(s):

Logic Programs ◽

Functional Logic

Download Full-text

A modular and generic analysis server system for functional logic programs

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14 ◽

10.1145/2543728.2543744 ◽

2014 ◽

Cited By ~ 8

Author(s):

Michael Hanus ◽

Fabian Skrlac

Keyword(s):

Logic Programs ◽

Functional Logic ◽

Generic Analysis ◽

Server System

Download Full-text

Cost-Augmented Partial Evaluation of Functional Logic Programs

Higher-Order and Symbolic Computation ◽

10.1023/b:lisp.0000029447.02190.42 ◽

2004 ◽

Vol 17 (1/2) ◽

pp. 7-46 ◽

Cited By ~ 1

Author(s):

Germán Vidal

Keyword(s):

Partial Evaluation ◽

Logic Programs ◽

Functional Logic

Download Full-text