Andere Kunden interessierten sich auch für
![Introduction to Software Testing]( "Introduction to Software Testing")
Introduction to Software Testing48,99 €![Formal Semantics and Pragmatics for Natural Language Querying]( "Formal Semantics and Pragmatics for Natural Language Querying")
Formal Semantics and Pragmatics for Natural Language Querying60,99 €![The Road to the Unified Software Development Process]( "The Road to the Unified Software Development Process")
The Road to the Unified Software Development Process77,99 €![A Practical Handbook for Software Development]( "A Practical Handbook for Software Development")
A Practical Handbook for Software Development71,99 €![Introduction to computer programming basics and activities]( "Introduction to computer programming basics and activities")
Introduction to computer programming basics and activities26,99 €![Practical Free Alternatives to Commercial Software]( "Practical Free Alternatives to Commercial Software")
Practical Free Alternatives to Commercial Software22,99 €![Introduction to Information Retrieval]( "Introduction to Information Retrieval")
Introduction to Information Retrieval51,99 €
This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions. The first section is devoted to the mathematical foundations of the subject and sufficient detail is given to illustrate the fundamental problems. The remainder of the book covers the use of denotational semantics to describe sequential programming languages such as Algol, Pascal and C. Throughout, numerous exercises, usually in Pascal, will help the student practise writing definitions and carry out simple applications. The book culminates in discussing an executable semantics of the logic-programming language Prolog. Being an introduction, advanced undergraduates in computer science and graduates new to the subject will find this a readily accessible account of one of the central topics of computer science.
Table of contents:
Preface; Acknowledgements; Glossary; 1. Introduction; 2. Basics; 3. Notation; 4. Lattices; 5. A simple language; 6. Direct semantics; 7. Control; 8. Data structures and data types; 9. A prolog semantics; 10. Miscellaneous; Appendix; References; Index of definitions; Subject index.
This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions.
This textbook is an introduction to denotational semantics and its applications to programming languages.
Table of contents:
Preface; Acknowledgements; Glossary; 1. Introduction; 2. Basics; 3. Notation; 4. Lattices; 5. A simple language; 6. Direct semantics; 7. Control; 8. Data structures and data types; 9. A prolog semantics; 10. Miscellaneous; Appendix; References; Index of definitions; Subject index.
This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions.
This textbook is an introduction to denotational semantics and its applications to programming languages.