Analysis of recursively parallel programs
From MaRDI portal
Publication:2942873
Analysis of algorithms and problem complexity (68Q25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Recommendations
- scientific article; zbMATH DE number 4020458
- Publication:4861483
- 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)- scientific article; zbMATH DE number 4020458 (Why is no real title available?)
- Decidable models of integer-manipulating programs with recursive parallelism
- On frequency analysis of sequential program code execution
- Automated synthesis of asynchronizations
- Parallel program analysis via range splitting
- scientific article; zbMATH DE number 1231560 (Why is no real title available?)
- scientific article; zbMATH DE number 7649936 (Why is no real title available?)
- Hardness results for coverability problem of well-structured pushdown systems
- On functions weakly computable by pushdown Petri nets and related systems
- Data flow analysis of asynchronous systems using infinite abstract domains
- Decidable models of integer-manipulating programs with recursive parallelism
- Precise interprocedural dependence analysis of parallel programs
- CONCUR 2005 – Concurrency Theory
- Deadlock detection in linear recursive programs
- Analyzing pushdown systems with stack manipulation
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)
