Language Strength Reduction

DOI10.1007/978-3-540-69166-2_19MaRDI QIDQ3522077zbMATH OpenOpenAlexFDO

Authors Nicholas Kidd, Akash Lal, Thomas Reps

Publication date 28 August 2008

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69166-2_19

Mathematics Subject Classification ID

Theory of programming languages (68N15) Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2242693
• Global serializability of concurrent programs
• Meta-analysis for Atomicity Violations under Nested Locking

Cites work

• A generic approach to the static analysis of concurrent programs with procedures
• Adding Nesting Structure to Words
• Associating synchronization constraints with data in an object-oriented language
• Computer Aided Verification
• Tools and Algorithms for the Construction and Analysis of Systems
• Visibly pushdown languages
• Weighted pushdown systems and their application to interprocedural dataflow analysis

Cited in

(2)

• Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
• scientific article; zbMATH DE number 2242693 (Why is no real title available?)

This page was built for publication: Language Strength Reduction

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