An edition of Algebraic approaches to program semantics (1986)

Algebraic approaches to program semantics

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Algebraic approaches to program semantics by Ernest G. Manes
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
December 11, 2022 | History
Edit
An edition of Algebraic approaches to program semantics (1986)

Algebraic approaches to program semantics

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

Defining programming-language semantics algebraically using two approaches based on denotational semantics: order semantics and partially additive semantics.

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
351

Check nearby libraries

Buy this book

Subjects
Algebra, Programming languages (Electronic computers), Semantics

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Algebraic approaches to program semantics
Algebraic approaches to program semantics
1986, Springer-Verlag
hardcover in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Table of Contents

Part 1. Denotational Semantics of Control
1. An Introduction to Denotational Semantics Page 3
2. An Introduction to Category Theory Page 38
3. Partially Additive Semantics Page 71
4. Assertion Semantics Page 98
Part 2. Semantics of Recursion
5. Recursive Specifications Page 119
6. Order Semantics of Recursion Page 146
7. Canonical Fixed Points Page 176
8. Partially Additive Semantics of Recursion Page 180
9. Fixed Points in Metric Spaces Page 210
Part 3. Data Types
10. Functors Page 235
11. Recursive Specification of Data Types Page 258
12. Parametric Specification Page 279
13. Order Semantics of Data Types Page 293
14. Equational Specification Page 318
Epilogue Page 341
Author Index Page 345
Subject Index Page 347

Edition Notes

Includes bibliographies and indexes.

Published in
New York
Series
The AKM series in theoretical computer science

Classifications

Dewey Decimal Class
005.13/1
Library of Congress
QA76.7 .M34 1986

The Physical Object

Format
hardcover
Pagination
xiii, 351 p. :
Number of pages
351
Weight
700 grams

ID Numbers

Open Library
OL2713665M
ISBN 10
0387963243
LCCN
86006563
OCLC/WorldCat
13395273
Library Thing
2544356
Goodreads
4903696

Source records

amazon.com record
Library of Congress MARC record
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 11, 2022 Edited by MARC Bot import existing book
November 4, 2020 Edited by MARC Bot import existing book
March 10, 2019 Edited by ImportBot import existing book
August 20, 2015 Edited by r. clayton Added new cover
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record