Recent Trends in Algebraic Development Techniques [E-Book] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu.
Codescu, Mihai. (editor)
Diaconescu, Răzvan. (editor) / Țuțu, Ionuț. (editor)
1st ed. 2015.
Cham : Springer, 2015
XI, 171 p. 35 illus. in color. online resource.
Lecture notes in computer science ; 9463
Full Text
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.