A Declarative Debugger for Maude Functional Modules (Q5179130): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.05.013
+Normal rank
@@ Property / OpenAlex ID @@
+W2169508890
@@ Property / OpenAlex ID: W2169508890 / 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 membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
+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
@@ Property / cites work @@
+Q3718124
@@ Property / cites work: Q3718124 / rank @@
+Normal rank