Coalgebraic Methods in Computer Science [[electronic resource] ] : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers / / edited by Corina Cîrstea |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (IX, 235 p. 4 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Artificial intelligence Computer science Formal Languages and Automata Theory Artificial Intelligence Computer Science Logic and Foundations of Programming |
ISBN | 3-030-00389-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Relating Structure and Power: Comonadic Semantics for Computational Resources -- Coalgebraic Logics and Duality -- Intuitionistic Podelski-Rybalchenko Theorem and Equivalence between Inductive Definitions and Cyclic Proofs -- Undecidability of Equality for Codata Types -- Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages -- Long-Term Values in Markov Decision Processes, (Co)Algebraically -- (In)finite Trace Equivalence of Probabilistic Transition Systems -- Steps and Traces -- On Algebras with Effectful Iteration -- Monoidal computer III: A coalgebraic view of computability and complexity -- Fibrational Bisimulations and Quantitative Reasoning -- Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors. |
Record Nr. | UNINA-9910349405403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Coalgebraic Methods in Computer Science [[electronic resource] ] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / / edited by Ichiro Hasuo |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (IX, 235 p. 5 illus.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Artificial intelligence Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Artificial Intelligence |
ISBN | 3-319-40370-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Fixed Points of Functors - A Survey -- Compositional Coinduction with Sized Types -- Lawvere Theories as Composed PROPs -- Transitivity and Difunctionality of Bisimulations -- Affine Monads and Side-Effect-Freeness -- Duality of Equations and Coequations via Contravariant Adjunctions -- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness -- Product Rules and Distributive Laws -- On the Logic of Generalised Metric Spaces -- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors -- Coalgebraic Completeness-via-Canonicity: Principles and Applications -- Relational Lattices via Duality -- On Local Characterization of Global Timed Bisimulation for Abstract. |
Record Nr. | UNISA-996466002803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coalgebraic Methods in Computer Science [[electronic resource] ] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / / edited by Ichiro Hasuo |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (IX, 235 p. 5 illus.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Artificial intelligence Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Artificial Intelligence |
ISBN | 3-319-40370-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Fixed Points of Functors - A Survey -- Compositional Coinduction with Sized Types -- Lawvere Theories as Composed PROPs -- Transitivity and Difunctionality of Bisimulations -- Affine Monads and Side-Effect-Freeness -- Duality of Equations and Coequations via Contravariant Adjunctions -- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness -- Product Rules and Distributive Laws -- On the Logic of Generalised Metric Spaces -- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors -- Coalgebraic Completeness-via-Canonicity: Principles and Applications -- Relational Lattices via Duality -- On Local Characterization of Global Timed Bisimulation for Abstract. |
Record Nr. | UNINA-9910485008803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Coalgebraic Methods in Computer Science [[electronic resource] ] : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / / edited by Marcello M. Bonsangue |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 245 p. 4 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Computer science—Mathematics Mathematical statistics Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science |
ISBN | 3-662-44124-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) -- Generic Weakest Precondition Semantics from Monads Enriched with Order -- Coalgebraic Multigames -- How to Kill Epsilons with a Dagger -- On Coalgebras with Internal Moves -- A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics -- Coalgebraic Simulations and Congruences -- Dijkstra Monads in Monadic Computation -- Categories of Coalgebras with Monadic Homomorphisms -- Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions -- Canonical Nondeterministic Automata -- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models. |
Record Nr. | UNISA-996202528703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coalgebraic Methods in Computer Science [[electronic resource] ] : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / / edited by Marcello M. Bonsangue |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 245 p. 4 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Computer science—Mathematics Mathematical statistics Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science |
ISBN | 3-662-44124-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) -- Generic Weakest Precondition Semantics from Monads Enriched with Order -- Coalgebraic Multigames -- How to Kill Epsilons with a Dagger -- On Coalgebras with Internal Moves -- A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics -- Coalgebraic Simulations and Congruences -- Dijkstra Monads in Monadic Computation -- Categories of Coalgebras with Monadic Homomorphisms -- Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions -- Canonical Nondeterministic Automata -- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models. |
Record Nr. | UNINA-9910484970403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Coalgebraic Methods in Computer Science [[electronic resource] ] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers / / edited by Dirk Pattinson, Lutz Schröder |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (VII, 259 p. 7 illus.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Computer science—Mathematics Mathematical statistics Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science |
ISBN | 3-642-32784-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference -- Defining Context-Free Power Series Coalgebraically -- Relational Presheaves as Labelled Transition Systems -- On Finitary Functors and Their Presentations -- Structural Operational Semantics for Continuous State Probabilistic Processes -- Stream Automata Are Coalgebras -- Trace Semantics via Determinizatio -- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus -- Lax Extensions of Coalgebra Functors -- From Transitions to Executions -- Tracing the Man in the Middle in Monoidal Categories -- Permutations in Coinductive Graph Representation -- Internal Models for Coalgebraic Modal Logics. |
Record Nr. | UNISA-996465439903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Communicating Sequential Processes. The First 25 Years [[electronic resource] ] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / / edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XIV, 326 p.) |
Disciplina | 005.13/3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Computer programming Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Programming Techniques |
ISBN |
3-540-32265-5
3-540-25813-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Semantic Foundations -- Retracing the Semantics of CSP -- Seeing Beyond Divergence -- Refinement and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis -- CSP, occam and Transputers -- Models for Data-Flow Sequential Processes -- Implementation of Handshake Components -- Transactions -- A Trace Semantics for Long-Running Transactions -- Practical Application of CSP and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based Design of Concurrent Programs -- Linking Theories -- Of Probabilistic wp and CSP—and Compositionality -- Order, Topology, and Recursion Induction in CSP -- Security -- Verifying Security Protocols: An Application of CSP -- Shedding Light on Haunted Corners of Information Security -- Automated Development and Model Checking -- Operational Semantics for Fun and Profit -- On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations -- Industrial Strength CSP -- Industrial Strength CSP: Opportunities and Challenges in Model-Checking -- Applied Formal Methods – From CSP to Executable Hybrid Specifications. |
Record Nr. | UNISA-996465819603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Communicating Sequential Processes. The First 25 Years [[electronic resource] ] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / / edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XIV, 326 p.) |
Disciplina | 005.13/3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Computer programming Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Programming Techniques |
ISBN |
3-540-32265-5
3-540-25813-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Semantic Foundations -- Retracing the Semantics of CSP -- Seeing Beyond Divergence -- Refinement and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis -- CSP, occam and Transputers -- Models for Data-Flow Sequential Processes -- Implementation of Handshake Components -- Transactions -- A Trace Semantics for Long-Running Transactions -- Practical Application of CSP and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based Design of Concurrent Programs -- Linking Theories -- Of Probabilistic wp and CSP—and Compositionality -- Order, Topology, and Recursion Induction in CSP -- Security -- Verifying Security Protocols: An Application of CSP -- Shedding Light on Haunted Corners of Information Security -- Automated Development and Model Checking -- Operational Semantics for Fun and Profit -- On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations -- Industrial Strength CSP -- Industrial Strength CSP: Opportunities and Challenges in Model-Checking -- Applied Formal Methods – From CSP to Executable Hybrid Specifications. |
Record Nr. | UNINA-9910767558403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Compiler Construction [[electronic resource] ] : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / / edited by Björn Franke |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XII, 253 p. 78 illus.) |
Disciplina | 005.453 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Software engineering Computer programming Computer science Compilers and Interpreters Software Engineering Programming Techniques Computer Science Logic and Foundations of Programming |
ISBN | 3-662-46663-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- A Graphical Model for Context-Free Grammar Parsing -- Compiler Engineering and Compiling Techniques A Refactoring Library for Scala Compiler Extensions -- Feature-Specific Profiling -- A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages -- Faster, Practical GLL Parsing -- Analysis and Optimisation -- A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation -- Staged Points-to Analysis for Large Code Bases -- Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes -- Optgen: A Generator for Local Optimizations -- Formal Techniques -- Towards a Scalable Framework for Context-Free Language Reachability -- Protocols by Default: Safe MPI Code Generation Based on Session Types -- Verifying Fast and Sparse SSA-Based Optimizations in Coq. |
Record Nr. | UNISA-996200342903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Compiler Construction [[electronic resource] ] : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / / edited by Björn Franke |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XII, 253 p. 78 illus.) |
Disciplina | 005.453 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Software engineering Computer programming Computer science Compilers and Interpreters Software Engineering Programming Techniques Computer Science Logic and Foundations of Programming |
ISBN | 3-662-46663-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- A Graphical Model for Context-Free Grammar Parsing -- Compiler Engineering and Compiling Techniques A Refactoring Library for Scala Compiler Extensions -- Feature-Specific Profiling -- A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages -- Faster, Practical GLL Parsing -- Analysis and Optimisation -- A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation -- Staged Points-to Analysis for Large Code Bases -- Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes -- Optgen: A Generator for Local Optimizations -- Formal Techniques -- Towards a Scalable Framework for Context-Free Language Reachability -- Protocols by Default: Safe MPI Code Generation Based on Session Types -- Verifying Fast and Sparse SSA-Based Optimizations in Coq. |
Record Nr. | UNINA-9910484565903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|