The Resource Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29April 1, 1989 : proceedings, M. Main [and others], eds
Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29April 1, 1989 : proceedings, M. Main [and others], eds
Resource Information
The item Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29April 1, 1989 : 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 semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29April 1, 1989 : 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 is the latest in a series of proceedings of conferences on the Mathematical Foundations of Programming Semantics. The purpose of the series is to bring together mathematicians and theoretical computer scientists who share the common interests of working on problems related to programming language semantics. The purpose of the book is to bring into print as quickly as possible papers which reflect the state of research on the topics comprising this area. The intended audience for the book consists of those researchers and graduate students with an interest in the research areas which are related to those presented in the book: programming language semantics, including algebraic, denotational and operational semantics, logics of programs, specification techniques, etc., and the relevant areas of mathematics research, including category theory, domain theory, ordered structures and lattice theory, and metric space methods. The papers included in the book represent the latest results in various facets of this rather broad research area, and this is the first time some of the ideas contained in these works are appearing in print
 Language
 eng
 Extent
 1 online resource (vi, 439 pages)
 Note
 Proceedings of the Fifth International Conference on the Mathematical Foundations of Programming Semantics
 Contents

 A generalized Kahn Principle for abstract asynchronous networks
 Operations on records
 Connections between a concrete and an abstract model of concurrent systems
 A hierarchy of domains for realtime distributed computing
 Factorizing proofs in timed CSP
 Unbounded nondeterminism in CSP
 The semantics of priority and fairness in occam
 Inductively defined types in the Calculus of Constructions
 On some semantic issues in the reflective tower
 Semantic models for total correctness and fairness
 Equationally fully abstract models of PCF
 Generalization of final algebra semantics by relativization
 Termination, deadlock and divergence
 A categorytheoretic semantics for unbounded indeterminacy
 Algebraic types in PER models
 Pseudoretract functors for local lattices and bifinte Ldomains
 Ldomains and lossless powerdomains
 Does "N+1 times" prove more programs correct than "N times"?
 An algebraic formulation for data refinement
 Categorical semantics for programming languages
 Initial algebra semantics for lambda calculi
 Isbn
 9780387348087
 Label
 Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29April 1, 1989 : proceedings
 Title
 Mathematical foundations of programming semantics
 Title remainder
 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29April 1, 1989 : proceedings
 Statement of responsibility
 M. Main [and others], eds
 Subject

 Computer science  Mathematics
 Computer science  Mathematics
 Computer science  Mathematics  Congresses
 Conference papers and proceedings
 Conference papers and proceedings
 Informatique  Mathématiques  Congrès
 Langages de programmation  Sémantique  Congrès
 Langages de programmation  Sémantique  Congrès
 Programming languages (Electronic computers)  Semantics
 Programming languages (Electronic computers)  Semantics
 Programming languages (Electronic computers)  Semantics  Congresses
 Programming languages (Electronic computers)  Semantics  Congresses
 Language
 eng
 Summary
 This is the latest in a series of proceedings of conferences on the Mathematical Foundations of Programming Semantics. The purpose of the series is to bring together mathematicians and theoretical computer scientists who share the common interests of working on problems related to programming language semantics. The purpose of the book is to bring into print as quickly as possible papers which reflect the state of research on the topics comprising this area. The intended audience for the book consists of those researchers and graduate students with an interest in the research areas which are related to those presented in the book: programming language semantics, including algebraic, denotational and operational semantics, logics of programs, specification techniques, etc., and the relevant areas of mathematics research, including category theory, domain theory, ordered structures and lattice theory, and metric space methods. The papers included in the book represent the latest results in various facets of this rather broad research area, and this is the first time some of the ideas contained in these works are appearing in print
 Cataloging source
 SCPER
 Dewey number
 005.13/1
 Illustrations
 illustrations
 Index
 no index present
 LC call number
 QA76.7
 LC item number
 .M38 1990
 Literary form
 non fiction
 Nature of contents

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

 1956
 1989
 http://library.link/vocab/relatedWorkOrContributorName

 Main, M.
 International Conference on the Mathematical Foundations of Programming Semantics
 Series statement
 Lecture notes in computer science,
 Series volume
 442
 http://library.link/vocab/subjectName

 Programming languages (Electronic computers)
 Computer science
 Computer science
 Programming languages (Electronic computers)
 Informatique
 Langages de programmation
 Programming languages (Electronic computers)
 Langages de programmation
 Label
 Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29April 1, 1989 : proceedings, M. Main [and others], eds
 Note
 Proceedings of the Fifth International Conference on the Mathematical Foundations of Programming Semantics
 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
 A generalized Kahn Principle for abstract asynchronous networks  Operations on records  Connections between a concrete and an abstract model of concurrent systems  A hierarchy of domains for realtime distributed computing  Factorizing proofs in timed CSP  Unbounded nondeterminism in CSP  The semantics of priority and fairness in occam  Inductively defined types in the Calculus of Constructions  On some semantic issues in the reflective tower  Semantic models for total correctness and fairness  Equationally fully abstract models of PCF  Generalization of final algebra semantics by relativization  Termination, deadlock and divergence  A categorytheoretic semantics for unbounded indeterminacy  Algebraic types in PER models  Pseudoretract functors for local lattices and bifinte Ldomains  Ldomains and lossless powerdomains  Does "N+1 times" prove more programs correct than "N times"?  An algebraic formulation for data refinement  Categorical semantics for programming languages  Initial algebra semantics for lambda calculi
 Control code
 321342260
 Dimensions
 unknown
 Extent
 1 online resource (vi, 439 pages)
 Form of item
 online
 Isbn
 9780387348087
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other physical details
 illustrations.
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)321342260
 Label
 Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29April 1, 1989 : proceedings, M. Main [and others], eds
 Note
 Proceedings of the Fifth International Conference on the Mathematical Foundations of Programming Semantics
 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
 A generalized Kahn Principle for abstract asynchronous networks  Operations on records  Connections between a concrete and an abstract model of concurrent systems  A hierarchy of domains for realtime distributed computing  Factorizing proofs in timed CSP  Unbounded nondeterminism in CSP  The semantics of priority and fairness in occam  Inductively defined types in the Calculus of Constructions  On some semantic issues in the reflective tower  Semantic models for total correctness and fairness  Equationally fully abstract models of PCF  Generalization of final algebra semantics by relativization  Termination, deadlock and divergence  A categorytheoretic semantics for unbounded indeterminacy  Algebraic types in PER models  Pseudoretract functors for local lattices and bifinte Ldomains  Ldomains and lossless powerdomains  Does "N+1 times" prove more programs correct than "N times"?  An algebraic formulation for data refinement  Categorical semantics for programming languages  Initial algebra semantics for lambda calculi
 Control code
 321342260
 Dimensions
 unknown
 Extent
 1 online resource (vi, 439 pages)
 Form of item
 online
 Isbn
 9780387348087
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other physical details
 illustrations.
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)321342260
Subject
 Computer science  Mathematics
 Computer science  Mathematics
 Computer science  Mathematics  Congresses
 Conference papers and proceedings
 Conference papers and proceedings
 Informatique  Mathématiques  Congrès
 Langages de programmation  Sémantique  Congrès
 Langages de programmation  Sémantique  Congrès
 Programming languages (Electronic computers)  Semantics
 Programming languages (Electronic computers)  Semantics
 Programming languages (Electronic computers)  Semantics  Congresses
 Programming languages (Electronic computers)  Semantics  Congresses
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/YpswYGBW6s/" 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/YpswYGBW6s/">Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29April 1, 1989 : 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 semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29April 1, 1989 : 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/Mathematicalfoundationsofprogrammingsemantics/YpswYGBW6s/" 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/YpswYGBW6s/">Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29April 1, 1989 : 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>