Declarative Debugging of Rewriting Logic Specifications (Q3184739): Difference between revisions

@@ Property / author @@
+Rafael Caballero
@@ Property / author: Rafael Caballero / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DDebugger
@@ Property / describes a project that uses: DDebugger / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-03429-9_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1940221711
@@ Property / OpenAlex ID: W1940221711 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+Normal rank
@@ Property / cites work @@
+Declarative Debugging of Membership Equational Logic Specifications
+Normal rank
@@ Property / cites work @@
+A Declarative Debugger for Maude Functional Modules
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
+Normal rank
@@ Property / cites work @@
+Structure and Properties of Traces for Functional Programs
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
+Normal rank
@@ Property / cites work @@
+Declarative error diagnosis
@@ Property / cites work: Declarative error diagnosis / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259962
@@ Property / cites work: Q4259962 / rank @@
+Normal rank
@@ Property / cites work @@
+How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
+Normal rank
@@ Property / cites work @@
+Q3718124
@@ Property / cites work: Q3718124 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational rules for rewriting logic
@@ Property / cites work: Equational rules for rewriting logic / rank @@
+Normal rank