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.
Formal Modeling: Actors; Open Systems, Biological Systems [[electronic resource] ] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / / edited by Gul Agha, Olivier Danvy, José Meseguer
| Formal Modeling: Actors; Open Systems, Biological Systems [[electronic resource] ] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / / edited by Gul Agha, Olivier Danvy, José Meseguer |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XX, 447 p.) |
| Disciplina | 004.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques Mathematical Logic and Formal Languages |
| ISBN | 3-642-24933-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Two PhD Students for the Price of One -- Honoring Carolyn Talcott’s Contributions to Science -- Ten Years of Analyzing Actors: Rebeca Experience -- Mathematical Models of Object-Based Distributed Systems -- From Explicit to Symbolic Types for Communication Protocols in CCS -- Abstract LR-Parsing -- Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision -- Model Feasible Interactions in Distributed Real-Time Systems -- Puff, The Magic Protocol -- A Formal Methodology for Compositional Cross-Layer Optimization -- From Service Identification to Service Selection: An Interleaved Perspective -- Towards a System Model for Ensembles -- Algorithmic Aspects of Risk Management -- Parameterized Metareasoning in Membership Equational Logic -- Fast Sort Computations for Order-Sorted Matching and Unification -- Solving the First Verified Software Competition Problems Using PVS -- Towards a Maude Formal Environment -- Multisimulations: Towards Next Generation Integrated Simulation Environments -- Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude -- Computational Biology: A Programming Perspective -- Applications of Pathway Logic Modeling to Target Identification. |
| Record Nr. | UNISA-996465956203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| 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 | ||
| ||
Proceedings of the 2012 annual Workshop on Scheme and Functional Programming : September 2012, Copenhagen, Denmark
| Proceedings of the 2012 annual Workshop on Scheme and Functional Programming : September 2012, Copenhagen, Denmark |
| Autore | Danvy Olivier |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2012 |
| Descrizione fisica | 1 online resource (99 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-1895-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Proceedings of the 2012 annual Workshop on Scheme and Functional Programming |
| Record Nr. | UNINA-9910375740103321 |
Danvy Olivier
|
||
| [Place of publication not identified], : ACM, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programs as Data Objects [[electronic resource] ] : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings / / edited by Olivier Danvy, Andrzej Filinski
| Programs as Data Objects [[electronic resource] ] : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings / / edited by Olivier Danvy, Andrzej Filinski |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (X, 286 p.) |
| Disciplina | 005.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Data structures (Computer science) Application software Programming languages (Electronic computers) Mathematical logic Software engineering Logics and Meanings of Programs Data Structures and Information Theory Computer Applications Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Software Engineering |
| ISBN | 3-540-44978-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Opening Talk -- Program Analysis for Implicit Computational Complexity -- Contributed Papers -- Deriving Pre-conditions for Array Bound Check Elimination -- Type Systems for Useless-Variable Elimination -- Boolean Constraints for Binding-Time Analysis -- Constraint Abstractions -- Implementing Circularity Using Partial Evaluation -- Combining Forward And Backward Analyses of Temporal Properties -- Numerical Power Analysis -- Run-Time Bytecode Specialization -- A New Numerical Abstract Domain Based on Difference-Bound Matrices -- Partial Evaluation for Class-Based Object-Oriented Languages -- Driving in the Jungle -- Higher-Order Pattern Matching for Automatically Applying Fusion Transformations -- Dynamic Partial Evaluation -- Tag Elimination and Jones-Optimality -- Invited Closing Talk -- Bottom-Up Deduction with Deletion and Priorities. |
| Record Nr. | UNISA-996466169503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programs as Data Objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings / / edited by Olivier Danvy, Andrzej Filinski
| Programs as Data Objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings / / edited by Olivier Danvy, Andrzej Filinski |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (X, 286 p.) |
| Disciplina | 005.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Data structures (Computer science) Application software Programming languages (Electronic computers) Logic, Symbolic and mathematical Software engineering Logics and Meanings of Programs Data Structures and Information Theory Computer Applications Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Software Engineering |
| ISBN | 3-540-44978-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Opening Talk -- Program Analysis for Implicit Computational Complexity -- Contributed Papers -- Deriving Pre-conditions for Array Bound Check Elimination -- Type Systems for Useless-Variable Elimination -- Boolean Constraints for Binding-Time Analysis -- Constraint Abstractions -- Implementing Circularity Using Partial Evaluation -- Combining Forward And Backward Analyses of Temporal Properties -- Numerical Power Analysis -- Run-Time Bytecode Specialization -- A New Numerical Abstract Domain Based on Difference-Bound Matrices -- Partial Evaluation for Class-Based Object-Oriented Languages -- Driving in the Jungle -- Higher-Order Pattern Matching for Automatically Applying Fusion Transformations -- Dynamic Partial Evaluation -- Tag Elimination and Jones-Optimality -- Invited Closing Talk -- Bottom-Up Deduction with Deletion and Priorities. |
| Record Nr. | UNINA-9910143604203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||