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.
Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / / Frederic Geurts
| Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / / Frederic Geurts |
| Autore | Geurts Frederic <1965-> |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (XII, 280 p. 78 illus.) |
| Disciplina | 005.73 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Abstract data types (Computer science)
System analysis Electronic data processing - Structured techniques |
| ISBN | 3-540-49211-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prologue: Aims, Themes, and Motivations -- Prologue: Aims, Themes, and Motivations -- Mathematical Framework: Iterated Relations and Composition -- Dynamics of Relations -- Dynamics of Composed Relations -- Abstract Complexity: Abstraction, Invariance, Attraction -- Abstract Observation of Dynamics -- Invariance, Attraction, Complexity -- Abstract Compositional Analysis of Systems: Dynamics and Computations -- Compositional Analysis of Dynamical Properties -- Case Studies: Compositional Analysis of Dynamics -- Experimental Compositional Analysis of Cellular Automata -- Compositional Analysis of Computational Properties -- Epilogue: Conclusions and Directions for Future Work. |
| Record Nr. | UNINA-9910143504103321 |
Geurts Frederic <1965->
|
||
| Berlin, Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / / Frederic Geurts
| Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / / Frederic Geurts |
| Autore | Geurts Frederic <1965-> |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (XII, 280 p. 78 illus.) |
| Disciplina | 005.73 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Abstract data types (Computer science)
System analysis Electronic data processing - Structured techniques |
| ISBN | 3-540-49211-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prologue: Aims, Themes, and Motivations -- Prologue: Aims, Themes, and Motivations -- Mathematical Framework: Iterated Relations and Composition -- Dynamics of Relations -- Dynamics of Composed Relations -- Abstract Complexity: Abstraction, Invariance, Attraction -- Abstract Observation of Dynamics -- Invariance, Attraction, Complexity -- Abstract Compositional Analysis of Systems: Dynamics and Computations -- Compositional Analysis of Dynamical Properties -- Case Studies: Compositional Analysis of Dynamics -- Experimental Compositional Analysis of Cellular Automata -- Compositional Analysis of Computational Properties -- Epilogue: Conclusions and Directions for Future Work. |
| Record Nr. | UNISA-996466160603316 |
|
Geurts Frederic <1965->
|
||
| Berlin, Heidelberg : , : Springer, , [1998] | ||
| 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.)
| 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 | ||
| ||
Java collections : an introduction to abstract data types, data structures, and algorithms / David A. Watt, Deryck F. Brown
| Java collections : an introduction to abstract data types, data structures, and algorithms / David A. Watt, Deryck F. Brown |
| Autore | Watt, David Anthony |
| Pubbl/distr/stampa | Chichester [England] ; New York : John Wiley, c2001 |
| Descrizione fisica | xvi, 549 p. : ill. ; 24 cm |
| Disciplina | 005.133 |
| Altri autori (Persone) | Brown, Deryck F. |
| Soggetto topico |
Java (Computer program language)
Abstract data types (Computer science) Data structures (Computer science) Computer algorithms |
| ISBN | 047189978X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000365339707536 |
|
Watt, David Anthony
|
||
| Chichester [England] ; New York : John Wiley, c2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Recent trends in algebraic development techniques : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 ; revised selected papers / / Andrea Corradini, Ugo Montanari (eds.)
| Recent trends in algebraic development techniques : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 ; revised selected papers / / Andrea Corradini, Ugo Montanari (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (VIII, 343 p.) |
| Disciplina | 004n/a |
| Altri autori (Persone) |
CorradiniAndrea <1960->
MontanariU (Ugo) |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Abstract data types (Computer science)
Computer science - Mathematics Computer software - Development |
| ISBN | 3-642-03429-2 |
| Classificazione |
DAT 510f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Concurrent Abstract State Machines and ?+? CAL Programs -- Molecules as Automata -- Service-Level Agreements for Service-Oriented Computing -- Contributed Papers -- Tiles for Reo -- C-semiring Frameworks for Minimum Spanning Tree Problems -- What Is a Multi-modeling Language? -- Generalized Theoroidal Institution Comorphisms -- Graph Transformation with Dependencies for the Specification of Interactive Systems -- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi -- A Rewriting Logic Approach to Type Inference -- A Term-Graph Syntax for Algebras over Multisets -- Transformations of Conditional Rewrite Systems Revisited -- Towards a Module System for K -- Property Preserving Refinement for Csp-Casl -- Reconfiguring Distributed Reo Connectors -- A Rewrite Approach for Pattern Containment -- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum -- Heterogeneous Logical Environments for Distributed Specifications -- Term-Generic Logic -- Declarative Debugging of Rewriting Logic Specifications -- Translating a Dependently-Typed Logic to First-Order Logic. |
| Altri titoli varianti | WADT 2008 |
| Record Nr. | UNINA-9910483244603321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / / Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)
| Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / / Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (VIII, 280 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
FiadeiroJose Luiz <1961->
MossesPeter OrejasF (Fernando) |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer software - Development
Computer science - Mathematics Abstract data types (Computer science) |
| ISBN | 9783540319597 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologies for the Semantic Web in Casl -- Theoroidal Maps as Algebraic Simulations -- Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems -- A Simple Refinement Language for Casl -- A Distributed and Mobile Component System Based on the Ambient Calculus -- Application and Formal Specification of Sorted Term-Position Algebras -- From Conditional to Unconditional Rewriting -- Type Class Polymorphism in an Institutional Framework -- Architectural Specifications for Reactive Systems. |
| Altri titoli varianti | WADT 2004 |
| Record Nr. | UNINA-9910484054103321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent trends in algebraic development techniques : 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 selected papers / / Jose Luis Fiadeiro (ed.)
| Recent trends in algebraic development techniques : 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 selected papers / / Jose Luis Fiadeiro (ed.) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (X, 346 p.) |
| Disciplina | 005.73 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Abstract data types (Computer science)
Computer science - Mathematics |
| ISBN | 3-540-48483-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Algebraic Framework for Separate Type-Checking -- Moving Specification Structures Between Logical Systems -- Normal Forms for Partitions and Relations -- Parameterisation of Logics -- Semantic Constructions for Hidden Algebra -- Functorial Semantics for Multi-algebras -- An Algebra of Graph Derivations Using Finite (co—) Limit Double Theories -- Hierarchical Heterogeneous Specifications -- Parallel Admissible Graph Rewriting -- Refinements and Modules for Typed Graph Transformation Systems -- Complete Strategies for Term Graph Narrowing -- Non-deterministic Computations in ELAN -- Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics -- Translating OBJ3 into CASL: The Institution Level -- Casl: A Guided Tour of Its Design -- Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets -- Using Reflection to Specify Transaction Sequences in Rewriting Logic -- Concurrency and Data Types: A Specification Method An Example with LOTOS -- The Situation and State Calculus versus Branching Temporal Logic -- Modular Specification of Concurrent Systems with Observational Logic -- Proof Normalization of Structured Algebraic Specifications Is Convergent. |
| Record Nr. | UNISA-996465849403316 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent trends in algebraic development techniques : 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 selected papers / / Jose Luis Fiadeiro (ed.)
| Recent trends in algebraic development techniques : 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 selected papers / / Jose Luis Fiadeiro (ed.) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (X, 346 p.) |
| Disciplina | 005.73 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Abstract data types (Computer science)
Computer science - Mathematics |
| ISBN | 3-540-48483-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Algebraic Framework for Separate Type-Checking -- Moving Specification Structures Between Logical Systems -- Normal Forms for Partitions and Relations -- Parameterisation of Logics -- Semantic Constructions for Hidden Algebra -- Functorial Semantics for Multi-algebras -- An Algebra of Graph Derivations Using Finite (co—) Limit Double Theories -- Hierarchical Heterogeneous Specifications -- Parallel Admissible Graph Rewriting -- Refinements and Modules for Typed Graph Transformation Systems -- Complete Strategies for Term Graph Narrowing -- Non-deterministic Computations in ELAN -- Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics -- Translating OBJ3 into CASL: The Institution Level -- Casl: A Guided Tour of Its Design -- Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets -- Using Reflection to Specify Transaction Sequences in Rewriting Logic -- Concurrency and Data Types: A Specification Method An Example with LOTOS -- The Situation and State Calculus versus Branching Temporal Logic -- Modular Specification of Concurrent Systems with Observational Logic -- Proof Normalization of Structured Algebraic Specifications Is Convergent. |
| Record Nr. | UNINA-9910143451003321 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / / Jens Palsberg (ed.)
| Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / / Jens Palsberg (ed.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2009 |
| Descrizione fisica | 1 online resource (X, 409 p.) |
| Disciplina | 004 |
| Altri autori (Persone) | PalsbergJens |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Abstract data types (Computer science)
Algebra Semantics |
| ISBN | 3-642-04164-7 |
| Classificazione |
DAT 510f
DAT 557f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tribute to Peter Mosses -- Action Semantics in Retrospect -- Component-Based Security Policy Design with Colored Petri Nets -- Order-Sorted Parameterization and Induction -- An Implementation of Object-Oriented Action Semantics in Maude -- A Constructive Semantics for Basic Aspect Constructs -- Structural Operational Semantics for Weighted Transition Systems -- On the Specification and Verification of Model Transformations -- Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines -- Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines -- Type Checking Evolving Languages with MSOS -- Action Algebras and Model Algebras in Denotational Semantics -- Mobile Processes and Termination -- An Action Semantics Based on Two Combinators -- Converting between Combinatory Reduction Systems and Big Step Semantics -- Model-Based Testing and the UML Testing Profile -- A Complete, Co-inductive Syntactic Theory of Sequential Control and State -- Vertical Object Layout and Compression for Fixed Heaps. |
| Record Nr. | UNINA-9910483541703321 |
| Berlin ; ; Heidelberg, : Springer-Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
