Coverart for item
The Resource A practical introduction to denotational semantics

A practical introduction to denotational semantics

Label
A practical introduction to denotational semantics
Title
A practical introduction to denotational semantics
Creator
Subject
Language
eng
Cataloging source
UkLiU
http://library.link/vocab/creatorName
Allison, Lloyd
Index
no index present
LC call number
QA76.7
LC item number
.A45 1986
Literary form
non fiction
Series statement
Cambridge computer science texts
Series volume
23
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Programming languages (Electronic computers)
Label
A practical introduction to denotational semantics
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 127-129) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Dimensions
24 cm.
Extent
xii, 132 pages
Isbn
9780521314237
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
A practical introduction to denotational semantics
Publication
Bibliography note
Includes bibliographical references (pages 127-129) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Dimensions
24 cm.
Extent
xii, 132 pages
Isbn
9780521314237
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Brunswick Library StoreBorrow it
      Liverpool, GB
Processing Feedback ...