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 : 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 | ||
| ||
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 | ||
| ||
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 : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings / / Peter Sestoft (ed.)
| Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings / / Peter Sestoft (ed.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2006 |
| Descrizione fisica | 1 online resource (XII, 342 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) | SestoftPeter |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
| ISBN | 3-540-33096-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space Analysis -- Haskell Is Not Not ML -- Coinductive Big-Step Operational Semantics -- Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent Calculus -- Pure Pattern Calculus -- A Verification Methodology for Model Fields -- ILC: A Foundation for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed Assembly Language for Confidentiality -- Flow Locks: Towards a Core Calculus for Dynamic Flow Policies -- A Basic Contract Language for Web Services -- Types for Dynamic Reconfiguration -- Size-Change Termination Analysis in k-Bits -- Path Optimization in Programs and Its Application to Debugging -- Inference of User-Defined Type Qualifiers and Qualifier Rules -- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions -- Embedding Dynamic Dataflow in a Call-by-Value Language -- Polymorphic Type Inference for the JNI -- Type Safety of Generics for the .NET Common Language Runtime -- The Weird World of Bi-directional Programming. |
| Altri titoli varianti |
15th European Symposium on Programming
Fifteenth European Symposium on Programming European Symposium on Programming ESOP 2006 Joint European Conferences on Theory and Practice of Software ETAPS 2006 |
| Record Nr. | UNINA-9910767587703321 |
| Berlin ; ; New York, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings / / Holger Hermanns, Jens Palsberg (eds.)
| Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings / / Holger Hermanns, Jens Palsberg (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2006 |
| Descrizione fisica | 1 online resource (XVI, 512 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
HermannsHolger <1967->
PalsbergJens |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
System design
Computer software - Development |
| ISBN | 3-540-33057-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- Weighted Pushdown Systems and Trust-Management Systems -- Parametrization and Slicing -- Automatic Verification of Parameterized Data Structures -- Parameterized Verification of ?-Calculus Systems -- Easy Parameterized Verification of Biphase Mark and 8N1 Protocols -- Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques -- New Metrics for Static Variable Ordering in Decision Diagrams -- Widening ROBDDs with Prime Implicants -- Efficient Guided Symbolic Reachability Using Reachability Expressions -- Satisfiability -- SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver -- SAT-Based Software Certification -- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification -- Abstraction -- Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems -- Why Waste a Perfectly Good Abstraction? -- Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking -- Approximating Predicate Images for Bit-Vector Logic -- Model Checking Algorithms -- Finitary Winning in ?-Regular Games -- Efficient Model Checking for LTL with Partial Order Snapshots -- A Local Shape Analysis Based on Separation Logic -- Program Verification -- Compositional Model Extraction for Higher-Order Concurrent Programs -- A Region Graph Based Approach to Termination Proofs -- Verifying Concurrent Message-Passing C Programs with Recursive Calls -- Automata-Based Verification of Programs with Tree Updates -- Runtime Diagnostics -- An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults -- Exploiting Traces in Program Analysis -- Quantitative Techniques -- Model-Checking Markov Chains in the Presence of Uncertainties -- Safety Metric Temporal Logic Is Fully Decidable -- Simulation-Based Graph Similarity -- Tool Demonstrations -- PRISM: A Tool for Automatic Verification of Probabilistic Systems -- DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation -- mcmas: A Model Checker for Multi-agent Systems -- MSCan – A Tool for Analyzing MSC Specifications -- Refinement -- A Practical and Complete Approach to Predicate Refinement -- Counterexample Driven Refinement for Abstract Interpretation -- Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. |
| Altri titoli varianti |
TACAS 2006
ETAPS 2006 Joint European Conferences on Theory and Practice of Software |
| Record Nr. | UNINA-9910768468103321 |
| Berlin ; ; New York, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||