Monographs in Computer Science

Algebraic Approaches to Program Semantics

Authors: Manes, Ernest G., Arbib, Michael A.

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-1-4612-4962-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-1-4612-9377-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

In the 1930s, mathematical logicians studied the notion of "effective comput­ ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming languages in which programs could be written in a convenient fashion independent (thanks to compilers and interpreters) of the architecture of any specific machine. The development of such languages led in turn to the general analysis of questions of syntax, structuring strings of symbols which could count as legal programs, and semantics, determining the "meaning" of a program, for example, as the function it computes in transforming input data to output results. An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification. An alternative approach, pioneered by Scott and Strachey, is called denotational semantics: it offers algebraic techniques for characterizing the denotation of (i. e. , the function computed by) a program-the properties of the program can then be checked by direct comparison of the denotation with the specification. This book is an introduction to denotational semantics. More specifically, we introduce the reader to two approaches to denotational semantics: the order semantics of Scott and Strachey and our own partially additive semantics.

Table of contents (14 chapters)

  • An Introduction to Denotational Semantics

    Manes, Ernest G. (et al.)

    Pages 3-37

  • An Introduction to Category Theory

    Manes, Ernest G. (et al.)

    Pages 38-70

  • Partially Additive Semantics

    Manes, Ernest G. (et al.)

    Pages 71-97

  • Assertion Semantics

    Manes, Ernest G. (et al.)

    Pages 98-115

  • Recursive Specifications

    Manes, Ernest G. (et al.)

    Pages 119-145

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-1-4612-4962-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-1-4612-9377-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Algebraic Approaches to Program Semantics
Authors
Series Title
Monographs in Computer Science
Copyright
1986
Publisher
Springer-Verlag New York
Copyright Holder
Springer Science+Business Media New York
eBook ISBN
978-1-4612-4962-7
DOI
10.1007/978-1-4612-4962-7
Softcover ISBN
978-1-4612-9377-4
Series ISSN
0172-603X
Edition Number
1
Number of Pages
XIII, 353
Topics