رکورد قبلیرکورد بعدی

" Mathematical foundations of programming semantics : "


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.7‬‭M535 1990‬
Added Entry : et al
: Michael Main
کپی لینک

پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟