19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
De som köpt den här boken har ofta också köpt The Anxious Generation av Jonathan Haidt (inbunden).
Köp båda 2 för 1049 krInvited 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.