scientific article; zbMATH DE number 5954655

zbMATH Open1255.68009MaRDI QIDQ3172801FDOQ3172801

Peter Lammich

Publication date: 6 October 2011

Title of this publication is not available (Why is that?)

zbMATH Keywords

model checkingNP-completeparallel programsacqusition structuresdynamic pushdown networks with monitorslock-sensitive analysis

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (4)

• Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
• Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs
• Title not available (Why is that?)
• Computer Aided Verification

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Constraint-based inter-procedural analysis of parallel programs 👍 👎
• Precise interprocedural dependence analysis of parallel programs 👍 👎
• Title not available (Why is that?) 👍 👎
• Synchronization debugging of hybrid parallel programs 👍 👎
• Compositional Bitvector Analysis for Concurrent Programs with Nested Locks 👍 👎

This page was built for publication:

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