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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Riis Nielson, Hanne (Author), Nielson, Flemming (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: London : Springer London : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Undergraduate Topics in Computer Science,
Subjects:
Compilers (Computer programs).
Computer science.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Online Access:Texto Completo
Table of Contents:
  • 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.

Similar Items