The Rewriting Logic Semantics Project: A Progress Report (Q3088267): Difference between revisions

@@ Property / describes a project that uses @@
+ACL2
@@ Property / describes a project that uses: ACL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ITP/OCL
@@ Property / describes a project that uses: ITP/OCL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MOMENT2
@@ Property / describes a project that uses: MOMENT2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MMT
@@ Property / describes a project that uses: MMT / 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 @@
+CafeOBJ
@@ Property / describes a project that uses: CafeOBJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+K tool
@@ Property / describes a project that uses: K tool / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+K Prover
@@ Property / describes a project that uses: K Prover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JavaFAN
@@ Property / describes a project that uses: JavaFAN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Orc
@@ Property / describes a project that uses: Orc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Dist-Orc
@@ Property / describes a project that uses: Dist-Orc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Java+ITP
@@ Property / describes a project that uses: Java+ITP / 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.1007/978-3-642-22953-4_1
+Normal rank
@@ Property / OpenAlex ID @@
+W197556432
@@ Property / OpenAlex ID: W197556432 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
+Normal rank
@@ Property / cites work @@
+Abstract Certification of Global Non-interference in Rewriting Logic
+Normal rank
@@ Property / cites work @@
+Q3045455
@@ Property / cites work: Q3045455 / rank @@
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanized semantics for the clight subset of the C language
+Normal rank
@@ Property / cites work @@
+An algebraic semantics for MOF
@@ Property / cites work: An algebraic semantics for MOF / 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 @@
+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 @@
+Q4447234
@@ Property / cites work: Q4447234 / 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 @@
+A Rewriting Logic Approach to Type Inference
@@ Property / cites work: A Rewriting Logic Approach to Type Inference / 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 @@
+Q4283242
@@ Property / cites work: Q4283242 / 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 @@
+Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits
+Normal rank
@@ Property / cites work @@
+A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis
+Normal rank
@@ Property / cites work @@
+vlogsl: A Strategy Language for Simulation-Based Verification of Hardware
+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 @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / 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 @@
+Q4385537
@@ Property / cites work: Q4385537 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular structural operational semantics
@@ Property / cites work: Modular structural operational semantics / rank @@
+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 @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+On the Behavioral Semantics of Real-Time Domain Specific Visual Languages
+Normal rank
@@ Property / cites work @@
+Matching Logic: An Alternative to Hoare/Floyd Logic
+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 @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+A rewriting logic approach to operational semantics
+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 @@
+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 @@
+Two case studies of semantics execution in Maude: CCS and LOTOS
+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 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 @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank