Analysis of recursively parallel programs
DOI10.1145/2103656.2103681zbMATH Open1321.68184OpenAlexW4214858758MaRDI QIDQ2942873FDOQ2942873
Authors: Ahmed Bouajjani, Michael Emmi 
Publication date: 11 September 2015
Published in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.2508
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
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)
Cited In (16)
- Nonelementary complexities for branching VASS, MELL, and extensions
- On functions weakly computable by pushdown Petri nets and related systems
- Precise interprocedural dependence analysis of parallel programs
- Automated synthesis of asynchronizations
- Hardness results for coverability problem of well-structured pushdown systems
- On frequency analysis of sequential program code execution
- Title not available (Why is that?)
- Decidable models of integer-manipulating programs with recursive parallelism
- Decidable models of integer-manipulating programs with recursive parallelism
- Parallel program analysis via range splitting
- Title not available (Why is that?)
- Title not available (Why is that?)
- Data flow analysis of asynchronous systems using infinite abstract domains
- Analyzing pushdown systems with stack manipulation
- Deadlock detection in linear recursive programs
- CONCUR 2005 – Concurrency Theory
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)
