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.
Generative Programming and Component Engineering : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings / / edited by Robert Glück, Michael Lowry
| Generative Programming and Component Engineering : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings / / edited by Robert Glück, Michael Lowry |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 452 p.) |
| Disciplina | 005.1/1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Compilers (Computer programs) Electronic data processing - Management Information technology - Management Software Engineering Programming Techniques Compilers and Interpreters IT Operations Computer Application in Administrative Data Processing |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Object-Oriented Reengineering Patterns — An Overview -- abc: The AspectBench Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative Programming Approach to Developing DSL Compilers -- Efficient Code Generation for a Domain Specific Language -- On Domain-Specific Languages Reengineering -- Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language -- Aspect-Oriented Programming -- AOP++: A Generic Aspect-Oriented Programming Framework in C++ -- Model Compiler Construction Based on Aspect-Oriented Mechanisms -- FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming -- Shadow Programming: Reasoning About Programs Using Lexical Join Point Information -- Meta-programming and Transformation -- Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax -- A Versatile Kernel for Multi-language AOP -- Semi-inversion of Guarded Equations -- Generative Techniques I -- A Generative Programming Approach to Interactive Information Retrieval:Insights and Experiences -- Optimizing Marshalling by Run-Time Program Generation -- Applying a Generative Technique for Enhanced Genericity and Maintainability on the J2EE Platform -- Multi-stage Programming -- Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code -- Implicitly Heterogeneous Multi-stage Programming -- Generative Techniques II -- Source-Level Optimization of Run-Time Program Generators -- Statically Safe Program Generation with SafeGen -- A Type System for Reflective Program Generators -- Sorting Out the Relationships Between Pairs of Iterators, Values, and References -- Components and Templates -- Preprocessing Eden with Template Haskell -- Syntactic Abstraction in Component Interfaces -- Component-Oriented Programming with Sharing: Containment is Not Ownership -- Generic Programming -- Language Requirements for Large-Scale Generic Libraries -- Mapping Features to Models: A Template Approach Based on Superimposed Variants -- Demonstrations -- Developing Dynamic and Adaptable Applications with CAM/DAOP: A Virtual Office Application -- Metamodeling Made Easy – MetaEdit+ (Tool Demonstration). |
| Altri titoli varianti | GPCE'05 |
| Record Nr. | UNISA-996465869903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Partial Evaluation [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers / / edited by Olivier Danvy, Robert Glück, Peter Thiemann
| Partial Evaluation [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers / / edited by Olivier Danvy, Robert Glück, Peter Thiemann |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XII, 520 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Programming Techniques Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-70589-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An automatic interprocedural analysis for the understanding of scientific application programs -- Practical aspects of specialization of Algol-like programs -- Synchronization analyses for multiple recursion parameters -- A uniform approach for compile-time and run-time specialization -- Pragmatics of type-directed partial evaluation -- Compiler generation for interactive graphics using intermediate code -- Regular approximation of computation paths in logic and functional languages -- A roadmap to metacomputation by supercompilation -- Reasoning about hierarchies of online program specialization systems -- Type specialisation for the ?-calculus; or, a new paradigm for partial evaluation based on type inference -- What not to do when writing an interpreter for specialisation -- Efficiently generating efficient generating extensions in prolog -- Global control for partial deduction through characteristic atoms and global trees -- Squeezing intermediate construction in equational programs -- Evolution of partial evaluators: Removing inherited limits -- A Self-Applicable supercompiler -- Multi-Level Lambda-Calculi: An algebraic description -- A comparative revisitation of some program transformation techniques -- A theory of logic program specialization and generalization for dealing with input data properties -- Program specialization via program slicing -- Specialization of imperative programs through analysis of relational expressions -- ML pattern match compilation and partial evaluation -- Self-applicable online partial evaluation -- Metacomputation: Metasystem transitions plus supercompilation. |
| Record Nr. | UNISA-996465629103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reversible Computation [[electronic resource] ] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers / / edited by Robert Glück, Tetsuo Yokoyama
| Reversible Computation [[electronic resource] ] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers / / edited by Robert Glück, Tetsuo Yokoyama |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 241 p. 70 illus.) |
| Disciplina | 005.101/5113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Logic design
Computer logic Computers Algorithms Software engineering Logic Design Logics and Meanings of Programs Computation by Abstract Devices Algorithm Analysis and Problem Complexity Software Engineering |
| ISBN | 3-642-36314-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theoretical Considerations -- Tutorial: Graphical Calculus for Quantum Circuits -- One-Way Reversible Multi-head Finite Automata -- A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads -- Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically Reversible Abstract Machines -- Synthesizing Loops for Program Inversion -- Frugal Encoding in Reversible MOQA: A Case Study for Quicksort -- Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots -- Reversible and Quantum Circuits -- Reversible and Quantum Circuit Optimization: A Functional Approach -- Properties of Quantum Templates -- Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits -- Design of an Online Testable Ternary Circuit from the Truth Table -- Physical Realizations and Design Garbageless Reversible Implementation of Integer Linear Transformations -- Garbage-Free Reversible Integer Multiplication with Constants of the Form 2k ± 2l ± 1 -- Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams -- Using πDDs in the Design of Reversible Circuits (Work-In-Progress) -- Distributed Systems -- A Verification Technique for Reversible Process Algebra -- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway -- Controlled Reversibility and Compensations. |
| Record Nr. | UNISA-996466269103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||