Partial order reduction for rewriting semantics of programming languages

DOI10.1016/J.ENTCS.2007.06.008MaRDI QIDQ2873775zbMATH OpenOpenAlexFDO

Authors Azadeh Farzan, José Meseguer

Publication date 24 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.06.008

zbMATH Keywords

model checkingprogramming language semanticsrewriting logicMaudepartial order reduction

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Dynamic partial-order reduction for model checking software
• scientific article; zbMATH DE number 1059330
• Transparent partial order reduction
• scientific article; zbMATH DE number 1507206
• Correct Hardware Design and Verification Methods

Cites work

• scientific article; zbMATH DE number 1670562 (Why is no real title available?)
• scientific article; zbMATH DE number 177511 (Why is no real title available?)
• scientific article; zbMATH DE number 1982209 (Why is no real title available?)
• scientific article; zbMATH DE number 2043522 (Why is no real title available?)
• A partial approach to model checking
• Algebraic Methodology and Software Technology
• Automated Reasoning
• Computer Aided Verification
• Conditional rewriting logic as a unified model of concurrency
• Defining conditional independence using collapses
• Dynamic partial-order reduction for model checking software
• Equational rules for rewriting logic
• Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
• Maude: specification and programming in rewriting logic
• Partial order reduction for rewriting semantics of programming languages
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Partial-order reduction in symbolic state-space exploration
• State space reduction using partial order techniques
• Transactions for software model checking

Cited in

(17)

• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• Twenty years of rewriting logic
• Abstract domains for reordering CLP(RLin) programs
• Memory representations in rewriting logic semantics definitions
• Partial Order Infinitary Term Rewriting
• A semantic approach to order-sorted rewriting
• scientific article; zbMATH DE number 3997138 (Why is no real title available?)
• A rewriting logic approach to operational semantics
• scientific article; zbMATH DE number 2043548 (Why is no real title available?)
• Partial order reduction for rewriting semantics of programming languages
• Syntactic partial order compression for probabilistic reachability
• Model Checking Software
• Boosting Lazy Abstraction for SystemC with Partial Order Reduction
• From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
• Partial order and contextual net semantics for atomic and locally atomic CC programs
• An overview of the decentralized reconfiguration language Concerto-D through its Maude formalization

Describes a project that uses

Uses Software

• Maude
• JavaFAN
• veriSoft

This page was built for publication: Partial order reduction for rewriting semantics of programming languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2873775)