| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990008554200403321 |
|
|
Autore |
De Feo, Italo <1912-1985> |
|
|
Titolo |
Giovanna d'Angio : regina di Napoli / Italo de Feo |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Napoli : F. Fiorentino, (stampa 1968) (, stampa 1968) |
|
|
|
|
|
|
|
Descrizione fisica |
|
275 p., [8] c. di tav. : ill ; 22 cm |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910483044603321 |
|
|
Titolo |
Compiler Construction : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Koen De Bosschere, Ranjit Jhala |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVIII, 265 p. 96 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 7791 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Compilers (Computer programs) |
Software engineering |
Operating systems (Computers) |
Compilers and Interpreters |
Software Engineering |
Operating Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation in Polynomial Time -- Optimal and Heuristic Global Code Motion for Minimal Spilling -- Efficient and Effective Handling of Exceptions in Java Points-to Analysis -- An Incremental Points-to Analysis with CFL-Reachability -- FESA: Fold- and Expand-Based Shape Analysis -- Simple and Efficient Construction of Static Single Assignment Form -- PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language -- Architecture-Independent Dynamic Information Flow Tracking -- On the Determination of Inlining Vectors for Program Optimization -- Automatic Generation of Program Affinity Policies Using Machine Learning -- Compiler-Guided Identification of Critical Sections in Parallel Code -- Refactoring MATLAB -- On LR Parsing with Selective Delays. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 22nd International Conference on Compiler Construction, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 13 papers presented in this book were carefully reviewed and selected from 53 submissions. They have been organized into five topical sections on register allocation, pointer analysis, data and information flow, machine learning, and refactoring. |
|
|
|
|
|
|
|
| |