The Resource Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 810, 1987 : proceedings, M. Main [and others] (eds.)
Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 810, 1987 : proceedings, M. Main [and others] (eds.)
Resource Information
The item Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 810, 1987 : proceedings, M. Main [and others] (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 810, 1987 : proceedings, M. Main [and others] (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
 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 810, 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 Lambdacalculus to the structure theory of domains and power domains, to implementation issues surrounding semantics
 Language
 eng
 Extent
 1 online resource (VIII, 637 pages)
 Contents

 Categorical and Algebraic Methods
 Structure Theory of Continuous Posets and Related Objects
 Domain Theory
 Domain Theory and Theoretical Computation
 Implementation Issues
 New Directions
 Isbn
 9783540389200
 Label
 Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 810, 1987 : proceedings
 Title
 Mathematical foundations of programming language semantics
 Title remainder
 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 810, 1987 : proceedings
 Statement of responsibility
 M. Main [and others] (eds.)
 Subject

 Computer science  Mathematics
 Computer science  Mathematics  Congresses
 Conference papers and proceedings
 Conference papers and proceedings
 Programming languages (Electronic computers)  Semantics
 Programming languages (Electronic computers)  Semantics
 Programming languages (Electronic computers)  Semantics  Congresses
 Computer science  Mathematics
 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 810, 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 Lambdacalculus to the structure theory of domains and power domains, to implementation issues surrounding semantics
 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
 08041987  10041987
 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 810, 1987 : proceedings, M. Main [and others] (eds.)
 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 810, 1987 : proceedings, M. Main [and others] (eds.)
 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
Subject
 Computer science  Mathematics
 Computer science  Mathematics  Congresses
 Conference papers and proceedings
 Conference papers and proceedings
 Programming languages (Electronic computers)  Semantics
 Programming languages (Electronic computers)  Semantics
 Programming languages (Electronic computers)  Semantics  Congresses
 Computer science  Mathematics
Genre
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Mathematicalfoundationsofprogramminglanguage/yGWFvOb_2d4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Mathematicalfoundationsofprogramminglanguage/yGWFvOb_2d4/">Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 810, 1987 : proceedings, M. Main [and others] (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 810, 1987 : proceedings, M. Main [and others] (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Mathematicalfoundationsofprogramminglanguage/yGWFvOb_2d4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Mathematicalfoundationsofprogramminglanguage/yGWFvOb_2d4/">Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 810, 1987 : proceedings, M. Main [and others] (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>