Mathematical Foundations of Programming Language Semantics

Mathematical Foundations of Programming Language Semantics

  • Michael Main
  • Austin Melton
  • Michael Mislove
  • David Schmidt
Publisher:Springer Science & Business MediaISBN 13: 9783540190202ISBN 10: 3540190201

Paperback & Hardcover deals ―

Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹3,503Book ChorGOCrosswordGODC BooksGO

e-book & Audiobook deals ―

Amazon India GOGoogle Play Books GOAudible GO

* Price may vary from time to time.

* GO = We're not able to fetch the price (please check manually visiting the website).

Know about the book -

Mathematical Foundations of Programming Language Semantics is written by Michael Main and published by Springer Science & Business Media. It's available with International Standard Book Number or ISBN identification 3540190201 (ISBN 10) and 9783540190202 (ISBN 13).

This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st Workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd Workshop with a limited number of participants was at Kansas State in April, 1986. It was the intention of the organizers that the 3rd Workshop survey as many areas of the Mathematical Foundations of Programming Language Semantics as reasonably possible. The Workshop attracted 49 submitted papers, from which 28 papers were chosen for presentation. The papers ranged in subject from category theory and Lambda-calculus to the structure theory of domains and power domains, to implementation issues surrounding semantics.