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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Codescu, Mihai (Επιμελητής έκδοσης), Diaconescu, Răzvan (Επιμελητής έκδοσης), Țuțu, Ionuț (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Έκδοση: 1st ed. 2015.
• Σειρά: Lecture Notes in Computer Science, 9463
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.