The Resource Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 2528, 1991 : proceedings, S. Brookes [and others], (eds.)
Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 2528, 1991 : proceedings, S. Brookes [and others], (eds.)
Resource Information
The item Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 2528, 1991 : proceedings, S. Brookes [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 semantics : 7th international conference, Pittsburgh, PA, USA, March 2528, 1991 : proceedings, S. Brookes [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 contains the proceedings of the Seventh International Conferenceon the Mathematical Foundations of Programming Semantics, held at Carnegie Mellon University, March 1991. The conference continued a series of annual meetings, alternating between workshop and conference formats, intended to bring together computer scientists and mathematicians for discussion of research problems, results and directions in programming language semantics and related areas. A major goalof the series is to improve communication and interaction between researchers in these areas and to establish ties between related areas of research. The volume contains revised and refereed versions of each of the contributed papers and refereed papers by three invited speakers:Jon Barwise, John Reynolds, and Mitchell Wand
 Language
 eng
 Extent
 1 online resource (viii, 506 pages)
 Note
 Proceedings of the Seventh International Conference on the Mathematical Foundations of Programming Semantics
 Contents

 Types, abstraction, and parametric polymorphism, part 2
 Callbyvalue combinatory logic and the lambdavalue calculus
 From operational to denotational semantics
 A simple language supporting angelic nondeterminism and parallel composition
 The equivalence of two semantic definitions for inheritance in objectoriented languages
 Primitive recursive functional with dependent types
 Typed homomorphic relations extended with subtypes
 Information links in domain theory
 Nonwellfounded sets and programming language semantics
 Simultaneous substitution in the typed lambda calculus
 HSP type theorems in the category of posets
 Decomposition of domains
 Cartesian closed categories of domains and the space proj(D)
 An upper power domain construction in terms of strongly compact sets
 Correctness of procedure representations in higherorder assembly language
 An algorithm for analyzing communicating processes
 Continuous functions and parallel algorithms on concrete data structures
 Tradeoffs in true concurrency: Pomsets and mazurkiewicz traces
 On relating concurrency and nondeterminism
 On continuous time agents
 A monoidal closed category of event structures
 An exper model for Quest
 Equations for ifthenelse
 Program correctness and matricial iteration theories
 Liminf progress measures
 Connections
 Isbn
 9783540471943
 Label
 Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 2528, 1991 : proceedings
 Title
 Mathematical foundations of programming semantics
 Title remainder
 7th international conference, Pittsburgh, PA, USA, March 2528, 1991 : proceedings
 Statement of responsibility
 S. Brookes [and others], (eds.)
 Subject

 Conference papers and proceedings
 Conference papers and proceedings
 Congressen (vorm)
 Langages de programmation  Sémantique  Congrès
 Langages de programmation  Sémantique  Congrès
 Programmeren (computers)
 Programming languages (Electronic computers)  Semantics
 Programming languages (Electronic computers)  Semantics
 Programming languages (Electronic computers)  Semantics  Congresses
 Semantiek
 Wiskundige methoden
 Language
 eng
 Summary
 This volume contains the proceedings of the Seventh International Conferenceon the Mathematical Foundations of Programming Semantics, held at Carnegie Mellon University, March 1991. The conference continued a series of annual meetings, alternating between workshop and conference formats, intended to bring together computer scientists and mathematicians for discussion of research problems, results and directions in programming language semantics and related areas. A major goalof the series is to improve communication and interaction between researchers in these areas and to establish ties between related areas of research. The volume contains revised and refereed versions of each of the contributed papers and refereed papers by three invited speakers:Jon Barwise, John Reynolds, and Mitchell Wand
 Action
 digitized
 Cataloging source
 OCLCE
 Dewey number
 005.13/1
 Illustrations
 illustrations
 Index
 no index present
 LC call number
 QA76.7
 LC item number
 .M38 1992
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/relatedWorkOrContributorDate
 1991
 http://library.link/vocab/relatedWorkOrContributorName

 Brookes, S. D.
 International Conference on the Mathematical Foundations of Programming Semantics
 Series statement
 Lecture notes in computer science
 Series volume
 598
 http://library.link/vocab/subjectName

 Programming languages (Electronic computers)
 Langages de programmation
 Programming languages (Electronic computers)
 Programmeren (computers)
 Semantiek
 Wiskundige methoden
 Langages de programmation
 Label
 Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 2528, 1991 : proceedings, S. Brookes [and others], (eds.)
 Note
 Proceedings of the Seventh International Conference on the Mathematical Foundations of Programming Semantics
 Antecedent source
 file reproduced from original
 Bibliography note
 Includes bibliographical references
 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
 Types, abstraction, and parametric polymorphism, part 2  Callbyvalue combinatory logic and the lambdavalue calculus  From operational to denotational semantics  A simple language supporting angelic nondeterminism and parallel composition  The equivalence of two semantic definitions for inheritance in objectoriented languages  Primitive recursive functional with dependent types  Typed homomorphic relations extended with subtypes  Information links in domain theory  Nonwellfounded sets and programming language semantics  Simultaneous substitution in the typed lambda calculus  HSP type theorems in the category of posets  Decomposition of domains  Cartesian closed categories of domains and the space proj(D)  An upper power domain construction in terms of strongly compact sets  Correctness of procedure representations in higherorder assembly language  An algorithm for analyzing communicating processes  Continuous functions and parallel algorithms on concrete data structures  Tradeoffs in true concurrency: Pomsets and mazurkiewicz traces  On relating concurrency and nondeterminism  On continuous time agents  A monoidal closed category of event structures  An exper model for Quest  Equations for ifthenelse  Program correctness and matricial iteration theories  Liminf progress measures  Connections
 Control code
 658154285
 Dimensions
 unknown
 Extent
 1 online resource (viii, 506 pages)
 File format
 one file format
 Form of item
 online
 Isbn
 9783540471943
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other physical details
 illustrations.
 Reproduction note
 Electronic reproduction.
 Specific material designation
 remote
 System control number
 (OCoLC)658154285
 System details
 Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
 Label
 Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 2528, 1991 : proceedings, S. Brookes [and others], (eds.)
 Note
 Proceedings of the Seventh International Conference on the Mathematical Foundations of Programming Semantics
 Antecedent source
 file reproduced from original
 Bibliography note
 Includes bibliographical references
 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
 Types, abstraction, and parametric polymorphism, part 2  Callbyvalue combinatory logic and the lambdavalue calculus  From operational to denotational semantics  A simple language supporting angelic nondeterminism and parallel composition  The equivalence of two semantic definitions for inheritance in objectoriented languages  Primitive recursive functional with dependent types  Typed homomorphic relations extended with subtypes  Information links in domain theory  Nonwellfounded sets and programming language semantics  Simultaneous substitution in the typed lambda calculus  HSP type theorems in the category of posets  Decomposition of domains  Cartesian closed categories of domains and the space proj(D)  An upper power domain construction in terms of strongly compact sets  Correctness of procedure representations in higherorder assembly language  An algorithm for analyzing communicating processes  Continuous functions and parallel algorithms on concrete data structures  Tradeoffs in true concurrency: Pomsets and mazurkiewicz traces  On relating concurrency and nondeterminism  On continuous time agents  A monoidal closed category of event structures  An exper model for Quest  Equations for ifthenelse  Program correctness and matricial iteration theories  Liminf progress measures  Connections
 Control code
 658154285
 Dimensions
 unknown
 Extent
 1 online resource (viii, 506 pages)
 File format
 one file format
 Form of item
 online
 Isbn
 9783540471943
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other physical details
 illustrations.
 Reproduction note
 Electronic reproduction.
 Specific material designation
 remote
 System control number
 (OCoLC)658154285
 System details
 Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Subject
 Conference papers and proceedings
 Conference papers and proceedings
 Congressen (vorm)
 Langages de programmation  Sémantique  Congrès
 Langages de programmation  Sémantique  Congrès
 Programmeren (computers)
 Programming languages (Electronic computers)  Semantics
 Programming languages (Electronic computers)  Semantics
 Programming languages (Electronic computers)  Semantics  Congresses
 Semantiek
 Wiskundige methoden
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/Mathematicalfoundationsofprogrammingsemantics/rYVK0OfRAaI/" 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/Mathematicalfoundationsofprogrammingsemantics/rYVK0OfRAaI/">Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 2528, 1991 : proceedings, S. Brookes [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 semantics : 7th international conference, Pittsburgh, PA, USA, March 2528, 1991 : proceedings, S. Brookes [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/Mathematicalfoundationsofprogrammingsemantics/rYVK0OfRAaI/" 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/Mathematicalfoundationsofprogrammingsemantics/rYVK0OfRAaI/">Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 2528, 1991 : proceedings, S. Brookes [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>