Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Optimal interprocedural program optimization : a new framework and its application / / Jens Knoop
| Optimal interprocedural program optimization : a new framework and its application / / Jens Knoop |
| Autore | Knoop Jens |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (XXV, 288 p.) |
| Disciplina | 001.642 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Computer algorithms |
| ISBN | 3-540-49639-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Preface -- The Intraprocedural Framework -- Optimal Intraprocedural Code Motion: The Transformations -- Optimal Intraprocedural Code Motion: The DFA-Algorithms -- The Framework -- The Programming Language -- Higher Order Data Flow Analysis -- The Interprocedural Setting -- Interprocedural Abstract Interpretation -- A Cookbook for Optimal Interprocedural Program Optimization -- The Application -- Optimal Interprocedural Code Motion: The Transformations -- Optimal Interprocedural Code Motion: The IDFA-Algorithms -- Conclusion -- Perspectives. |
| Record Nr. | UNINA-9910143504003321 |
Knoop Jens
|
||
| Berlin ; ; Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Optimal interprocedural program optimization : a new framework and its application / / Jens Knoop
| Optimal interprocedural program optimization : a new framework and its application / / Jens Knoop |
| Autore | Knoop Jens |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (XXV, 288 p.) |
| Disciplina | 001.642 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Computer algorithms |
| ISBN | 3-540-49639-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Preface -- The Intraprocedural Framework -- Optimal Intraprocedural Code Motion: The Transformations -- Optimal Intraprocedural Code Motion: The DFA-Algorithms -- The Framework -- The Programming Language -- Higher Order Data Flow Analysis -- The Interprocedural Setting -- Interprocedural Abstract Interpretation -- A Cookbook for Optimal Interprocedural Program Optimization -- The Application -- Optimal Interprocedural Code Motion: The Transformations -- Optimal Interprocedural Code Motion: The IDFA-Algorithms -- Conclusion -- Perspectives. |
| Record Nr. | UNISA-996466110903316 |
|
Knoop Jens
|
||
| Berlin ; ; Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 2018 International Symposium on Code Generation and Optimization / / Jens Knoop [and three others] ; Association for Computing Machinery-Digital Library, contributor
| Proceedings of the 2018 International Symposium on Code Generation and Optimization / / Jens Knoop [and three others] ; Association for Computing Machinery-Digital Library, contributor |
| Autore | Knoop Jens |
| Pubbl/distr/stampa | New York, NY, USA : , : ACM, , 2018 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.453 |
| Collana | ACM Conferences |
| Soggetto topico | Compilers (Computer programs) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910376297703321 |
|
Knoop Jens
|
||
| New York, NY, USA : , : ACM, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation
| Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation |
| Autore | Knoop Jens |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2002 |
| Descrizione fisica | 1 online resource (328 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the Association for Computing Machinery Special Interest Group on Programming Languages 2002 Conference on Programming Language Design and Implementation
PLDI '02 ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, Berlin, Germany - June 17 - 19, 2002 |
| Record Nr. | UNINA-9910376226503321 |
|
Knoop Jens
|
||
| [Place of publication not identified], : ACM, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the first Workshop on Cryptography and Security in Computing Systems : CS2 2014
| Proceedings of the first Workshop on Cryptography and Security in Computing Systems : CS2 2014 |
| Autore | Knoop Jens |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (56 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2484-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
CS2
Cryptography and Security in Computing Systems, Vienna, Austria - January 20 - 20, 2014 |
| Record Nr. | UNINA-9910376390203321 |
|
Knoop Jens
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||