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.
Compiler Construction [[electronic resource] ] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings / / edited by Alan Mycroft, Andreas Zeller
| Compiler Construction [[electronic resource] ] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings / / edited by Alan Mycroft, Andreas Zeller |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIII, 277 p.) |
| Disciplina | 005.4/5 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Operating systems (Computers) Machine theory Software engineering Artificial intelligence Computer Science Logic and Foundations of Programming Compilers and Interpreters Operating Systems Formal Languages and Automata Theory Software Engineering Artificial Intelligence |
| ISBN | 3-540-33051-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program Analysis -- Interprocedural Dataflow Analysis in the Presence of Large Libraries -- Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers -- Path-Based Reuse Distance Analysis -- Context-Sensitive Points-to Analysis: Is It Worth It? -- Dynamic Analysis -- Selective Runtime Memory Disambiguation in a Dynamic Binary Translator -- Accurately Choosing Execution Runs for Software Fault Localization -- Tool Demonstrations -- Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork -- Data-Flow Analysis as Model Checking Within the jABC -- The CGiS Compiler—A Tool Demonstration -- Optimization -- Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode -- Hybrid Optimizations: Which Optimization Algorithm to Use? -- A Fresh Look at PRE as a Maximum Flow Problem -- Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations’ Perspective -- Code Generation -- Lightweight Lexical Closures for Legitimate Execution Stack Access -- Polyhedral Code Generation in the Real World -- Iterative Collective Loop Fusion -- Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions -- Register Allocation -- SARA: Combining Stack Allocation and Register Allocation -- Register Allocation for Programs in SSA-Form -- Enhanced Bitwidth-Aware Register Allocation. |
| Record Nr. | UNISA-996465799803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Compiler construction : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings / / Alan Mycroft, Andreas Zeller (eds.)
| Compiler construction : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings / / Alan Mycroft, Andreas Zeller (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2006 |
| Descrizione fisica | 1 online resource (XIII, 277 p.) |
| Disciplina | 005.4/5 |
| Altri autori (Persone) |
MycroftAlan
ZellerAndreas |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico | Compilers (Computer programs) |
| ISBN | 3-540-33051-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program Analysis -- Interprocedural Dataflow Analysis in the Presence of Large Libraries -- Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers -- Path-Based Reuse Distance Analysis -- Context-Sensitive Points-to Analysis: Is It Worth It? -- Dynamic Analysis -- Selective Runtime Memory Disambiguation in a Dynamic Binary Translator -- Accurately Choosing Execution Runs for Software Fault Localization -- Tool Demonstrations -- Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork -- Data-Flow Analysis as Model Checking Within the jABC -- The CGiS Compiler—A Tool Demonstration -- Optimization -- Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode -- Hybrid Optimizations: Which Optimization Algorithm to Use? -- A Fresh Look at PRE as a Maximum Flow Problem -- Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations’ Perspective -- Code Generation -- Lightweight Lexical Closures for Legitimate Execution Stack Access -- Polyhedral Code Generation in the Real World -- Iterative Collective Loop Fusion -- Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions -- Register Allocation -- SARA: Combining Stack Allocation and Register Allocation -- Register Allocation for Programs in SSA-Form -- Enhanced Bitwidth-Aware Register Allocation. |
| Altri titoli varianti |
CC 2006
ETAPS 2006 Joint European Conferences on Theory and Practice of Software |
| Record Nr. | UNINA-9910484099903321 |
| Berlin ; ; New York, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hardware and Software: Verification and Testing [[electronic resource] ] : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / / edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv
| Hardware and Software: Verification and Testing [[electronic resource] ] : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / / edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 169 p.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| Soggetto genere / forma | Kongress. |
| ISBN | 3-642-19237-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466046603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ISSTA '16 : proceedings of the 25th International Symposium on Software Testing and Analysis : July 18-20, 2016, Saarbrücken, Germany / / edited by Andreas Zeller and Abhik Roychoudhury ; sponsored by ACM SIGSOFT
| ISSTA '16 : proceedings of the 25th International Symposium on Software Testing and Analysis : July 18-20, 2016, Saarbrücken, Germany / / edited by Andreas Zeller and Abhik Roychoudhury ; sponsored by ACM SIGSOFT |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (452 pages) |
| Disciplina | 005.14 |
| Soggetto topico |
Computer software - Testing
Computer software - Evaluation |
| ISBN | 1-4503-4390-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
International Symposium on Software Testing and Analysis 2016
Proceedings of the 25th International Symposium on Software Testing and Analysis |
| Record Nr. | UNINA-9910376338603321 |
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||