Local Nontermination Detection for Parallel C++ Programs

DOI10.1007/978-3-030-30446-1_20MaRDI QIDQ6488985FDOQ6488985

Authors: J. Barnat 

Publication date: 14 March 2024

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

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)

Cites Work

• Markov Chains
• Title not available (Why is that?)
• Concurrent software verification with states, events, and deadlocks
• 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)