Compiler Construction [[electronic resource] ] : 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / / edited by Görel Hedin |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XI, 334 p.) |
Disciplina | 005.4/53 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer logic Mathematical logic Artificial intelligence Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
ISBN | 3-540-36579-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Register Allocation -- Combined Code Motion and Register Allocation Using the Value State Dependence Graph -- Early Control of Register Pressure for Software Pipelined Loops -- Register Allocation by Optimal Graph Coloring -- Language Constructs and Their Implementation -- A Compilation and Optimization Model for Aspect-Oriented Programs -- A Pattern Matching Compiler for Multiple Target Languages -- A New One-Pass Transformation into Monadic Normal Form -- Type Analysis -- Run-Time Type Checking for Binary Programs -- Precision in Practice: A Type-Preserving Java Compiler -- The MAGICA Type Inference Engine for MATLAB ® -- CC Invited Talk -- Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages -- Java -- Polyglot: An Extensible Compiler Framework for Java -- Scaling Java Points-to Analysis Using Spark -- Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences -- Integrating Generations with Advanced Reference Counting Garbage Collectors -- Pot Pourri -- The Interprocedural Express-Lane Transformation -- Automatic Detection of Uninitialized Variables -- Generalised Regular Parsers -- Rapid and Robust Compiler Construction Using Template-Based Metacompilation -- ETAPS Invited Talk -- The Verifying Compiler: A Grand Challenge for Computing Research -- Optimization -- Address Register Assignment for Reducing Code Size -- Offset Assignment Showdown: Evaluation of DSP Address Code Optimization Algorithms -- Integrating High-Level Optimizations in a Production Compiler: Design and Implementation Experience -- Improving Data Locality by Chunking. |
Record Nr. | UNISA-996465501203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Compiler Construction [[electronic resource] ] : 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / / edited by R. Niegel Horspool |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XII, 348 p.) |
Disciplina | 005.4/53 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Mathematical logic Software engineering Artificial intelligence Computer logic Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Software Engineering Artificial Intelligence Logics and Meanings of Programs |
ISBN | 3-540-45937-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Tool Demonstrations -- LISA: An Interactive Environment for Programming Language Development -- Building an Interpreter with Vmgen -- Compiler Construction Using LOTOS NT -- Analysis and Optimization -- Data Compression Transformations for Dynamically Allocated Data Structures -- Evaluating a Demand Driven Technique for Call Graph Construction -- A Graph—Free Approach to Data—Flow Analysis -- A Representation for Bit Section Based Analysis and Optimization -- Low-Level Analysis -- Online Subpath Profiling -- Precise Exception Semantics in Dynamic Compilation -- Decompiling Java Bytecode: Problems, Traps and Pitfalls -- Grammars and Parsing -- Forwarding in Attribute Grammars for Modular Language Design -- Disambiguation Filters for Scannerless Generalized LR Parsers -- Invited Talk -- Modular Static Program Analysis -- Domain-Specific Languages and Tools -- StreamIt: A Language for Streaming Applications -- Compiling Mercury to High-Level C Code -- CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs -- Energy Consumption Optimizations -- Linear Scan Register Allocation in the Context of SSA Form and Register Constraints -- Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation -- Optimizing Static Power Dissipation by Functional Units in Superscalar Processors -- Influence of Loop Optimizations on Energy Consumption of Multi-bank Memory Systems -- Loop and Array Optimizations -- Effective Enhancement of Loop Versioning in Java -- Value-Profile Guided Stride Prefetching for Irregular Code -- A Comprehensive Approach to Array Bounds Check Elimination for Java. |
Record Nr. | UNINA-9910143911103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Compiler Construction [[electronic resource] ] : 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / / edited by R. Niegel Horspool |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XII, 348 p.) |
Disciplina | 005.4/53 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Mathematical logic Software engineering Artificial intelligence Computer logic Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Software Engineering Artificial Intelligence Logics and Meanings of Programs |
ISBN | 3-540-45937-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Tool Demonstrations -- LISA: An Interactive Environment for Programming Language Development -- Building an Interpreter with Vmgen -- Compiler Construction Using LOTOS NT -- Analysis and Optimization -- Data Compression Transformations for Dynamically Allocated Data Structures -- Evaluating a Demand Driven Technique for Call Graph Construction -- A Graph—Free Approach to Data—Flow Analysis -- A Representation for Bit Section Based Analysis and Optimization -- Low-Level Analysis -- Online Subpath Profiling -- Precise Exception Semantics in Dynamic Compilation -- Decompiling Java Bytecode: Problems, Traps and Pitfalls -- Grammars and Parsing -- Forwarding in Attribute Grammars for Modular Language Design -- Disambiguation Filters for Scannerless Generalized LR Parsers -- Invited Talk -- Modular Static Program Analysis -- Domain-Specific Languages and Tools -- StreamIt: A Language for Streaming Applications -- Compiling Mercury to High-Level C Code -- CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs -- Energy Consumption Optimizations -- Linear Scan Register Allocation in the Context of SSA Form and Register Constraints -- Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation -- Optimizing Static Power Dissipation by Functional Units in Superscalar Processors -- Influence of Loop Optimizations on Energy Consumption of Multi-bank Memory Systems -- Loop and Array Optimizations -- Effective Enhancement of Loop Versioning in Java -- Value-Profile Guided Stride Prefetching for Irregular Code -- A Comprehensive Approach to Array Bounds Check Elimination for Java. |
Record Nr. | UNISA-996465546803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Compiler Construction [[electronic resource] ] : 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / / edited by David A. Watt |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (XII, 300 p.) |
Disciplina | 005.4/53 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Operating systems (Computers) Software engineering Mathematical logic Computer logic Programming Languages, Compilers, Interpreters Operating Systems Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs |
ISBN | 3-540-46423-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Shape Analysis -- Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? -- Pipelined Java Virtual Machine Interpreters -- Automatic Removal of Array Memory Leaks in Java -- A Static Study of Java Exceptions Using JESP -- Fast Escape Analysis and Stack Allocation for Object-Based Programs -- Constant Propagation on the Value Graph: Simple Constants and Beyond -- Simple Generation of Static Single-Assignment Form -- Demand-Driven Construction of Call Graphs -- A Framework for Loop Distribution on Limited On-Chip Memory Processors -- Techniques for Effectively Exploiting a Zero Overhead Loop Buffer -- Advanced Compiler Optimization for CalmRISC8 Low-End Embedded Processor -- Global Software Pipelining with Iteration Preselection -- Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations -- Advanced Scalarization of Array Syntax -- Techniques for Reducing the Overhead of Run-Time Parallelization -- MATOU: An Implementation of Mode-Automata -- Compiling Adaptive Programs by Partial Evaluation -- Functional Incremental Attribute Evaluation. |
Record Nr. | UNINA-9910143636003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Compiler Construction [[electronic resource] ] : 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / / edited by David A. Watt |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (XII, 300 p.) |
Disciplina | 005.4/53 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Operating systems (Computers) Software engineering Mathematical logic Computer logic Programming Languages, Compilers, Interpreters Operating Systems Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs |
ISBN | 3-540-46423-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Shape Analysis -- Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? -- Pipelined Java Virtual Machine Interpreters -- Automatic Removal of Array Memory Leaks in Java -- A Static Study of Java Exceptions Using JESP -- Fast Escape Analysis and Stack Allocation for Object-Based Programs -- Constant Propagation on the Value Graph: Simple Constants and Beyond -- Simple Generation of Static Single-Assignment Form -- Demand-Driven Construction of Call Graphs -- A Framework for Loop Distribution on Limited On-Chip Memory Processors -- Techniques for Effectively Exploiting a Zero Overhead Loop Buffer -- Advanced Compiler Optimization for CalmRISC8 Low-End Embedded Processor -- Global Software Pipelining with Iteration Preselection -- Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations -- Advanced Scalarization of Array Syntax -- Techniques for Reducing the Overhead of Run-Time Parallelization -- MATOU: An Implementation of Mode-Automata -- Compiling Adaptive Programs by Partial Evaluation -- Functional Incremental Attribute Evaluation. |
Record Nr. | UNISA-996465617103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Compiler Construction [[electronic resource] ] : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings / / edited by Kai Koskimies |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (X, 314 p.) |
Disciplina | 005.4/53 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Mathematical logic Software engineering Artificial intelligence Computer logic Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Software Engineering Artificial Intelligence Logics and Meanings of Programs |
ISBN | 3-540-69724-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Myths and facts about the efficient implementation of finite automata and lexical analysis -- Generalised recursive descent parsing and follow-determinism -- Analyzing direct non-local dependencies in attribute grammars -- Storage allocation strategies for recursive attribute evaluators -- Basic-block graphs: Living dinosaurs? -- Analysis of loops -- A new approach to control flow analysis -- Flow logics for constraint based analysis -- Extended SSA mumbering: Introducing SSA properties to languages with multi-level pointers -- Strength reduction via SSAPRE -- Detecting parallelism in C programs with recursive data structures -- Live range splitting in a graph coloring register allocator -- Challenges and opportunities visual programming languages bring to programming language research -- Local stack allocation -- A new fast algorithm for optimal register allocation in modulo scheduled loops -- A code motion framework for global instruction scheduling -- VLIW compilation techniques for superscalar architectures -- Issues in translating Smalltalk to Java -- Intermodular slicing of object-oriented programs -- Portable debugging and profiling -- The Eli system -- Lrc — a generator for incremental language-oriented tools -- An extended static checker for modula-3 -- Cool: A control-flow generator for system analysis. |
Record Nr. | UNINA-9910144914903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Compiler Construction [[electronic resource] ] : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings / / edited by Kai Koskimies |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (X, 314 p.) |
Disciplina | 005.4/53 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Mathematical logic Software engineering Artificial intelligence Computer logic Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Software Engineering Artificial Intelligence Logics and Meanings of Programs |
ISBN | 3-540-69724-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Myths and facts about the efficient implementation of finite automata and lexical analysis -- Generalised recursive descent parsing and follow-determinism -- Analyzing direct non-local dependencies in attribute grammars -- Storage allocation strategies for recursive attribute evaluators -- Basic-block graphs: Living dinosaurs? -- Analysis of loops -- A new approach to control flow analysis -- Flow logics for constraint based analysis -- Extended SSA mumbering: Introducing SSA properties to languages with multi-level pointers -- Strength reduction via SSAPRE -- Detecting parallelism in C programs with recursive data structures -- Live range splitting in a graph coloring register allocator -- Challenges and opportunities visual programming languages bring to programming language research -- Local stack allocation -- A new fast algorithm for optimal register allocation in modulo scheduled loops -- A code motion framework for global instruction scheduling -- VLIW compilation techniques for superscalar architectures -- Issues in translating Smalltalk to Java -- Intermodular slicing of object-oriented programs -- Portable debugging and profiling -- The Eli system -- Lrc — a generator for incremental language-oriented tools -- An extended static checker for modula-3 -- Cool: A control-flow generator for system analysis. |
Record Nr. | UNISA-996466086403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Compiler Construction [[electronic resource] ] : 6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings. / / edited by Tibor Gyimothy |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XII, 360 p.) |
Disciplina | 005.4/53 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Mathematical logic Software engineering Artificial intelligence Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Software Engineering Artificial Intelligence |
ISBN | 3-540-49939-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Pipelining-dovetailing: A transformation to enhance software pipelining for nested loops -- A comparison of modulo scheduling techniques for software pipelining -- Removing anti dependences by repairing -- Controlled Node Splitting -- Aggressive loop unrolling in a retargetable, optimizing compiler -- Generalized Constant Propagation a study in C -- Structuring decompiled graphs -- Non-monotone fixpoint iterations to resolve second order effects -- How to uniformly specify program analysis and transformation with graph rewrite systems -- Points-to analysis by type inference of programs with structures and unions -- Compiler construction: Craftsmanship or engineering? -- Code generation = A* + BURS -- A compiler for natural semantics -- Abstract compilation: A new implementation paradigm for static analysis -- Using partial evaluation in support of portability, reusability, and maintainability -- Incremental computation of static single assignment form -- Efficient storage reuse of aggregates in single assignment languages -- Effective representation of aliases and indirect memory operations in SSA form -- Maptool — supporting modular syntax development -- A faster Earley parser -- One-pass, optimal tree parsing — With or without trees -- Compact dispatch tables for dynamically typed object oriented languages -- Delegating compiler objects -- A parallel debugger with support for distributed arrays, multiple executables and dynamic processes. |
Record Nr. | UNISA-996465871003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Compiler Construction [[electronic resource] ] : 4th International Conference, CC '92, Paderborn, FRG, October 5-7, 1992. Proceedings / / edited by Uwe Kastens, Peter Pfahler |
Edizione | [1st ed. 1992.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
Descrizione fisica | 1 online resource (IX, 223 p.) |
Disciplina | 005.4/53 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Artificial intelligence Mathematical logic Programming Languages, Compilers, Interpreters Software Engineering Artificial Intelligence Mathematical Logic and Formal Languages |
ISBN | 3-540-47335-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Transformation of attributed trees using pattern matching -- Generating LR(1) parsers of small size -- Syntax directed translation with LR parsing -- Attribute-directed top-down parsing -- Another kind of modular attribute grammars -- Integrated graphic environment to develop applications based on attribute grammars -- Implementing high-level identification specifications -- Another solution of scoping problems in symbol tables -- Compiler implementation of ADTs using profile data -- The LDL — Language development laboratory -- Actress: An action semantics directed compiler generator -- Creation of a family of compilers and runtime environments by combining reusable components -- The interprocedural coincidence theorem -- Provably correct compiler development and implementation -- On interprocedural data flow analysis for object oriented languages -- Testing completeness of code selector specifications -- A register allocation framework based on hierarchical cyclic interval graphs -- Register pipelining: An integrated approach to register allocation for scalar and subscripted variables -- Instruction scheduling for complex pipelines -- Comparing software pipelining for an operation-triggered and a transport-triggered architecture -- Scheduling instructions by direct placement -- Compile-time analysis of object-oriented programs -- Partial evaluation of C and automatic compiler generation -- A term pattern-match compiler inspired by finite automata theory -- Improving the performance of parallel LISP by compile time analysis -- FCG: A code generator for lazy functional languages -- Compiling flang -- The implementation of objectmath — a high-level programming environment for scientific computing. |
Record Nr. | UNISA-996465504303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Eighth Workshop on Interaction between Compilers and Computer Architecture : proceedings : INTERACT-8, 15 February 2004, Madrid, Spain |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2004 |
Disciplina | 005.4/53 |
Soggetto topico |
Compilers (Computer programs)
Computer architecture Engineering & Applied Sciences Computer Science |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996214786103316 |
[Place of publication not identified], : IEEE Computer Society, 2004 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|