Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together wi...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Naumann, David (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Cham : Springer International Publishing : Imprint: Springer, 2015.
Édition:1st ed. 2015.
Collection:Theoretical Computer Science and General Issues, 8963
Sujets:
Computer science.
Compilers (Computer programs).
Software engineering.
Machine theory.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Software Engineering.
Formal Languages and Automata Theory.
Theory of Computation.
Accès en ligne:Texto Completo
Table des matières:
  • Numerous formal notations.- Theories of programming
  • Abstraction
  • Refinement
  • Choice
  • Termination
  • Feasibility
  • Locality
  • Concurrency and communication.

Documents similaires