The rewriting logic semantics project: a progress report (Q393080): Difference between revisions

@@ 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 @@
+A rewriting logic approach to operational semantics
+Normal rank
@@ Property / cites work @@
+The Rewriting Logic Semantics Project: A Progress Report
+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 @@
+Q3774923
@@ Property / cites work: Q3774923 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular structural operational semantics
@@ Property / cites work: Modular structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / 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 @@
+Q3920616
@@ Property / cites work: Q3920616 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic definition of programming languages
+Normal rank
@@ Property / cites work @@
+Unified Algebras and action semantics
@@ Property / cites work: Unified Algebras and action semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4346205
@@ Property / cites work: Q4346205 / rank @@
+Normal rank
@@ Property / cites work @@
+Language Prototyping: An Algebraic Specification Approach
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385537
@@ Property / cites work: Q4385537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736592
@@ Property / cites work: Q2736592 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / 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 @@
+Representing and Reasoning with Operational Semantics
+Normal rank
@@ Property / cites work @@
+Q4855362
@@ Property / cites work: Q4855362 / 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 @@
+Q2742791
@@ Property / cites work: Q2742791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851059
@@ Property / cites work: Q2851059 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851057
@@ Property / cites work: Q2851057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447234
@@ Property / cites work: Q4447234 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Executable structural operational semantics in Maude
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849872
@@ Property / cites work: Q2849872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849873
@@ Property / cites work: Q2849873 / 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 @@
+Partial Order Reduction for Rewriting Semantics of Programming Languages
+Normal rank
@@ Property / cites work @@
+Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
+Normal rank
@@ Property / cites work @@
+A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis
+Normal rank
@@ Property / cites work @@
+A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+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 @@
+Equational rules for rewriting logic
@@ Property / cites work: Equational rules for rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 9
@@ Property / cites work: Handbook of philosophical logic. Vol. 9 / rank @@
+Normal rank
@@ Property / cites work @@
+Two case studies of semantics execution in Maude: CCS and LOTOS
+Normal rank
@@ Property / cites work @@
+Specification of real-time and hybrid systems in rewriting logic
+Normal rank
@@ Property / cites work @@
+Semantics and pragmatics of real-time maude
@@ Property / cites work: Semantics and pragmatics of real-time maude / 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 @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Matching Logic: An Alternative to Hoare/Floyd Logic
+Normal rank
@@ Property / cites work @@
+Towards a Unified Theory of Operational and Axiomatic Semantics
+Normal rank
@@ Property / cites work @@
+From Hoare Logic to Matching Logic Reachability
@@ Property / cites work: From Hoare Logic to Matching Logic Reachability / rank @@
+Normal rank
@@ Property / cites work @@
+Mapping Modular SOS to Rewriting Logic
@@ Property / cites work: Mapping Modular SOS to Rewriting Logic / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of the K semantic framework
@@ Property / cites work: An overview of the K semantic framework / rank @@
+Normal rank
@@ Property / cites work @@
+A Truly Concurrent Semantics for the $\mathbb{K}$ Framework Based on Graph Transformations
+Normal rank
@@ Property / cites work @@
+Rewriting logic as a semantic framework for concurrency: a progress report
+Normal rank
@@ Property / cites work @@
+Q4283242
@@ Property / cites work: Q4283242 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanized semantics for the clight subset of the C language
+Normal rank
@@ Property / cites work @@
+A timed semantics of Orc
@@ Property / cites work: A timed semantics of Orc / rank @@
+Normal rank
@@ Property / cites work @@
+A formal approach to object-oriented software engineering
+Normal rank
@@ Property / cites work @@
+Q3045455
@@ Property / cites work: Q3045455 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic semantics for MOF
@@ Property / cites work: An algebraic semantics for MOF / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Behavioral Semantics of Real-Time Domain Specific Visual Languages
+Normal rank
@@ Property / cites work @@
+Verifying hierarchical Ptolemy II discrete-event models using real-time maude
+Normal rank
@@ Property / cites work @@
+Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
+Normal rank
@@ Property / cites work @@
+vlogsl: A Strategy Language for Simulation-Based Verification of Hardware
+Normal rank
@@ Property / cites work @@
+Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits
+Normal rank
@@ Property / cites work @@
+A Rewriting Logic Approach to Type Inference
@@ Property / cites work: A Rewriting Logic Approach to Type Inference / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Certification of Global Non-interference in Rewriting Logic
+Normal rank
@@ Property / cites work @@
+An efficient machine-independent procedure for garbage collection in various list structures
+Normal rank
@@ Property / cites work @@
+Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2013.08.004
+Normal rank
@@ Property / OpenAlex ID @@
+W1990687394
@@ Property / OpenAlex ID: W1990687394 / rank @@
+Normal rank