ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
A semantics for weakly encapsulated search in functional logic programs
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13
◽
10.1145/2505879.2505896
◽
2013
◽
Cited By ~ 3
Author(s):
Jan Christiansen
◽
Michael Hanus
◽
Fabian Reck
◽
Daniel Seidel
Keyword(s):
Logic Programs
◽
Functional Logic
Download Full-text
Related Documents
Cited By
References
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close