Memory Policy Analysis for Semantics Specifications in Maude (Q5743600): Difference between revisions

@@ Property / cites work @@
+Descendants and origins in term rewriting.
@@ Property / cites work: Descendants and origins in term rewriting. / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+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 @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+A Rewriting Logic Semantics Approach to Modular Program Analysis
+Normal rank
@@ Property / cites work @@
+Evaluating the effectiveness of pointer alias analyses
+Normal rank
@@ Property / cites work @@
+Q4038704
@@ Property / cites work: Q4038704 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of a C-like memory model and its uses for verifying program transformations
+Normal rank
@@ Property / cites work @@
+Rewriting logic: Roadmap and bibliography
@@ Property / cites work: Rewriting logic: Roadmap and bibliography / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+The rewriting logic semantics project
@@ Property / cites work: The rewriting logic semantics project / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+A Generic Program Slicing Technique Based on Language Definitions
+Normal rank