"Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Logic And Declarative Language	M. Downward	1998	Routledge
Theoretical foundations for nursing	Margaret E. Hardy	1973	[MSS Information Corp.]
A declarative approach to business rules in contracts: courteous logic programs in XML	Benjamin N. Grosof	2001	MIT Sloan School of Management
Invitation to MVS: logic and debugging	Harry Katzan; Davis Thatayil	1984	PBI
Theoretical Foundations	Charles A. Ferguson	1970	De Gruyter Mouton
Second Language Learning: Theoretical Foundations: Theoretical Foundations	Michael Sharwood Smith	1994	Routledge
Termination Proofs for Logic Programs	Lutz Plümer	1990	Springer Berlin Heidelberg
Predicate logic: the semantic foundations of logic.	Richard L. Epstein	2001	Wadsworth Thomson Learning
Declarative Logic Programming: Theory, Systems, and Applications	Michael Kifer and Yanhong Annie Liu	2018	Association for Computing Machinery and Morgan & Claypool Publishers
Declarative Logic Programming: Theory, Systems, and Applications	Michael Kifer and Yanhong Annie Liu	2018	Association for Computing Machinery and Morgan & Claypool Publishers
Truth-Functional Logic	J. A. Faris	1962	Routledge
Truth-functional logic	Faris,John Acheson	1962	Routledge and Kegan Paul
Theoretical Foundations of Functional Data Analysis, with an Introduction to Linear Operators	Tailen Hsing	2015	John Wiley & Sons
Temporal Logic of Programs	Fred Kröger	1987	Springer Berlin Heidelberg
Theoretical foundations of nursing	Gertrude Torres	1986	Apple-Century-Crofts
Theoretical foundations of multimedia	Robert S. Tannenbaum	1998	Computer Science Press
Theoretical foundations of music	William Duckworth	1978	Wadsworth Pub. Co.
Foundations of theoretical phonology	James Foley	1977	Cambridge University Press
The metaphysical foundations of logic	Martin Heidegger	1984	Indiana University Press
Classical Mathematical Logic: The Semantic Foundations of Logic	Richard L. Epstein; Leslaw W. Szczerba	2006	Princeton University Press
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs	Rafael Caballero; Francisco J. López-Fraguas; Mario Rodrìguez-Artalejo	Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings	Herbert Kuchen; Kazunori Ueda	2001	Springer Berlin Heidelberg
A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions	Rafael del Vado Vírseda; Ignacio Castiñeiras	Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers	Santiago Escobar	2010	Springer Berlin Heidelberg
A Theoretical Framework for the Declarative Debugging of Datalog Programs	R. Caballero; Y. García-Ruiz; F. Sáenz-Pérez	Semantics in Data and Knowledge Bases: Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers	Klaus-Dieter Schewe; Bernhard Thalheim	2008	Springer Berlin Heidelberg
A debugging model for functional logic programs	Michael Hanus; Berthold Josephs	Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP ' 93, Tallinn, Estonia, August 25-27, 1993. Proceedings	Maurice Bruynooghe; Jaan Penjam	1993	Springer Berlin Heidelberg
Debugging Lazy Functional Programs by Asking the Oracle	Bernd Braßel; Holger Siegel	Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers	Olaf Chitil	2008	Springer Berlin Heidelberg
Transformation and Debugging of Functional Logic Programs	Maria Alpuente; Demis Ballis; Moreno Falaschi	A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP	Agostino Dovier; Enrico Pontelli	2010	Springer Berlin Heidelberg
Lazy and Enforceable Assertions for Functional Logic Programs	Michael Hanus	Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers	Julio Marino	2011	Springer Berlin Heidelberg
A Transformation System for Lazy Functional Logic Programs	María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal	Functional and Logic Programming: 4th Fuji International Symposium, FLOPS' 99 Tsukuba, Japan, November 11-13, 1999 Proceedings	Aart Middeldorp; Taisuke Sato	1999	Springer Berlin Heidelberg
A Slicing Tool for Lazy Functional Logic Programs	Claudio Ochoa; Josep Silva; Germán Vidal	Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings	Michael Fisher; Wiebe Hoek; Boris Konev; Alexei Lisitsa	2006	Springer Berlin Heidelberg
Declarative Annotations for Logic Programs		Logic Programming: The 1995 International Symposium	John W. Lloyd	1995	MIT Press,
Declarative Annotations for Logic Programs		Logic Programming: The 1995 International Symposium	John W. Lloyd	1995	MIT Press
Algorithmic debugging for lazy functional languages	Henrik Nilsson; Peter Fritzson	Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings	Maurice Bruynooghe; Martin Wirsing	1992	Springer Berlin Heidelberg
$\mathcal{DDT}$: a Declarative Debugging Tool for Functional-Logic Languages	Rafael Caballero; Mario Rodríguez-Artalejo	Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings	Yukiyoshi Kameyama; Peter J. Stuckey	2004	Springer Berlin Heidelberg
Declarative Debugging of Rewriting Logic Specifications	Adrian Riesco; Alberto Verdejo; Rafael Caballero; Narciso Martí-Oliet	Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers	Andrea Corradini; Ugo Montanari	2009	Springer Berlin Heidelberg
Profiling Lazy Functional Programs	Patrick M. Sansom; Simon L. Peyton Jones	Functional Programming, Glasgow 1992: Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6–8 July 1992	John Launchbury; Patrick Sansom	1993	Springer London
Efficient translation of lazy functional logic programs into Prolog	Michael Hanus	Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR' 95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings	Maurizio Proietti	1996	Springer Berlin Heidelberg
Efficient translation of lazy functional logic programs into Prol		Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings	Michael Leuschel (auth.), Maurizio Proietti (eds.)	1996	Springer-Verlag Berlin Heidelberg
Abstract debugging of logic programs	Marco Comini; Giorgio Levi; Giuliana Vitiello	Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR ' 94 and META ' 94, Pisa, Italy, June 20 - 21, 1994. Proceedings	Laurent Fribourg; Franco Turini	1994	Springer Berlin Heidelberg
Towards declarative debugging of concurrent constraint programs	Markus P. J. Fromherz	Automated and Algorithmic Debugging: First International Workshop, AADEBUG ' 93, Linköping, Sweden, May 3-5, 1993. Proceedings	Peter A. Fritzson	1993	Springer Berlin Heidelberg
Declarative debugging in constraint logic programming	Alexandre Tessier	Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN ' 96, Singapore, December 2 - 5, 1996, Proceedings	Joxan Jaffar; Roland H.C. Yap	1996	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs" - similar Books and Chapters