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 | ||
| ||
Construction and evolution of code generators : a model-driven and service-oriented approach / / Sven Jorges
| Construction and evolution of code generators : a model-driven and service-oriented approach / / Sven Jorges |
| Autore | Jorges Sven |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2013 |
| Descrizione fisica | 1 online resource (XXIV, 246 p. 75 illus.) |
| Disciplina | 005.4/5 |
| Collana |
Lecture notes in computer science
LNCS sublibrary |
| Soggetto topico |
Code generators
Generators (Computer programs) |
| ISBN | 3-642-36126-9 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The state of the art in code generation -- Extreme model-driven development and jABC -- The Genesys framework -- Code generators for jABC -- Verification and validation of code generators -- Domain-specific code generators for EMF -- Service-oriented combination of code generation frameworks. |
| Record Nr. | UNINA-9910484113903321 |
Jorges Sven
|
||
| Berlin ; ; New York, : Springer, c2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Construction and Evolution of Code Generators [[electronic resource] ] : A Model-Driven and Service-Oriented Approach / / edited by Sven Jörges
| Construction and Evolution of Code Generators [[electronic resource] ] : A Model-Driven and Service-Oriented Approach / / edited by Sven Jörges |
| Autore | Jörges Sven |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXIV, 246 p. 75 illus.) |
| Disciplina | 005.4/5 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Application software Programming Languages, Compilers, Interpreters Software Engineering Computer Appl. in Administrative Data Processing |
| ISBN | 3-642-36126-9 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The state of the art in code generation -- Extreme model-driven development and jABC -- The Genesys framework -- Code generators for jABC -- Verification and validation of code generators -- Domain-specific code generators for EMF -- Service-oriented combination of code generation frameworks. |
| Record Nr. | UNISA-996466271003316 |
|
Jörges Sven
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
International Symposium on Code Generation and Optimization : CGO 2005 : 20-23 March, 2005 : San Jose, California
| International Symposium on Code Generation and Optimization : CGO 2005 : 20-23 March, 2005 : San Jose, California |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 2005 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.4/5 |
| Collana | ACM Conferences. |
| Soggetto topico |
Code generators
Compilers (Computer programs) Computer Science Engineering & Applied Sciences |
| ISBN | 1-5386-0188-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | CGO '05 |
| Record Nr. | UNISA-996202254603316 |
| [Place of publication not identified] : , : IEEE, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
International Symposium on Code Generation and Optimization : CGO 2005 : 20-23 March, 2005 : San Jose, California
| International Symposium on Code Generation and Optimization : CGO 2005 : 20-23 March, 2005 : San Jose, California |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 2005 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.4/5 |
| Collana | ACM Conferences. |
| Soggetto topico |
Code generators
Compilers (Computer programs) Computer Science Engineering & Applied Sciences |
| ISBN | 1-5386-0188-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | CGO '05 |
| Record Nr. | UNINA-9910146499403321 |
| [Place of publication not identified] : , : IEEE, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||