Search results
From MaRDI portal
- 2022-11-15 Paper A core Erlang semantics for declarative debugging 2019-10-17 Paper Declarative debugging of concurrent Erlang programs 2018-11-01 Paper...10 bytes (17 words) - 07:19, 9 December 2023
- 2021-07-08 Paper A core Erlang semantics for declarative debugging 2019-10-17 Paper Declarative debugging of concurrent Erlang programs 2018-11-01 Paper...10 bytes (15 words) - 07:57, 7 October 2023
- Enhancing the Debugging of Maude Specifications 2010-10-12 Paper Declarative Debugging of Rewriting Logic Specifications 2009-10-22 Paper Declarative Debugging...10 bytes (15 words) - 06:00, 7 October 2023
- Paper Declarative Debugging of Rewriting Logic Specifications 2009-10-22 Paper Equational abstractions 2008-09-16 Paper Declarative Debugging of Membership...10 bytes (17 words) - 23:46, 12 December 2023
- core Erlang semantics for declarative debugging 2019-10-17 Paper Tracking CSP computations 2018-12-19 Paper Declarative debugging of concurrent Erlang programs...10 bytes (15 words) - 19:26, 11 December 2023
- 2020-05-04 Paper A core Erlang semantics for declarative debugging 2019-10-17 Paper Declarative debugging of concurrent Erlang programs 2018-11-01 Paper...10 bytes (15 words) - 11:52, 6 October 2023
- programming for SQL 2017-10-13 Paper Algorithmic Debugging of SQL Views 2015-12-07 Paper A New Proposal for Debugging Datalog Programs 2014-03-26 Paper An extended...10 bytes (16 words) - 04:44, 7 October 2023
- computations 2018-12-19 Paper Algorithmic debugging generalized 2018-06-27 Paper A Generalized Model for Algorithmic Debugging 2016-02-05 Paper Dynamic Slicing...10 bytes (14 words) - 19:26, 11 December 2023
- Numeric Constraint Domains 2015-03-18 Paper A Logical Framework for Debugging in Declarative Constraint Programming 2014-07-23 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 18:29, 6 October 2023
- Cost-sensitive diagnosis of declarative programs 2013-08-27 Paper Abstract correction of first-order functional programs 2013-08-27 Paper A debugging scheme for functional...10 bytes (13 words) - 11:26, 12 December 2023
- revisited 2013-09-20 Paper A declarative debugging system for lazy functional logic programs 2013-07-24 Paper A declarative semantics for CLP with qualification...10 bytes (16 words) - 17:01, 9 December 2023
- Publication Date of Publication Type Algorithmic Debugging of SQL Views 2015-12-07 Paper A New Proposal for Debugging Datalog Programs 2014-03-26 Paper Implementing...10 bytes (15 words) - 10:58, 6 October 2023
- Publication Date of Publication Type Declarative Debugging Meets the World 2014-03-26 Paper https://portal.mardi4nfdi.de/entity/Q2766774...10 bytes (13 words) - 04:45, 7 October 2023
- functional programs 2013-08-27 Paper A debugging scheme for functional logic programs 2013-07-24 Paper Declarative debugging of functional logic programs 2013-07-24...10 bytes (13 words) - 01:46, 12 December 2023
- Date of Publication Type Algorithmic debugging generalized 2018-06-27 Paper A Generalized Model for Algorithmic Debugging 2016-02-05 Paper Using the words/leafs...10 bytes (13 words) - 16:54, 24 September 2023
- Publication Date of Publication Type Declarative debugging in constraint logic programming 2024-06-21 Paper Path Counting for...10 bytes (13 words) - 14:42, 6 October 2023
- continuous Heisenberg and Landau-Lifschitz equation 2019-10-16 Paper Declarative debugging of functional logic programs 2013-07-24 Paper An integrated framework...10 bytes (15 words) - 13:42, 6 October 2023
- specific logic programs 1997-06-04 Paper Completeness of an improved declarative debugger 1991-01-01 Paper Proving properties of committed choice logic programs...10 bytes (13 words) - 23:25, 12 December 2023
- Publication Date of Publication Type A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions 2010-04-27...10 bytes (13 words) - 18:43, 26 December 2023
- Publication Date of Publication Type Enhancing Declarative Debugging with Loop Expansion and Tree Compression 2013-09-13 Paper...10 bytes (13 words) - 11:55, 7 October 2023
