Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully re...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Corradini, Andrea (Editor ), Montanari, Ugo (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Theoretical Computer Science and General Issues, 5486
Temas:
Computer science.
Machine theory.
Computer science-Mathematics.
Mathematical logic.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Mathematics of Computing.
Theory of Computation.
Mathematical Logic and Foundations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares