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.
Advanced Functional Programming [[electronic resource] ] : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures / / edited by Varmo Vene, Tarmo Uustalu
| 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.)
| 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 | ||
| ||
Mathematics of Program Construction [[electronic resource] ] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings / / edited by Tarmo Uustalu
| Mathematics of Program Construction [[electronic resource] ] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings / / edited by Tarmo Uustalu |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 458 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Machine theory Compilers (Computer programs) Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Theory of Computation Compilers and Interpreters |
| ISBN | 3-540-35632-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- What Is a Good Process Semantics? -- Refunctionalization at Work -- Aspects and Data Refinement -- Contributed Papers -- Towards Generic Programming with Sized Types -- Relational Semantics for Higher-Order Programs -- Proofs of Randomized Algorithms in Coq -- Exercises in Quantifier Manipulation -- Improving Saddleback Search: A Lesson in Algorithm Design -- Loopless Functional Algorithms -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards -- Fission for Program Comprehension -- “Scrap Your Boilerplate” Revolutions -- Generic Views on Data Types -- Recursion Schemes for Dynamic Programming -- Bimonadic Semantics for Basic Pattern Matching Calculi -- Nondeterministic Folds -- A Datastructure for Iterated Powers -- Continuous Action System Refinement -- The Linear Algebra of UTP -- The Shadow Knows: Refinement of Ignorance in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra with Operators for Enabledness and Termination -- Constructing Rewrite-Based Decision Procedures for Embeddings and Termination -- Quantum Predicative Programming. |
| Record Nr. | UNISA-996465930403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings / / Tarmo Uustalu (ed.)
| Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings / / Tarmo Uustalu (ed.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | 1 online resource (X, 458 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) | UustaluTarmo |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Computer programming
Computer science - Mathematics |
| ISBN | 3-540-35632-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- What Is a Good Process Semantics? -- Refunctionalization at Work -- Aspects and Data Refinement -- Contributed Papers -- Towards Generic Programming with Sized Types -- Relational Semantics for Higher-Order Programs -- Proofs of Randomized Algorithms in Coq -- Exercises in Quantifier Manipulation -- Improving Saddleback Search: A Lesson in Algorithm Design -- Loopless Functional Algorithms -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards -- Fission for Program Comprehension -- “Scrap Your Boilerplate” Revolutions -- Generic Views on Data Types -- Recursion Schemes for Dynamic Programming -- Bimonadic Semantics for Basic Pattern Matching Calculi -- Nondeterministic Folds -- A Datastructure for Iterated Powers -- Continuous Action System Refinement -- The Linear Algebra of UTP -- The Shadow Knows: Refinement of Ignorance in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra with Operators for Enabledness and Termination -- Constructing Rewrite-Based Decision Procedures for Embeddings and Termination -- Quantum Predicative Programming. |
| Altri titoli varianti | MPC 2006 |
| Record Nr. | UNINA-9910483383503321 |
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theoretical Aspects of Computing – ICTAC 2018 [[electronic resource] ] : 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings / / edited by Bernd Fischer, Tarmo Uustalu
| Theoretical Aspects of Computing – ICTAC 2018 [[electronic resource] ] : 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings / / edited by Bernd Fischer, Tarmo Uustalu |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 533 p. 84 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Artificial intelligence Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence Software Engineering Formal Languages and Automata Theory |
| ISBN | 3-030-02508-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs -- LTL Semantic Tableaux and Alternating Omega-automata via Linear Factors -- Proof Nets and the Linear Substitution Calculus -- Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms -- An Automata-Based View on Configurability and Uncertainty -- Formalising Boost POSIX Regular Expression Matching -- Monoidal Multiplexing -- Input/Output Stochastic Automata with Urgency: Conuence and Weak Determinism -- Layer by Layer: Combining Monads -- Layer Systems for Confluence – Formalized -- A Metalanguage for Guarded Iteration -- Generating Armstrong ABoxes for ALC TBoxes -- Spatio-Temporal Domains: An Overview -- Checking Modal Contracts for Virtually Timed Ambients -- Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers -- Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces -- Symbolic Computation via Program Transformation -- Double Applicative Functors -- Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving -- Explicit Auditing -- Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables -- Complexity Results on Register Context-Free Grammars and Register Tree Automata -- Information Flow Certificates -- The Smallest FSSP Partial Solutions for One-Dimensional Ring Cellular Automata: Symmetric and Asymmetric Synchronizers -- Convex Language Semantics for Nondeterministic Probabilistic Automata -- Fast Computations on Ordered Nominal Sets -- Non-preemptive Semantics for Data-Race-Free Programs. |
| Record Nr. | UNISA-996466448903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theoretical Aspects of Computing – ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings / / edited by Bernd Fischer, Tarmo Uustalu
| Theoretical Aspects of Computing – ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings / / edited by Bernd Fischer, Tarmo Uustalu |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 533 p. 84 illus.) |
| Disciplina |
005.1
005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Artificial intelligence Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence Software Engineering Formal Languages and Automata Theory |
| ISBN | 3-030-02508-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs -- LTL Semantic Tableaux and Alternating Omega-automata via Linear Factors -- Proof Nets and the Linear Substitution Calculus -- Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms -- An Automata-Based View on Configurability and Uncertainty -- Formalising Boost POSIX Regular Expression Matching -- Monoidal Multiplexing -- Input/Output Stochastic Automata with Urgency: Conuence and Weak Determinism -- Layer by Layer: Combining Monads -- Layer Systems for Confluence – Formalized -- A Metalanguage for Guarded Iteration -- Generating Armstrong ABoxes for ALC TBoxes -- Spatio-Temporal Domains: An Overview -- Checking Modal Contracts for Virtually Timed Ambients -- Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers -- Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces -- Symbolic Computation via Program Transformation -- Double Applicative Functors -- Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving -- Explicit Auditing -- Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables -- Complexity Results on Register Context-Free Grammars and Register Tree Automata -- Information Flow Certificates -- The Smallest FSSP Partial Solutions for One-Dimensional Ring Cellular Automata: Symmetric and Asymmetric Synchronizers -- Convex Language Semantics for Nondeterministic Probabilistic Automata -- Fast Computations on Ordered Nominal Sets -- Non-preemptive Semantics for Data-Race-Free Programs. |
| Record Nr. | UNINA-9910349398603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||