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.
Foundations of software science and computational structures : 13th International Conference, FOSSACS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 22-28, 2010 : proceedings / / Luke Ong (ed.)
| Foundations of software science and computational structures : 13th International Conference, FOSSACS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 22-28, 2010 : proceedings / / Luke Ong (ed.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, c2010 |
| Descrizione fisica | 1 online resource (XV, 389 p. 47 illus.) |
| Disciplina | 005.131 |
| Altri autori (Persone) | OngLuke |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
System analysis
Computer software |
| ISBN |
1-280-38588-X
9786613563804 3-642-12032-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming Languages -- A Semantic Foundation for Hidden State -- Linearly-Used Continuations in the Enriched Effect Calculus -- Block Structure vs. Scope Extrusion: Between Innocence and Omniscience -- Completeness for Algebraic Theories of Local State -- Probabilistic and Randomised Computation -- Fair Adversaries and Randomization in Two-Player Games -- Retaining the Probabilities in Probabilistic Testing Theory -- Concurrency and Process Theory -- Forward Analysis of Depth-Bounded Processes -- Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization -- Parameterised Multiparty Session Types -- On the Relationship between Spatial Logics and Behavioral Simulations -- Modal and Temporal Logics -- An Easy Completeness Proof for the Modal ?-Calculus on Finite Trees -- When Model-Checking Freeze LTL over Counter Machines Becomes Decidable -- Model Checking Is Static Analysis of Modal Logic -- Counting CTL -- Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems -- Verification -- Toward a Compositional Theory of Leftist Grammars and Transformations -- Degrees of Lookahead in Regular Infinite Games -- Reachability Analysis of Communicating Pushdown Systems -- The Complexity of Synchronous Notions of Information Flow Security -- Categorical and Coalgebraic Methods -- Monads Need Not Be Endofunctors -- CIA Structures and the Semantics of Recursion -- Coalgebraic Correspondence Theory -- Lambda Calculus and Types -- Untyped Recursion Schemes and Infinite Intersection Types -- Solvability in Resource Lambda-Calculus -- A Hierarchy for Delimited Continuations in Call-by-Name. |
| Altri titoli varianti |
ETAPS 2010
FOSSACS 2010 |
| Record Nr. | UNINA-9910483822903321 |
| Berlin ; ; Heidelberg, : Springer, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamental Approaches to Software Engineering : 13th international conference, FASE 2010 ; held as part of the joint European conferences on Theory and Practice of Software, ETAPS 2010 ; Paphos, Cyprus, March 20-28, 2010. Proceedings / / David S. Rosenblum, Gabriele Taentzer (eds.)
| Fundamental Approaches to Software Engineering : 13th international conference, FASE 2010 ; held as part of the joint European conferences on Theory and Practice of Software, ETAPS 2010 ; Paphos, Cyprus, March 20-28, 2010. Proceedings / / David S. Rosenblum, Gabriele Taentzer (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XIII, 383 p. 127 illus.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
RosenblumDavid Samuel
TaentzerGabriele |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Software engineering
Computer software |
| ISBN |
1-280-38587-1
9786613563798 3-642-12029-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speaker -- Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization -- Model Transformation -- A Formalisation of Constraint-Aware Model Transformations -- Formal Real-Time Model Transformations in MOMENT2 -- Reusing Model Transformations While Preserving Properties -- Software Evolution -- Are Popular Classes More Defect Prone? -- Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation -- A Method for Analyzing Code Homology in Genealogy of Evolving Software -- Dynamic Resource Scheduling in Disruption-Prone Software Development Environments -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts -- Formal Analysis and Verification of Self-Healing Systems -- Stochastic Simulation of Graph Transformation Systems -- Modeling Concepts -- Prescriptive Semantics for Big-Step Modelling Languages -- A Modular Model Composition Technique -- A Verifiable Modeling Approach to Configurable Role-Based Access Control -- Incremental Consistency Checking of Dynamic Constraints -- Verification -- Proving Consistency and Completeness of Model Classes Using Theory Interpretation -- Automatic Cross Validation of Multiple Specifications: A Case Study -- An Automata-Theoretic Approach to Hardware/Software Co-verification -- Program Analysis -- Shape Refinement through Explicit Heap Analysis -- Memory Leaks Detection in Java by Bi-abductive Inference -- Analyzing the Impact of Change in Multi-threaded Programs -- Testing and Debugging -- Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques -- A Lightweight and Portable Approach to Making Concurrent Failures Reproducible -- Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups -- Performance Modeling and Analysis -- Performance Modeling and Analysis of Context-Aware Mobile Software Systems -- A Process to Effectively Identify “Guilty” Performance Antipatterns. |
| Altri titoli varianti |
FASE 2010
ETAPS 2010 |
| Record Nr. | UNINA-9910483771603321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010; proceedings / / Andrew D. Gordon (ed.)
| Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010; proceedings / / Andrew D. Gordon (ed.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XV, 632 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) | GordonAndrew D |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
| ISBN |
1-280-38582-0
9786613563743 3-642-11957-3 |
| Classificazione |
DAT 350f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Audacity of Hope: Thoughts on Reclaiming the Database Dream -- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions -- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis -- Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties -- Formal Verification of Coalescing Graph-Coloring Register Allocation -- A Theory of Speculative Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear Space -- Logical Concurrency Control from Sequential Proofs -- Fluid Updates: Beyond Strong vs. Weak Updates -- Parameterized Memory Models and Concurrent Separation Logic -- Amortized Resource Analysis with Polynomial Potential -- Generative Operational Semantics for Relaxed Memory Models -- Automating Security Mediation Placement -- TRX: A Formally Verified Parser Interpreter -- On the Expressive Power of Primitives for Compensation Handling -- Separating Shape Graphs -- Deadlock-Free Channels and Locks -- Verifying a Compiler for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault Tolerant Programs -- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While -- A Universal Calculus for Stream Processing Languages -- Enforcing Stateful Authorization and Information Flow Policies in Fine -- Stateful Contracts for Affine Types -- CFA2: A Context-Free Approach to Control-Flow Analysis -- Weighted Dynamic Pushdown Networks -- Explicit Stabilisation for Modular Rely-Guarantee Reasoning. |
| Altri titoli varianti |
19th European Symposium on Programming
European Symposium on Programming ESOP 2010 ETAPS 2010 Joint European Conferences on Theory and Practice of Software |
| Record Nr. | UNINA-9910484592703321 |
| Berlin, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||