عنوان

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