Declarative Debugging of Membership Equational Logic Specifications (Q3507364): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-68679-8_12
+Normal rank
@@ Property / OpenAlex ID @@
+W1761688502
@@ Property / OpenAlex ID: W1761688502 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Diagnosis of Functional Programs
@@ Property / cites work: Abstract Diagnosis of Functional Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+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 @@
+Q2734833
@@ Property / cites work: Q2734833 / rank @@
+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 conditional rewriting logic
@@ Property / cites work: Reflection in conditional rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract diagnosis
@@ Property / cites work: Abstract diagnosis / rank @@
+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