| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990002626870403321 |
|
|
Autore |
Webster, Richard Allen |
|
|
Titolo |
L' imperialismo industriale italiano, 1908-1915 : studio sul prefascismo / Richard A. Webster ; traduzione di Mariangela Chiabrando |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Biblioteca di cultura storica ; 125 |
|
|
|
|
|
|
Locazione |
|
ECA |
FSPBC |
DECTS |
DDCP |
SES |
DTE |
DECSE |
DFD |
FLFBC |
|
|
|
|
|
|
|
|
Collocazione |
|
0-8-38-TI |
COLLEZ. 77 (125) |
N7.127 |
21-DA-19 |
E/4.3 WEB |
XV F2 42 |
N03.719 |
SE 084.03.19 |
SE 089.04.30 |
XI ES W 1 |
330.945 WEBS 01 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910768173503321 |
|
|
Autore |
Mùˆller-Olm Markus |
|
|
Titolo |
Variations on constants : flow analysis of sequential and parallel programs / / Markus Muller-Olm |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; New York, : Springer, 2006 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2006.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 177 p.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science, , 0302-9743 ; ; 3800 |
LNCS sublibrary. SL 2, Programming and software engineering |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Parallel programming (Computer science) |
Sequential processing (Computer science) |
Mathematical constants |
Variables (Mathematics) |
Computer programs - Correctness |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
1. Introduction -- 2. A Hierarchy of Constants -- 3. Deciding Constants by Effective Weakest Preconditions -- 4. Limits of Parallel Flow Analysis -- 5. Parallel Flow Graphs -- 6. Non-atomic Execution -- 7. Dependence Traces -- 8. Detecting Copy Constants and Eliminating Faint Code -- 9. Complexity in the Non-atomic Scenario -- 10. Conclusion -- A. A Primer on Constraint-Based Program Analysis. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing for efficient execution such as in optimizing compilers. Optimal program analysis provides a guarantee about the precision of the computed results. This monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem. In order to come to grips with the variants considered, it combines techniques from different areas such as linear algebra, computable ring theory, abstract interpretation, |
|
|
|
|
|
|
|
|
|
|
program verification, complexity theory, etc. Combination of techniques is the key to further progress in automatic analysis and constant-propagation allows us to illustrate this point in a theoretical study. After a general overview, the monograph consists of three essentially self-contained parts that can be read independently of each other. These parts study: a hierarchy of constants in sequential programs, inherent limits of flow analysis of parallel programs, and how to overcome these limits by abandoning a classic atomic execution assumption. |
|
|
|
|
|
| |