Debugging Maude programs via runtime assertion checking and trace slicing (Q739630): Difference between revisions

@@ Property / describes a project that uses @@
+Eiffel
@@ Property / describes a project that uses: Eiffel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JML
@@ Property / describes a project that uses: JML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57978111
@@ Property / Wikidata QID: Q57978111 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2016.03.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2328785738
@@ Property / OpenAlex ID: W2328785738 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic program slicing
@@ Property / cites work: Dynamic program slicing / 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 @@
+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 @@
+Abstract Certification of Global Non-interference in Rewriting Logic
+Normal rank
@@ Property / cites work @@
+Rewriting logic bibliography by topic: 1990--2011
@@ Property / cites work: Rewriting logic bibliography by topic: 1990--2011 / rank @@
+Normal rank
@@ Property / cites work @@
+Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)
+Normal rank
@@ Property / cites work @@
+Exploring conditional rewriting logic computations
+Normal rank
@@ Property / cites work @@
+Q4371400
@@ Property / cites work: Q4371400 / rank @@
+Normal rank
@@ Property / cites work @@
+A modular order-sorted equational generalization algorithm
+Normal rank
@@ Property / cites work @@
+Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis
+Normal rank
@@ Property / cites work @@
+A brief account of runtime verification
@@ Property / cites work: A brief account of runtime verification / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and complete models of contracts
@@ Property / cites work: Sound and complete models of contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative debugging of rewriting logic specifications
+Normal rank
@@ Property / cites work @@
+Invariant-driven specifications in Maude
@@ Property / cites work: Invariant-driven specifications in Maude / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric Trace Slicing and Monitoring
@@ Property / cites work: Parametric Trace Slicing and Monitoring / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-Sorted Generalization
@@ Property / cites work: Order-Sorted Generalization / rank @@
+Normal rank
@@ Property / cites work @@
+A Modular Equational Generalization Algorithm
@@ Property / cites work: A Modular Equational Generalization Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Modulo SMT and Open System Analysis
@@ Property / cites work: Rewriting Modulo SMT and Open System Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+From Rewriting Logic, to Programming Language Semantics, to Program Verification
+Normal rank
@@ Property / cites work @@
+Backward Trace Slicing for Rewriting Logic Theories
+Normal rank
@@ Property / cites work @@
+Backward Trace Slicing for Conditional Rewrite Theories
+Normal rank
@@ Property / cites work @@
+ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance
+Normal rank
@@ Property / cites work @@
+Q4447224
@@ Property / cites work: Q4447224 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/jlp/AlpuenteBFS16
@@ Property / DBLP publication ID: journals/jlp/AlpuenteBFS16 / rank @@
+Normal rank