Coverart for item
The Resource Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings, M. Main [and others] (eds.)

Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings, M. Main [and others] (eds.)

Label
Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
Title
Mathematical foundations of programming language semantics
Title remainder
3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
Statement of responsibility
M. Main [and others] (eds.)
Contributor
Editor
Subject
Genre
Language
eng
Summary
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
Member of
Cataloging source
NLGGC
Dewey number
005.13/1
Illustrations
illustrations
Index
no index present
LC call number
QA76.9.M35
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
08-04-1987 - 10-04-1987
http://library.link/vocab/relatedWorkOrContributorName
  • Main, Michael
  • Workshop on the Mathematical Foundations of Programming Language Semantics
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Computer science
  • Computer science
  • Programming languages (Electronic computers)
Label
Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings, M. Main [and others] (eds.)
Instantiates
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Categorical and Algebraic Methods -- Structure Theory of Continuous Posets and Related Objects -- Domain Theory -- Domain Theory and Theoretical Computation -- Implementation Issues -- New Directions
Control code
150336388
Extent
1 online resource (VIII, 637 pages)
Form of item
online
Isbn
9783540389200
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Specific material designation
remote
System control number
(OCoLC)150336388
Label
Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings, M. Main [and others] (eds.)
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Categorical and Algebraic Methods -- Structure Theory of Continuous Posets and Related Objects -- Domain Theory -- Domain Theory and Theoretical Computation -- Implementation Issues -- New Directions
Control code
150336388
Extent
1 online resource (VIII, 637 pages)
Form of item
online
Isbn
9783540389200
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Specific material designation
remote
System control number
(OCoLC)150336388

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...