صورة الغلاف المحلية
عرض عادي
A paradigm for program semantics : power structures and duality / Chris Brink & Ingrid Rewitzky.
نوع المادة :
نصاللغة: الإنجليزية السلاسل:Studies in logic, language, and information ; no. 17.وصف:xi, 273 pages : illustration ; 23 cmنوع المحتوى:- text
- unmediated
- volume
- 1575863456 (alk. paper)
- 9781575863450 (alk. paper)
- 1575863448 (pbk. : alk. paper)
- 9781575863443 (pbk. : alk. paper)
- BC135 .B747 2001
المحتويات:
ملخص:This text provides a synthesis of four versions of program semantics - relational semantics, predicate transformer semantics, information systems and domain theory - showing that is is possible to do back-and-forth translation from any of these versions of program semantics into any of the others.
1. The Paradigm Triangle -- 2. Power Structures and Duality -- 3. Program Semantics -- 4. Verisimilitude -- 5. The Relational Model as a Priestley Space -- 6. Translations -- A. Background in the Calculus of Binary Relations -- B. Background in Lattice Theory -- C. Background in Topology.
| نوع المادة | المكتبة الحالية | رقم الطلب | رقم النسخة | حالة | تاريخ الإستحقاق | الباركود | |
|---|---|---|---|---|---|---|---|
كتاب
|
UAE Federation Library | مكتبة اتحاد الإمارات General Collection | المجموعات العامة | BC135 .B747 2001 (إستعراض الرف(يفتح أدناه)) | C.1 | Library Use Only | داخل المكتبة فقط | 30030000005998 | ||
|
كتاب
|
UAE Federation Library | مكتبة اتحاد الإمارات General Collection | المجموعات العامة | BC135 .B747 2001 (إستعراض الرف(يفتح أدناه)) | C.2 | المتاح | 30030000005997 |
Includes bibliographical references (p. 239-251) and indexes.
1. The Paradigm Triangle -- 2. Power Structures and Duality -- 3. Program Semantics -- 4. Verisimilitude -- 5. The Relational Model as a Priestley Space -- 6. Translations -- A. Background in the Calculus of Binary Relations -- B. Background in Lattice Theory -- C. Background in Topology.
This text provides a synthesis of four versions of program semantics - relational semantics, predicate transformer semantics, information systems and domain theory - showing that is is possible to do back-and-forth translation from any of these versions of program semantics into any of the others.
اضغط على الصورة لمشاهدتها في عارض الصور
