Automated Reasoning
From MaRDI portal
Publication:5307047
DOI10.1007/b98691zbMath1126.68464OpenAlexW4239036627MaRDI QIDQ5307047
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98691
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
A Rewriting Logic Approach to Type Inference, Creol: A type-safe object-oriented model for distributed concurrent systems, A rewriting logic framework for operational semantics of membrane systems, The rewriting logic semantics project, From Rewriting Logic, to Programming Language Semantics, to Program Verification, The rewriting logic semantics project: a progress report, Twenty years of rewriting logic, Connectors as designs: modeling, refinement and test case generation, A language-independent proof system for full program equivalence, An algebraic semantics for MOF, Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors, Memory Representations in Rewriting Logic Semantics Definitions, An overview of the K semantic framework, An Object-Oriented Component Model for Heterogeneous Nets, A rewriting logic approach to operational semantics, How to Tackle Integer Weighted Automata Positivity, Towards an Efficient Implementation of Tree Automata Completion, Executable rewriting logic semantics of Orc and formal analysis of Orc programs, A Rewriting Logic Approach to Operational Semantics (Extended Abstract), Partial Order Reduction for Rewriting Semantics of Programming Languages, A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
Uses Software
