Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Codescu, Mihai (Editor), Diaconescu, Răzvan (Editor), Țuțu, Ionuț (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Edition: 1st ed. 2015.
• Series: Lecture Notes in Computer Science, 9463
• Subjects: Computer science.; Software engineering.; Computers.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Mathematics of Computing.; Software Engineering.; Computation by Abstract Devices.; Mathematical Logic and Foundations.

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania. The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus...

Table of Contents:

• On Logic Embeddings and Gödel’s God
• An Institutional Foundation for the K Semantic Framework
• A Theoretical Foundation for Programming Languages Aggregation
• Coalgebraic Semantics of Heavy-Weighted Automata
• Foundations of Logic Programming in Hybridised Logics
• What Is a Derived Signature Morphism?
• Use Case Analysis Based on Formal Methods: An Empirical Study
• A Full Operational Semantics for Asynchronous Relational Networks
• A SOC-Based Formal Specification and Verification of Hybrid Systems.