"$\mathcal{DDT}$: a Declarative Debugging Tool for Functional-Logic Languages"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Logic And Declarative Language	M. Downward	1998	Routledge
Flowcharting: a tool for understanding computer logic	Nancy B. Stern	1975	Wiley
Invitation to MVS: logic and debugging	Harry Katzan; Davis Thatayil	1984	PBI
Compiling functional languages	Antoni Diller	1988	Wiley
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
Two-Level Functional Languages	Flemming Nielson; Hanne Riis Nielson	1992-07	Cambridge University Press
Functional and Logic Programming	Oleg Kiselyov; Andy King	1st ed. 2016	Springer International Publishing
Software debugging for microcomputers	Bruce, Robert C.	1980	Reston Pub. Co.
Quality functional deployment as a conceptual aircraft design tool	Rendell Kheng Wah Tan	2000	Naval Postgraduate School;Available from National Technical Information Service
A Combinatory Logic Model of Programming Languages	S. Kamal Abdali	1974	University of Wisconsin
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach	Marco Montali	2010	Springer Berlin Heidelberg
Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic	Alan P. Parkes	2002	Springer London
Logic as a tool: a guide to formal logical reasoning	Goranko, Valentin	2016	Wiley
Logic as a Tool: A Guide to Formal Logical Reasoning	Valentin Goranko	2016	Wiley
Arrays, Functional Languages, and Parallel Systems	Lenore M. Restifo Mullin	1991	Springer US
The Implementation of Functional Programming Languages	Simon L. Peyton Jones	1987	Prentice/Hill International
A declarative approach to business rules in contracts: courteous logic programs in XML	Benjamin N. Grosof	2001	MIT Sloan School of Management
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
$\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
Functional Logic Languages		Logic Programming: The 1995 International Symposium	John W. Lloyd	1995	MIT Press,
A Debugging Scheme for Declarative Equation Based Modeling Languages	Peter Bunus; Peter Fritzson	Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings	Shriram Krishnamurthi; C.R. Ramakrishnan	2002	Springer Berlin Heidelberg
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 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
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
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
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
A Memoizing Semantics for Functional Logic Languages	Salvador España; Vicent Estruch	Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings	David Schmidt	2004	Springer Berlin Heidelberg
A declarative debugging environment for DATALOG	Francesco Russo; Mirko Sancassani	Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991. Proceedings	Andrei Voronkov	1992	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
declarative languages		A Dictionary of Computer Science (Oxford Quick Reference)	Andrew Butterfield (editor), Gerard Ekembe Ngondi (editor), Anne Kerr (editor)	2016	Oxford University Press
Declarative Debugging of Membership Equational Logic Specifications	Rafael Caballero; Narciso Martí-Oliet; Adrián Riesco; Alberto Verdejo	Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday	Pierpaolo Degano; Rocco de Nicola; José Meseguer	2008	Springer Berlin Heidelberg
Declarative source debugging	Miguel Calejo; Luís Moniz Pereira	EPIA' 91: 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991. Proceedings	Pedro Barahona; Luis Moniz Pereira; Antonio Porto	1991	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
Functional logic languages part I	Uday S. Reddy	Graph Reduction: Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986	Joseph H. Fasel; Robert M. Keller	1987	Springer Berlin Heidelberg
Parallel Evaluation Strategies for Functional Logic Languages		Logic Programming: The 14th International Conference	Lee Naish	1997	MIT Press,
Parallel Evaluation Strategies for Functional Logic Languages		Logic Programming: The 14th International Conference	Lee Naish	1997	MIT Press
A rewriting logic for declarative programming	J. C. González-Moreno; M. T. Hortalá-González; F. J. López-Fraguas; M. Rodríguez-Artalejo	Programming Languages and Systems - ESOP ' 96: 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings	Hanne R. Nielson	1996	Springer Berlin Heidelberg
Declarative Mark-Up Languages as a Tool for Developing Educational Hypermedia	Baltasar Fernandez-Manjon; Antonio Navarro; Juan M. Cigarran; Alfredo Fernandez-Valmayor	Intelligent Tutoring Systems: 4th International Conference, ITS ’98, San Antonio, Texas, USA, August 16–19, 1998, Proceedings	Barry P. Goettl; Henry M. Halff; Carol L. Redfield; Valerie J. Shute	1998	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"$\mathcal{DDT}$: a Declarative Debugging Tool for Functional-Logic Languages" - similar Books and Chapters