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.
Compiler construction : 18th international conference, CC 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings / / Oege de Moor ... [et al.] (eds.)
| Compiler construction : 18th international conference, CC 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings / / Oege de Moor ... [et al.] (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2009 |
| Descrizione fisica | 1 online resource (XII, 281 p.) |
| Disciplina | 005.13 |
| Altri autori (Persone) | MoorOege de |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Compilers (Computer programs)
Computer programs |
| ISBN | 3-642-00722-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Challenges in Code Optimization of Parallel Programs -- Extensible Proof-Producing Compilation -- From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode -- A Framework for Exploring Optimization Properties -- Compile-Time Analysis and Specialization of Clocks in Concurrent Programs -- Implementation and Use of Transactional Memory with Dynamic Separation -- Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction -- Live Debugging of Distributed Systems -- Parsing C/C++ Code without Pre-processing -- Faster Scannerless GLR Parsing -- Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming -- SSA Elimination after Register Allocation -- Register Spilling and Live-Range Splitting for SSA-Form Programs -- Loop-Aware Instruction Scheduling with Dynamic Contention Tracking for Tiled Dataflow Architectures -- Scheduling Tasks to Maximize Usage of Aggregate Variables in Place -- Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment -- Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes -- Blind Optimization for Exploiting Hardware Features -- How to CPS Transform a Monad. |
| Altri titoli varianti |
CC 2009
ETAPS 2009 Joint European Conferences on Theory and Practice of Software |
| Record Nr. | UNINA-9910484628103321 |
| Berlin ; ; New York, : Springer, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Compiler construction : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings / / Alan Mycroft, Andreas Zeller (eds.)
| Compiler construction : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings / / Alan Mycroft, Andreas Zeller (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2006 |
| Descrizione fisica | 1 online resource (XIII, 277 p.) |
| Disciplina | 005.4/5 |
| Altri autori (Persone) |
MycroftAlan
ZellerAndreas |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico | Compilers (Computer programs) |
| ISBN | 3-540-33051-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program Analysis -- Interprocedural Dataflow Analysis in the Presence of Large Libraries -- Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers -- Path-Based Reuse Distance Analysis -- Context-Sensitive Points-to Analysis: Is It Worth It? -- Dynamic Analysis -- Selective Runtime Memory Disambiguation in a Dynamic Binary Translator -- Accurately Choosing Execution Runs for Software Fault Localization -- Tool Demonstrations -- Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork -- Data-Flow Analysis as Model Checking Within the jABC -- The CGiS Compiler—A Tool Demonstration -- Optimization -- Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode -- Hybrid Optimizations: Which Optimization Algorithm to Use? -- A Fresh Look at PRE as a Maximum Flow Problem -- Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations’ Perspective -- Code Generation -- Lightweight Lexical Closures for Legitimate Execution Stack Access -- Polyhedral Code Generation in the Real World -- Iterative Collective Loop Fusion -- Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions -- Register Allocation -- SARA: Combining Stack Allocation and Register Allocation -- Register Allocation for Programs in SSA-Form -- Enhanced Bitwidth-Aware Register Allocation. |
| Altri titoli varianti |
CC 2006
ETAPS 2006 Joint European Conferences on Theory and Practice of Software |
| Record Nr. | UNINA-9910484099903321 |
| Berlin ; ; New York, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Compiler construction : 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / / Rastislav Bodik (ed.)
| Compiler construction : 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / / Rastislav Bodik (ed.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XII, 308 p.) |
| Disciplina | 005.4/53 |
| Altri autori (Persone) | BodikRastislav |
| Collana | Lecture notes in computer science |
| Soggetto topico | Compilers (Computer programs) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- When Abstraction Fails -- Compilation -- Source-Level Debugging for Multiple Languages with Modest Programming Effort -- Compilation of Generic Regular Path Expressions Using C++ Class Templates -- XML Goes Native: Run-Time Representations for Xtatic -- Parallelism -- Boosting the Performance of Multimedia Applications Using SIMD Instructions -- Task Partitioning for Multi-core Network Processors -- Experiences with Enumeration of Integer Projections of Parametric Polytopes -- Generalized Index-Set Splitting -- Memory Management -- Age-Oriented Concurrent Garbage Collection -- Optimizing C Multithreaded Memory Management Using Thread-Local Storage -- An Efficient On-the-Fly Cycle Collection -- Program Transformations -- Data Slicing: Separating the Heap into Independent Regions -- A Compiler-Based Approach to Data Security -- Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules -- Verification of Source Code Transformations by Program Equivalence Checking -- Tool Demonstrations -- Hob: A Tool for Verifying Data Structure Consistency -- Jazz: A Tool for Demand-Driven Structural Testing -- Tiger – An Interpreter Generation Tool -- CodeSurfer/x86—A Platform for Analyzing x86 Executables -- Pointer Analysis -- A Study of Type Analysis for Speculative Method Inlining in a JIT Environment -- Completeness Analysis for Incomplete Object-Oriented Programs -- Using Inter-Procedural Side-Effect Information in JIT Optimizations. |
| Altri titoli varianti |
CC 2005
Joint European Conferences on Theory and Practice of Software European Conferences on Theory and Practice of Software ETAPS 2005 |
| Record Nr. | UNINA-9910484504503321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings / / Luca Aceto, Anna Ingolfsdottir (eds.)
| Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings / / Luca Aceto, Anna Ingolfsdottir (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (XV, 447 p.) |
| Disciplina | 005.3 |
| Altri autori (Persone) |
AcetoLuca
Anna Ingolfsdottir <1952-> |
| Collana | Lecture notes in computer science |
| Soggetto topico | System analysis |
| ISBN | 3-540-33046-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation -- Mobile Processes -- A Theory for Observational Fault Tolerance -- Smooth Orchestrators -- On the Relative Expressive Power of Asynchronous Communication Primitives -- More on Bisimulations for Higher Order ?-Calculus -- Software Science -- Register Allocation After Classical SSA Elimination is NP-Complete -- A Logic of Reachable Patterns in Linked Data-Structures -- Distributed Computation -- Dynamic Policy Discovery with Remote Attestation -- Distributed Unfolding of Petri Nets -- On the ?-Calculus Augmented with Sabotage -- Categorical Models -- A Finite Model Construction for Coalgebraic Modal Logic -- Presenting Functors by Operations and Equations -- Bigraphical Models of Context-Aware Systems -- Processes for Adhesive Rewriting Systems -- Real Time and Hybrid Systems -- On Metric Temporal Logic and Faulty Turing Machines -- Denotational Semantics of Hybrid Automata -- Process Calculi -- Reversing Algebraic Process Calculi -- Conjunction on Processes: Full–Abstraction Via Ready–Tree Semantics -- Undecidability Results for Bisimilarity on Prefix Rewrite Systems -- Automata and Logic -- Propositional Dynamic Logic with Recursive Programs -- A Semantic Approach to Interpolation -- First-Order and Counting Theories of ?-Automatic Structures -- Parity Games Played on Transition Graphs of One-Counter Processes -- Domains, Lambda Calculus, Types -- Bidomains and Full Abstraction for Countable Nondeterminism -- An Operational Characterization of Strong Normalization -- On the Confluence of ?-Calculus with Conditional Rewriting -- Security -- Guessing Attacks and the Computational Soundness of Static Equivalence -- Handling exp,× (and Timestamps) in Protocol Analysis -- Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. |
| Altri titoli varianti |
FOSSACS 2006
ETAPS 2006 Joint European Conferences on Theory and Practice of Software |
| Record Nr. | UNINA-9910484175603321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22 - 29, 2009 : proceedings / / Luca de Alfaro (ed.)
| Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22 - 29, 2009 : proceedings / / Luca de Alfaro (ed.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XV, 471 p.) |
| Disciplina | 005.13 |
| Altri autori (Persone) | De AlfaroLuca <1966-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
System analysis
Computer systems |
| ISBN | 3-642-00596-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Facets of Synthesis: Revisiting Church’s Problem -- Temporal Reasoning about Program Executions -- Semantics -- Least and Greatest Fixpoints in Game Semantics -- Full Abstraction for Reduced ML -- Logics and Bisimulation Games for Concurrency, Causality and Conflict -- Logics and Automata -- Separating Graph Logic from MSO -- On the Completeness of Dynamic Logic -- Dependency Tree Automata -- On Global Model Checking Trees Generated by Higher-Order Recursion Schemes -- Algebras -- A Kleene Theorem for Polynomial Coalgebras -- Coalgebraic Hybrid Logic -- A Description of Iterative Reflections of Monads (Extended Abstract) -- Automata Theory -- Tighter Bounds for the Determinisation of Büchi Automata -- Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata -- Interrupt Timed Automata -- Parameter Reduction in Grammar-Compressed Trees -- Processes and Models -- The Calculus of Handshake Configurations -- On the Expressive Power of Restriction and Priorities in CCS with Replication -- Normal Bisimulations in Calculi with Passivation -- Reactive Systems, Barbed Semantics, and the Mobile Ambients -- Security -- On the Foundations of Quantitative Information Flow -- Cryptographic Protocol Composition via the Authentication Tests -- Bisimulation for Demonic Schedulers -- Probabilistic and Quantitative Models -- On Omega-Languages Defined by Mean-Payoff Conditions -- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets -- Delayed Nondeterminism in Continuous-Time Markov Decision Processes -- Concurrency, ?-Algebras, and Probabilistic Fairness -- Synthesis -- Synthesis from Component Libraries -- Realizability of Concurrent Recursive Programs -- Program Analysis and Semantics -- Beyond Shapes: Lists with Ordered Data -- Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains -- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. |
| Altri titoli varianti |
FOSSACS 2009
Joint European Conferences on Theory and Practice of Software |
| Record Nr. | UNINA-9910483792803321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / / Roberto Amadio (ed.)
| Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / / Roberto Amadio (ed.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2008 |
| Descrizione fisica | 1 online resource (XV, 508 p.) |
| Disciplina | 003 |
| Altri autori (Persone) | AmadioRoberto M |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico | System analysis |
| ISBN | 3-540-78499-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Finding Your Way in a Forest: On Different Types of Trees and Their Properties -- Simple Stochastic Games with Few Random Vertices Are Easy to Solve -- The Complexity of Nash Equilibria in Infinite Multiplayer Games -- Stochastic Games with Lossy Channels -- Simulation Hemi-metrics between Infinite-State Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract) -- The ?-Regular Post Embedding Problem -- Complexity of Decision Problems for Mixed and Modal Specifications -- Classes of Tree Homomorphisms with Decidable Preservation of Regularity -- A Kleene-Schützenberger Theorem for Weighted Timed Automata -- Robust Analysis of Timed Automata Via Channel Machines -- The Common Fragment of ACTL and LTL -- The Complexity of CTL* + Linear Past -- Footprints in Local Reasoning -- A Modal Deconstruction of Access Control Logics -- Coalgebraic Logic and Synthesis of Mealy Machines -- The Microcosm Principle and Concurrency in Coalgebra -- Systems of Equations Satisfied in All Commutative Finite Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision Problems for Probabilistic Büchi Automata -- Model-Checking ?-Regular Properties of Interval Markov Chains -- Prevision Domains and Convex Powercones -- RPO, Second-Order Contexts, and ?-Calculus -- Erasure and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language with Dependent Types -- Strong Normalisation of Cut-Elimination That Simulates ?-Reduction -- Symbolic Semantics Revisited -- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information-Hiding -- Products of Message Sequence Charts -- What Else Is Decidable about Integer Arrays? -- Model Checking Freeze LTL over One-Counter Automata. |
| Altri titoli varianti |
Joint European Conferences on Theory and Practice of Software
European Joint Conferences on Theory and Practice of Software 2008 FOSSACS 2008 ETAPS 2008 |
| Record Nr. | UNINA-9910484758103321 |
| Berlin ; ; New York, : Springer, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of software science and computational structures : 8th International Conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / / Vladimiro Sassone (ed.)
| Foundations of software science and computational structures : 8th International Conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / / Vladimiro Sassone (ed.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2005 |
| Descrizione fisica | 1 online resource (XIV, 530 p.) |
| Disciplina | 003 |
| Altri autori (Persone) | SassoneVladimiro |
| Collana | Lecture notes in computer science |
| Soggetto topico | System analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Model Checking for Nominal Calculi -- Mathematical Models of Computational and Combinatorial Structures -- Rule Formats and Bisimulation -- Congruence for Structural Congruences -- Probabilistic Congruence for Semistochastic Generative Processes -- Bisimulation on Speed: A Unified Approach -- Probabilistic Models -- Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications -- Axiomatizations for Probabilistic Finite-State Behaviors -- Stochastic Transition Systems for Continuous State Spaces and Non-determinism -- Model Checking Durational Probabilistic Systems -- Algebraic Models -- Free-Algebra Models for the ?-Calculus -- A Unifying Model of Variables and Names -- A Category of Higher-Dimensional Automata -- Games and Automata -- Third-Order Idealized Algol with Iteration Is Decidable -- Fault Diagnosis Using Timed Automata -- Optimal Conditional Reachability for Multi-priced Timed Automata -- Alternating Timed Automata -- Language Analysis -- Full Abstraction for Polymorphic Pi-Calculus -- Foundations of Web Transactions -- Bridging Language-Based and Process Calculi Security -- History-Based Access Control with Local Policies -- Partial Order Models -- Composition and Decomposition in True-Concurrency -- Component Refinement and CSC Solving for STG Decomposition -- The Complexity of Live Sequence Charts -- Logics -- A Simpler Proof Theory for Nominal Logic -- From Separation Logic to First-Order Logic -- Justifying Algorithms for ??-Conversion -- On Decidability Within the Arithmetic of Addition and Divisibility -- Coalgebraic Modal Logics -- Expressivity of Coalgebraic Modal Logic: The Limits and Beyond -- Duality for Logics of Transition Systems -- Computational Models -- Confluence of Right Ground Term Rewriting Systems Is Decidable -- Safety Is not a Restriction at Level 2 for String Languages -- A Computational Model for Multi-variable Differential Calculus. |
| Altri titoli varianti | Joint European Conferences on Theory and Practice of Software |
| Record Nr. | UNINA-9910484869003321 |
| Berlin, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamental approaches to software engineering : 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / / Jose Luiz Fiadeiro, Paola Inverardi (eds.)
| Fundamental approaches to software engineering : 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / / Jose Luiz Fiadeiro, Paola Inverardi (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2008 |
| Descrizione fisica | 1 online resource (XIII, 434 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
FiadeiroJose Luiz <1961->
InverardiPaola |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico | Software engineering |
| ISBN | 3-540-78743-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements and Architectures -- Deriving Non-zeno Behavior Models from Goal Models Using ILP -- What’s in a Feature: A Requirements Engineering Perspective -- Formal Approach to Integrating Feature and Architecture Models -- Models, Model Transformations I -- Correctness-Preserving Configuration of Business Process Models -- Consistent Integration of Models Based on Views of Visual Languages -- Translating Model Simulators to Analysis Models -- Conceptual Models, UML -- Orthographic Modeling Environment -- HOL-OCL: A Formal Proof Environment for uml/ocl -- Towards Faithful Model Extraction Based on Contexts -- Leveraging Patterns on Domain Models to Improve UML Profile Definition -- Service Engineering/Adaptable Services -- When Things Go Wrong: Interrupting Conversations -- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services -- Engineering Service Oriented Applications: From StPowla Processes to SRML Models -- Verification and Testing I -- A Logic of Graph Constraints -- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects -- Modelling and Verification of Timed Interaction and Migration -- A Model Checking Approach for Verifying COWS Specifications -- Verification and Testing II -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames -- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms -- Automated Analysis of Permission-Based Security Using UMLsec -- Objects and Components -- Software Quality Improvement Via Pattern Matching -- Object Composition in Scenario-Based Programming -- Regular Inference for State Machines Using Domains with Equality Tests -- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems -- Models, Model Transformations II -- Verification of Architectural Refactorings by Rule Extraction -- Formal Model-Driven Program Refactoring -- An Algebraic Semantics for MOF -- A Formal Framework for Developing Adaptable Service-Based Applications -- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications -- Clint: A Composition Language Interpreter (Tool Paper). |
| Altri titoli varianti |
Joint European Conferences on Theory and Practice of Software
European Joint Conferences on Theory and Practice of Software |
| Record Nr. | UNINA-9910484413103321 |
| Berlin ; ; New York, : Springer, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamental approaches to software engineering : 9th international conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings / / Luciano Baresi, Reiko Heckel (eds.)
| Fundamental approaches to software engineering : 9th international conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings / / Luciano Baresi, Reiko Heckel (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (XIV, 425 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
BaresiLuciano
HeckelReiko |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico | Software engineering |
| ISBN | 3-540-33094-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- A Programming Model for Service Oriented Applications -- Software Engineering: Emerging Goals and Lasting Problems -- Distributed Systems -- GPSL: A Programming Language for Service Implementation -- A Formal Approach to Event-Based Architectures -- Engineering Self-protection for Autonomous Systems -- Orthogonal Process Activities -- A Graph-Based Approach to Transform XML Documents -- OMake: Designing a Scalable Build Process -- Automatic Generation of Tutorial Systems from Development Specification -- A Software Implementation Progress Model -- Behavioral Models and State Machines -- Regular Inference for State Machines with Parameters -- Automated Support for Building Behavioral Models of Event-Driven Systems -- A Behavioral Model for Software Containers -- Empirical Studies -- An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings -- Evaluation of Expected Software Quality: A Customer’s Viewpoint -- Using Design Metrics for Predicting System Flexibility -- Requirements and Design -- Combining Problem Frames and UML in the Description of Software Requirements -- Amplifying the Benefits of Design Patterns: From Specification Through Implementation -- The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts -- Concerned About Separation -- Model-Based Development -- Algebraic Specification of a Model Transformation Engine -- Fundamentals of Debugging Using a Resolution Calculus -- A Technique to Represent and Generate Components in MDA/PIM for Automation -- Validation and Verification -- Argus: Online Statistical Bug Detection -- From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems -- Automated Systematic Testing of Open Distributed Programs -- Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude -- Tool Demonstrations -- JAG: JML Annotation Generation for Verifying Temporal Properties -- LearnLib: A Library for Automata Learning and Experimentation -- Software Evolution -- Trace-Based Memory Aliasing Across Program Versions -- The Pervasiveness of Global Data in Evolving Software Systems -- Relation of Code Clones and Change Couplings. |
| Altri titoli varianti |
FASE 2006
ETAPS 2006 Joint European Conferences on Theory and Practice of Software |
| Record Nr. | UNINA-9910482962403321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| 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 | ||
| ||
