Advanced Functional Programming [[electronic resource] ] : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures / / edited by Varmo Vene, Tarmo Uustalu |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (X, 362 p.) |
Disciplina | 005.1/14 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer programming
Software engineering Compilers (Computer programs) Programming Techniques Software Engineering Compilers and Interpreters |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Typing Haskell with an Attribute Grammar -- Programming with Arrows -- Epigram: Practical Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled Applications -- Declarative Debugging with Buddha -- Server-Side Web Programming in WASH -- Refactoring Functional Programs. |
Record Nr. | UNISA-996465556403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures / / Varmo Vene, Tarmo Uustalu (eds.) |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2005 |
Descrizione fisica | 1 online resource (X, 362 p.) |
Disciplina | 005.1/14 |
Altri autori (Persone) |
VeneVarmo
UustaluTarmo |
Collana | Lecture notes in computer science |
Soggetto topico | Functional programming (Computer science) |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Typing Haskell with an Attribute Grammar -- Programming with Arrows -- Epigram: Practical Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled Applications -- Declarative Debugging with Buddha -- Server-Side Web Programming in WASH -- Refactoring Functional Programs. |
Record Nr. | UNINA-9910483483603321 |
Berlin ; ; New York, : Springer, 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraic Methodology and Software Technology [[electronic resource] ] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings / / edited by Michael Johnson, Varmo Vene |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XII, 392 p.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Mathematical logic Computer programming Computer science—Mathematics Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Techniques Symbolic and Algebraic Manipulation |
ISBN | 3-540-35636-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program Schemes: Past, Present, and Future -- Monad-Based Logics for Computational Effects -- Contributed Papers -- State Space Representation for Verification of Open Systems -- Data Movement Optimisation in Point-Free Form -- Measuring the Speed of Information Leakage in Mobile Processes -- Formal Islands -- Some Programming Languages for Logspace and Ptime -- Opaque Predicates Detection by Abstract Interpretation -- DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications -- Model Transformations Incorporating Multiple Views -- Hyperfinite Approximations to Labeled Markov Transition Systems -- State Space Reduction of Rewrite Theories Using Invisible Transitions -- The Essence of Multitasking -- The Substitution Vanishes -- Decomposing Interactions -- Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues -- Assessing the Expressivity of Formal Specification Languages -- Fork Algebras as a Sufficiently Rich Universal Institution -- Realizability Criteria for Compositional MSC -- Quantales and Temporal Logics -- Fractional Semantics -- Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic -- Testing Semantics: Connecting Processes and Process Logics -- Tableaux for Lattices -- Accelerated Modal Abstractions of Labelled Transition Systems -- A Compositional Semantics of Plan Revision in Intelligent Agents -- System Descriptions -- ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams -- A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker -- Using Category Theory as a Basis for a Heterogeneous Data Source Search Meta-engine: The Prométhée Framework. |
Record Nr. | UNISA-996466026403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings / / Michael Johnson, Varmo Vene (eds.) |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, : Springer, 2006 |
Descrizione fisica | 1 online resource (XII, 392 p.) |
Disciplina | 005.1 |
Altri autori (Persone) |
JohnsonMichael
VeneVarmo |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
Soggetto topico |
Software engineering
Abstract data types (Computer science) |
ISBN | 3-540-35636-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program Schemes: Past, Present, and Future -- Monad-Based Logics for Computational Effects -- Contributed Papers -- State Space Representation for Verification of Open Systems -- Data Movement Optimisation in Point-Free Form -- Measuring the Speed of Information Leakage in Mobile Processes -- Formal Islands -- Some Programming Languages for Logspace and Ptime -- Opaque Predicates Detection by Abstract Interpretation -- DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications -- Model Transformations Incorporating Multiple Views -- Hyperfinite Approximations to Labeled Markov Transition Systems -- State Space Reduction of Rewrite Theories Using Invisible Transitions -- The Essence of Multitasking -- The Substitution Vanishes -- Decomposing Interactions -- Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues -- Assessing the Expressivity of Formal Specification Languages -- Fork Algebras as a Sufficiently Rich Universal Institution -- Realizability Criteria for Compositional MSC -- Quantales and Temporal Logics -- Fractional Semantics -- Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic -- Testing Semantics: Connecting Processes and Process Logics -- Tableaux for Lattices -- Accelerated Modal Abstractions of Labelled Transition Systems -- A Compositional Semantics of Plan Revision in Intelligent Agents -- System Descriptions -- ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams -- A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker -- Using Category Theory as a Basis for a Heterogeneous Data Source Search Meta-engine: The Prométhée Framework. |
Altri titoli varianti | AMAST 2006 |
Record Nr. | UNINA-9910483385003321 |
Berlin, : Springer, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|