Language Strength Reduction

DOI10.1007/978-3-540-69166-2_19zbMath1149.68353OpenAlexW1518599394MaRDI QIDQ3522077

Nicholas Kidd, Akash Lal, Thomas W. 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

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

Related Items (1)

Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation

Cites Work

• Weighted pushdown systems and their application to interprocedural dataflow analysis
• A generic approach to the static analysis of concurrent programs with procedures
• Visibly pushdown languages
• 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

This page was built for publication: Language Strength Reduction