Semantical Analyses Dependence Analyses Program
نویسندگان
چکیده
Pips is an experimental tool to implement and evaluate various inter-procedural compilation, parallelization, analysis and optimization techniques. This paper focuses on the workbench used to build these compilers. It includes the management of data structures, of dependences between the various analysis and transformation phases, and the mathematical libraries used to implement some of the most advanced analyses.
منابع مشابه
Non-standard type inference for functional programs
We propose a general framework for “non-standard type inference based” static analyses of typed functional programs and study inference systems (with and without conjunction) for strictness, totality, and dead-code analyses. A key feature of our framework is that it provides a foundation of the program analyses which is based directly on the operational semantics of the programming language con...
متن کاملSemantical Equivalence of the Control Flow Graph and the Program Dependence Graph
The program dependence graph (PDG) represents data and control dependence between statements in a program. This paper presents an operational semantics of program dependence graphs. Since PDGs exclude artificial order of statements that resides in sequential programs, executions of PDGs are not unique. However, we identified a class of PDGs that have unique final states of executions, called de...
متن کاملPrediction of Risky Behaviors Based on Concurrency of Alcohol Abuse and Opiate Dependence in Patients Treated in Methadone Maintenance Program: North Khorasan Addiction Study
Background: High prevalence of risky behaviors in alcohol dependents have been shown in several studies, but correlation between alcohol abuse and risky behaviors and relapse in patients with opiate dependence has been less investigated. This study aimed to determine the effect of alcohol abuse in rate of risk-taking behaviors in opiate dependents patients treated on maintenance program in Nort...
متن کاملControl Dependencies in Interpretive Systems
Interpreters and just-in-time (JIT) compilers are ubiquitous in modern computer systems, making it important to have good program analyses for reasoning about such systems. Control dependence, which plays a fundamental role in a number of program analyses, is an important contender in this regard. Existing algorithms for (dynamic) control dependence analysis do not take into account some import...
متن کاملLinguistic Facts as Predicates over Ranges of the Sentence
This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not limited to, ranges of the current sentence. Such an approch allows to build non-linear analyses with a polynomial parsing complexity that take into account simultaneously and with the same technical status morphological, syntacti...
متن کامل