Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /

Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bowen, Jonathan P. (Editor ), Zhu, Huibiao. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Theoretical Computer Science and General Issues ; 10134
Materias:
Computer logic.
Programming languages (Electronic computers).
Software engineering.
Mathematical logic.
Computers.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Tabla de Contenidos:
  • Abstraction refinement
  • Choice
  • Termination
  • Feasibility
  • Locality.-Concurrency
  • Communication. .

Ejemplares similares