Local Nontermination Detection for Parallel C++ Programs

DOI10.1007/978-3-030-30446-1_20MaRDI QIDQ6488985zbMATH OpenFDO

Authors J. Barnat

Publication date 14 March 2024

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Non-termination Checking for Imperative Programs
• Efficient detection of determinacy races in cilk programs
• scientific article; zbMATH DE number 1091202
• Termination detection in parallel loop nests with while loops
• Proving non-termination

Cites work

• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Concurrent software verification with states, events, and deadlocks
• Markov Chains
• Symbolic computation via program transformation

This page was built for publication: Local Nontermination Detection for Parallel C++ Programs

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