Semantics with Applications: An Appetizer

Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevan...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Riis Nielson, Hanne (Autor), Nielson, Flemming (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Undergraduate Topics in Computer Science,
Temas:
Compilers (Computer programs).
Computer science.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Operational Semantics
  • More on Operational Semantics
  • Provably Correct Implementation
  • Denotational Semantics
  • More on Denotational Semantics
  • Program Analysis
  • More on Program Analysis
  • Axiomatic Program Verification
  • More on Axiomatic Program Verification
  • Further Reading.

Ejemplares similares