A rewriting logic approach to operational semantics (Q1012130): Difference between revisions

@@ Property / describes a project that uses @@
+MMT
@@ Property / describes a project that uses: MMT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Java+ITP
@@ Property / describes a project that uses: Java+ITP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ACL2
@@ Property / describes a project that uses: ACL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OBJ3
@@ Property / describes a project that uses: OBJ3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Stratego
@@ Property / describes a project that uses: Stratego / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CafeOBJ
@@ Property / describes a project that uses: CafeOBJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PMaude
@@ Property / describes a project that uses: PMaude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Centaur
@@ Property / describes a project that uses: Centaur / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+K Prover
@@ Property / describes a project that uses: K Prover / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2008.03.026
+Normal rank
@@ Property / OpenAlex ID @@
+W1983696848
@@ Property / OpenAlex ID: W1983696848 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
+Normal rank
@@ Property / cites work @@
+The gamma model and its discipline of programming
@@ Property / cites work: The gamma model and its discipline of programming / rank @@
+Normal rank
@@ Property / cites work @@
+λν, a calculus of explicit substitutions which preserves strong normalisation
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+ELAN from a rewriting logic point of view
@@ Property / cites work: ELAN from a rewriting logic point of view / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849873
@@ Property / cites work: Q2849873 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic definition of programming languages
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+Normal rank
@@ Property / cites work @@
+Q2849864
@@ Property / cites work: Q2849864 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447234
@@ Property / cites work: Q4447234 / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting 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 @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction, Strategies, and Rewriting
@@ Property / cites work: Deduction, Strategies, and Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Order Reduction for Rewriting Semantics of Programming Languages
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736592
@@ Property / cites work: Q2736592 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4346205
@@ Property / cites work: Q4346205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3920616
@@ Property / cites work: Q3920616 / rank @@
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
+Normal rank
@@ Property / cites work @@
+Q2849872
@@ Property / cites work: Q2849872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774923
@@ Property / cites work: Q3774923 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis
+Normal rank
@@ Property / cites work @@
+Q4222859
@@ Property / cites work: Q4222859 / rank @@
+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 @@
+Rewriting logic as a semantic framework for concurrency: a progress report
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing – ICTAC 2005
@@ Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / 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 @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+The rewriting logic semantics project
@@ Property / cites work: The rewriting logic semantics project / rank @@
+Normal rank
@@ Property / cites work @@
+Representing and Reasoning with Operational Semantics
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+Unified Algebras and action semantics
@@ Property / cites work: Unified Algebras and action semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105769
@@ Property / cites work: Q4105769 / rank @@
+Normal rank
@@ Property / cites work @@
+Pragmatics of Modular SOS
@@ Property / cites work: Pragmatics of Modular SOS / rank @@
+Normal rank
@@ Property / cites work @@
+Modular structural operational semantics
@@ Property / cites work: Modular structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855362
@@ Property / cites work: Q4855362 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2742791
@@ Property / cites work: Q2742791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703692
@@ Property / cites work: Q2703692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851057
@@ Property / cites work: Q2851057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851059
@@ Property / cites work: Q2851059 / rank @@
+Normal rank
@@ Property / cites work @@
+Language Prototyping: An Algebraic Specification Approach
+Normal rank
@@ Property / cites work @@
+Executable structural operational semantics in Maude
+Normal rank
@@ Property / cites work @@
+Equational rules for rewriting logic
@@ Property / cites work: Equational rules for rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+First-order identities as a defining language
@@ Property / cites work: First-order identities as a defining language / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank