عنوان
پدید آورنده
موضوع
رده
QA76.7 M535 1990
QA76
.
7
M535
1990
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387527907
(Number (ISBN
0387973753
(Number (ISBN
3540527907
(Number (ISBN
3540973753
(Number (ISBN
9780387527901
(Number (ISBN
9780387973753
(Number (ISBN
9783540527909
(Number (ISBN
9783540973751
NATIONAL BIBLIOGRAPHY NUMBER
Number
b566433
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Mathematical foundations of programming semantics :
General Material Designation
[Book]
Other Title Information
5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
First Statement of Responsibility
M. Main, A. Melton, M. Mislove ... [et al.], eds.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ; New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
©1990.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 v. (vi, 439 p.) : illustrations ; 25 cm.
SERIES
Series Title
Lecture notes in computer science, 442.
CONTENTS NOTE
Text of Note
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 real-time 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 category-theoretic semantics for unbounded indeterminacy.- Algebraic types in PER models.- Pseudo-retract functors for local lattices and bifinte L-domains.- L-domains 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.
TOPICAL NAME USED AS SUBJECT
Computer science -- Mathematics -- Congresses.
Programming languages (Electronic computers) -- Semantics -- Congresses.
sémantique programme.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
7
Book number
M535
1990
PERSONAL NAME - PRIMARY RESPONSIBILITY
M. Main, A. Melton, M. Mislove ... [et al.], eds.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
et al
Michael Main
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
