Analysis of recursively parallel programs
From MaRDI portal
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Analysis of algorithms and problem complexity (68Q25)
Recommendations
- scientific article; zbMATH DE number 4020458
- scientific article; zbMATH DE number 836096
- scientific article; zbMATH DE number 1231560
- Parallel functions in recursive program schemes
- Compiler-based tools for analyzing parallel programs
- COMPILE-TIME ANALYSIS AND OPTIMIZATION OF EXPLICITLY PARALLEL PROGRAMS*
- scientific article; zbMATH DE number 1728436
Cited in
(15)- Analyzing pushdown systems with stack manipulation
- Precise interprocedural dependence analysis of parallel programs
- Data flow analysis of asynchronous systems using infinite abstract domains
- scientific article; zbMATH DE number 4020458 (Why is no real title available?)
- scientific article; zbMATH DE number 1231560 (Why is no real title available?)
- Deadlock detection in linear recursive programs
- On functions weakly computable by pushdown Petri nets and related systems
- Hardness results for coverability problem of well-structured pushdown systems
- Reachability for bounded branching VASS
- CONCUR 2005 – Concurrency Theory
- Decidable models of integer-manipulating programs with recursive parallelism
- Decidable models of integer-manipulating programs with recursive parallelism
- Automated synthesis of asynchronizations
- Parallel program analysis via range splitting
- On frequency analysis of sequential program code execution
This page was built for publication: Analysis of recursively parallel programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2942873)
