|
" Mathematical foundations of programming semantics : "
M. Main, A. Melton, M. Mislove ... [et al.], eds.
Document Type
|
:
|
BL
|
Record Number
|
:
|
746484
|
Doc. No
|
:
|
b566433
|
Main Entry
|
:
|
M. Main, A. Melton, M. Mislove ... [et al.], eds.
|
Title & Author
|
:
|
Mathematical foundations of programming semantics : : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings\ M. Main, A. Melton, M. Mislove ... [et al.], eds.
|
Publication Statement
|
:
|
Berlin ; New York : Springer-Verlag, ©1990.
|
Series Statement
|
:
|
Lecture notes in computer science, 442.
|
Page. NO
|
:
|
1 v. (vi, 439 p.) : illustrations ; 25 cm.
|
ISBN
|
:
|
0387527907
|
|
:
|
: 0387973753
|
|
:
|
: 3540527907
|
|
:
|
: 3540973753
|
|
:
|
: 9780387527901
|
|
:
|
: 9780387973753
|
|
:
|
: 9783540527909
|
|
:
|
: 9783540973751
|
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 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.
|
Subject
|
:
|
Computer science -- Mathematics -- Congresses.
|
Subject
|
:
|
Programming languages (Electronic computers) -- Semantics -- Congresses.
|
Subject
|
:
|
sémantique programme.
|
LC Classification
|
:
|
QA76.7M535 1990
|
Added Entry
|
:
|
et al
|
|
:
|
Michael Main
|
| |