Optimizing Maude programs via program specialization (Q6175104): Difference between revisions

@@ Property / cites work @@
+Assertion-based analysis via slicing with<tt>ABETS</tt>(system description)
+Normal rank
@@ Property / cites work @@
+Debugging Maude programs via runtime assertion checking and trace slicing
+Normal rank
@@ Property / cites work @@
+A partial evaluation framework for order-sorted equational programs modulo axioms
+Normal rank
@@ Property / cites work @@
+Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms*
+Normal rank
@@ Property / cites work @@
+A modular order-sorted equational generalization algorithm
+Normal rank
@@ Property / cites work @@
+Termination of narrowing revisited
@@ Property / cites work: Termination of narrowing revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364365
@@ Property / cites work: Q4364365 / rank @@
+Normal rank
@@ Property / cites work @@
+Specialization of functional logic programs based on needed narrowing
+Normal rank
@@ Property / cites work @@
+Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
+Normal rank
@@ Property / cites work @@
+On Forward Closure and the Finite Variant Property
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Programming and symbolic computation in Maude
@@ Property / cites work: Programming and symbolic computation in Maude / rank @@
+Normal rank
@@ Property / cites work @@
+Built-in Variant Generation and Unification, and Their Applications in Maude 2.7
+Normal rank
@@ Property / cites work @@
+MTT: The Maude Termination Tool (System Description)
+Normal rank
@@ Property / cites work @@
+Ground confluence of order-sorted conditional specifications modulo axioms
+Normal rank
@@ Property / cites work @@
+Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
+Normal rank
@@ Property / cites work @@
+Symbolic Model Checking of Infinite-State Systems Using Narrowing
+Normal rank
@@ Property / cites work @@
+Variant Narrowing and Equational Unification
@@ Property / cites work: Variant Narrowing and Equational Unification / rank @@
+Normal rank
@@ Property / cites work @@
+Folding variant narrowing and optimal variant termination
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial evaluation in logic programming
@@ Property / cites work: Partial evaluation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Variant-Based Satisfiability in Initial Algebras
@@ Property / cites work: Variant-Based Satisfiability in Initial Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized rewrite theories, coherence completion, and symbolic methods
+Normal rank
@@ Property / cites work @@
+Equational abstractions
@@ Property / cites work: Equational abstractions / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+Equational rules for rewriting logic
@@ Property / cites work: Equational rules for rewriting logic / rank @@
+Normal rank