| 书目名称 | Semantics with Applications: An Appetizer |
| 编辑 | Hanne Riis Nielson,Flemming Nielson |
| 视频video | |
| 概述 | Provides a rigorous introduction to the main approaches to formal semantics of programming languages.Breaks new ground by considering the validation of compilers, static program analysers, validation |
| 丛书名称 | Undergraduate Topics in Computer Science |
| 图书封面 |  |
| 描述 | .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 relevant theorems; and illustrates the applications of semantics in computer science. ...This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages. Verifying program analyses that are part of more advanced implementations of programming languages. Verifying security analyses. Verifying useful program properties including information about execution time.. |
| 出版日期 | Textbook 2007 |
| 关键词 | Axiomatic semantics; Operational Semantics; Proof Systems; Security Validation; Static Analysers; program |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-84628-692-6 |
| isbn_softcover | 978-1-84628-691-9 |
| isbn_ebook | 978-1-84628-692-6Series ISSN 1863-7310 Series E-ISSN 2197-1781 |
| issn_series | 1863-7310 |
| copyright | Springer-Verlag London 2007 |
发表于 2025-3-21 16:27:24
