Algebraic Methodology and Software Technology

Marrying Words and Trees.- Simulation Using Orchestration.- Liberate Computer User from Programming.- An Algebra for Features and Feature Composition.- Petri Nets Are Dioids.- Towards an Efficient Implementation of Tree Automata Completion.- Calculating Invariants as Coreflexive Bisimulations.- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines.- A Declarative Debugger for Maude.- Long-Run Cost Analysis by Approximation of Linear Operators over Dioids.- Towards Validating a Platoon of Cristal Vehicles Using CSP||B.- Explaining Verification Conditions.- Towards Formal Verification of ToolBus Scripts.- A Formal Analysis of Complex Type Flaw Attacks on Security Protocols.- Abstract Interpretation Plugins for Type Systems.- Separation Logic Contracts for a Java-Like Language with Fork/Join.- An Algebraic Semantics for Contract-Based Software Components.- Implementing a Categorical Information System.- Constant Complements, Reversibility and Universal View Updates.- Coinductive Properties of Causal Maps.- Extending Timed Process Algebra with Discrete Stochastic Time.- Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving.- Evolving Specification Engineering.- Verification of Java Programs with Generics.- Domain Axioms for a Family of Near-Semirings.- Generating Specialized Rules and Programs for Demand-Driven Analysis.- Non Expansive ?-Bisimulations.- A Hybrid Approach for Safe Memory Management in C.- Service Specification and Matchmaking Using Description Logic.- System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries.- The Verification of the On-Chip COMA Cache Coherence Protocol.