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] ] : 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Compiler Construction : 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
| Compiler Construction : 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. | UNINA-9910143888003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Language Engineering [[electronic resource] ] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / / edited by Krzysztof Czarnecki, Görel Hedin
| Software Language Engineering [[electronic resource] ] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / / edited by Krzysztof Czarnecki, Görel Hedin |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 413 p. 172 illus.) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Mathematical logic Artificial intelligence Computer simulation Management information systems Computer science Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-642-36088-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Addressing Cognitive and Social Challenges in Designing and Using Ontologies in the Biomedical Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation -- Termination Analysis for Higher-Order Attribute Grammars -- Metamodelling for Grammarware Researchers -- Temporal Constraint Support for OCL -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model-to-Platform Transformations -- Model Transformation Co-evolution: A Semi-automatic Approach -- Guided Merging of Sequence Diagrams -- Bridging the Chasm between Executable Metamodeling and Models of Computation -- Grammatical Inference in Software Engineering: An Overview of the State of the Art -- Island Grammar-Based Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars -- TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design -- A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs -- Modular Well-Definedness Analysis for Attribute Grammars -- Meta-language Support for Type-Safe Access to External Resources -- Approaches and Tools for Implementing Type Systems in Xtext. |
| Record Nr. | UNISA-996465999203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Language Engineering : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / / edited by Krzysztof Czarnecki, Görel Hedin
| Software Language Engineering : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / / edited by Krzysztof Czarnecki, Görel Hedin |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 413 p. 172 illus.) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Mathematical logic Artificial intelligence Computer simulation Management information systems Computer science Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-642-36088-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Addressing Cognitive and Social Challenges in Designing and Using Ontologies in the Biomedical Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation -- Termination Analysis for Higher-Order Attribute Grammars -- Metamodelling for Grammarware Researchers -- Temporal Constraint Support for OCL -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model-to-Platform Transformations -- Model Transformation Co-evolution: A Semi-automatic Approach -- Guided Merging of Sequence Diagrams -- Bridging the Chasm between Executable Metamodeling and Models of Computation -- Grammatical Inference in Software Engineering: An Overview of the State of the Art -- Island Grammar-Based Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars -- TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design -- A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs -- Modular Well-Definedness Analysis for Attribute Grammars -- Meta-language Support for Type-Safe Access to External Resources -- Approaches and Tools for Implementing Type Systems in Xtext. |
| Record Nr. | UNINA-9910484606403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||