عنوان

Mathematical foundations of programming semantics :

0387527907

0387973753

3540527907

3540973753

9780387527901

9780387973753

9783540527909

9783540973751

b566433

Mathematical foundations of programming semantics :

[Book]

5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings

M. Main, A. Melton, M. Mislove ... [et al.], eds.

Berlin ; New York

Springer-Verlag

©1990.

1 v. (vi, 439 p.) : illustrations ; 25 cm.

Lecture notes in computer science, 442.

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.

Computer science -- Mathematics -- Congresses.

Programming languages (Electronic computers) -- Semantics -- Congresses.

sémantique programme.

M. Main, A. Melton, M. Mislove ... [et al.], eds.

et al

Michael Main

[Book]

Y