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

@@ 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