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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Nielson, Hanne Riis (Συγγραφέας), Nielson, Flemming (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: London : Springer London, 2007.
Σειρά:Undergraduate Topics in Computer Science,
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.