An algebraic approach to the static analysis of concurrent software

DOI10.1007/3-540-45789-5_3MaRDI QIDQ4411946zbMATH OpenFDO

Authors Javier Esparza

Publication date 13 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2477/24770003.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computing methodologies and applications (68U99)

Recommendations

• A Generic Approach to the Static Analysis of Concurrent Programs with Procedures
• A generic approach to the static analysis of concurrent programs with procedures
• CONCUR 2005 – Concurrency Theory
• Algebraic program analysis
• Modular static program analysis

Cited in

(15)

• A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
• A generic approach to the static analysis of concurrent programs with procedures
• scientific article; zbMATH DE number 6613247 (Why is no real title available?)
• Static Analysis of Concurrent Programs Using Ordinary Differential Equations
• scientific article; zbMATH DE number 1107559 (Why is no real title available?)
• Quasar: A new tool for concurrent Ada programs analysis
• Recent progress in program analysis
• Approximating the algebraic relational semantics of imperative programs
• A Generic Approach to the Static Analysis of Concurrent Programs with Procedures
• Static analysis by abstract interpretation of the quasi-synchronous composition of synchronous programs
• CONCUR 2005 – Concurrency Theory
• Process-local static analysis of synchronous processes
• An algorithm for analyzing communicating processes
• A consistency analysis of a class of concurrent transient implicit/explicit algorithms
• Algebraic program analysis

Describes a project that uses

Uses Software

• SLAM
• jMoped

This page was built for publication: An algebraic approach to the static analysis of concurrent software

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