A practical introduction to denotational semantics / Lloyd Allison
- Bib ID:
- 2094607
- Format:
- Book
- Author:
- Allison, Lloyd
- Online Version:
-
- Table of contents
Broken link? let us search Trove , the Wayback Machine , or Google for you.
- Sample text
Broken link? let us search Trove , the Wayback Machine , or Google for you.
- Table of contents
- Related Online Resources:
- Publisher description
Broken link? let us search Trove , the Wayback Machine , or Google for you.
- Description:
-
- Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986
- xii, 132 p. : ill. ; 24 cm.
- ISBN:
-
- 0521306892
- 0521314232
- Series:
-
- Cambridge computer science texts ; 23.
- Cambridge computer science texts ; 23
- Full contents:
-
- Machine derived contents note: 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.
- Notes:
-
- Includes indexes.
- Bibliography: p. [127]-129.
- Subject:
- Copyright:
-
Copyright Undetermined
Contact us for information about copying.
- Reason for copyright status:
- Unable to determine type of work
Copyright status was determined using the following information:
- Material type:
- Undetermined
Copyright status may not be correct if data in the record is incomplete or inaccurate. Other access conditions may also apply. For more information please see: Copyright in library collections.
Request this item
Request this item to view in the Library’s reading room.
Loading...
Feedback
Similar items
- Programming languages implementation and logic programming : international workshop, PLILP '88, Orleans, France, May 16-18, 1988 : proceedings / P. Deransart, B. Lorho, J. Maluszynski, eds
- Attribute grammars : definitions, systems, and bibliography / Pierre Deransart, Martin Jourdan, Bernard Lorho
- UNIMATCH : a record linkage system : users manual / [prepared by Matthew A. Jaro]
- Determinism analysis in the mercury compiler / Fergus Henderson, Zoltan Somogyi, Thomas Conway
- Declarative agent languages and technologies : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers / João Leite ... [et al.], eds