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...
Κύριοι συγγραφείς: | , |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | 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.