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 | ||
![]() | ||
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.) |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Static Analysis [[electronic resource] ] : Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings / / edited by Alan Mycroft |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (IX, 431 p.) |
Disciplina | 005.1/31 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computers Computer programming Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Theory of Computation Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-45050-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Natural-semantics-based abstract interpretation (preliminary version) -- Region inference for higher-order functional languages -- An automata-theoretic approach to Presburger arithmetic constraints -- Generation of efficient interprocedural analyzers with PAG -- Optimality in abstractions of model checking -- Determining storage properties of sequential and concurrent programs with assignment and structured data -- Partitioning non-strict functional languages for multi-threaded code generation -- Complementation in abstract interpretation -- Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time -- Optimizing lazy functional programs using flow inference -- Termination analysis for functional programs using term orderings -- A type-based analysis for stack allocation in functional languages -- Control-flow analysis and type systems -- Effective flow analysis for avoiding run-time checks -- Static analysis of communication for asynchronous concurrent programming languages -- Unification-free execution of well-moded and well-typed Prolog programs -- Efficient closure utilisation by higher-order inheritance analysis -- System F and abstract interpretation -- Call-by-name CPS-translation as a binding-time improvement -- Trust in the ?-calculus -- LSign reordered -- Strictness analysis by abstract reduction using a tableau calculus -- Bigloo: a portable and optimizing compiler for strict functional languages -- Beyond prototype implementations: Polymorphic projection analysis for Glasgow Haskell -- Binding-time analysis and strictness analysis by abstract interpretation -- GENA — A tool for generating Prolog analyzers from specifications -- IGOR: A tool for developing Prolog dataflow analyzers. |
Record Nr. | UNISA-996466105303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|