標(biāo)題: Titlebook: Algol-like Languages; Peter W. O’Hearn,Robert D. Tennent Book 1997 Springer Science+Business Media New York 1997 ALGOL.Computer.Languages. [打印本頁] 作者: ED431 時間: 2025-3-21 19:50
書目名稱Algol-like Languages影響因子(影響力)
書目名稱Algol-like Languages影響因子(影響力)學(xué)科排名
書目名稱Algol-like Languages網(wǎng)絡(luò)公開度
書目名稱Algol-like Languages網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Algol-like Languages被引頻次
書目名稱Algol-like Languages被引頻次學(xué)科排名
書目名稱Algol-like Languages年度引用
書目名稱Algol-like Languages年度引用學(xué)科排名
書目名稱Algol-like Languages讀者反饋
書目名稱Algol-like Languages讀者反饋學(xué)科排名
作者: Instinctive 時間: 2025-3-21 21:36 作者: epicondylitis 時間: 2025-3-22 01:44 作者: Bravura 時間: 2025-3-22 04:51
Wolfgang Beitz,Karl-Heinz Küttneronistic theory, using a form of possible-world semantics first applied to programming-language interpretation by Reynolds and F. J. Oles to give an abstract treatment of stack-oriented storage management. The model provides a satisfactory solution to all previously-known problems with the interpreta作者: 軍火 時間: 2025-3-22 11:07 作者: 怒目而視 時間: 2025-3-22 14:19
Wolfgang Beitz,Karl-Heinz Küttnercant full-abstraction result for a block-structured language with local variables. As all the published ‘test equivalences’ [MS88, Len93, 0T95] for .-like languages are contained in the second-order subset, they can all be validated (easily) in our denotational model.作者: CHANT 時間: 2025-3-22 18:53
A. Burr,K.-H. Habig,G. Harsch,K. H. Kloosve basis for our proposal is the following analogy: a non-local procedure is independent of locally-declared variables in the same way that a parametrically polymorphic function is independent of types to which it is instantiated.作者: overture 時間: 2025-3-22 21:36 作者: LEER 時間: 2025-3-23 02:27
DUBBEL - Handbook of Mechanical Engineerings in .-like languages. The resulting linguistic framework seems to be a very satisfactory way of combining functional and imperative concepts, having the desirable attributes of . purely functional languages (such as PCF) . simple imperative languages (such as the language of while programs).作者: placebo 時間: 2025-3-23 08:48
DUBBEL - Handbook of Mechanical Engineeringd on a notion of . and characterize them in terms of their observable behavior. States are regarded as part of the internal structure of objects and play no role in the observable behavior. It is shown that this leads to considerable accuracy in the semantic modelling of locality and single-threaded作者: ear-canal 時間: 2025-3-23 13:25 作者: 煩躁的女人 時間: 2025-3-23 16:18 作者: ACME 時間: 2025-3-23 19:02 作者: PANIC 時間: 2025-3-24 01:12
Semantical Analysis of Specification Logic, 2h higher-order procedures. In a previous publication (Tennent, 1990), a model was presented that validates all axioms of the system . those involving non-interference formulas for . phrases. Following Reynolds, non-interference for procedural phrases was there defined ., by induction on types.作者: UTTER 時間: 2025-3-24 04:20 作者: 嘲笑 時間: 2025-3-24 09:28 作者: Exuberance 時間: 2025-3-24 11:56 作者: AMOR 時間: 2025-3-24 18:46
Global State Considered Unnecessary: Introduction to Object-Based Semanticsd on a notion of . and characterize them in terms of their observable behavior. States are regarded as part of the internal structure of objects and play no role in the observable behavior. It is shown that this leads to considerable accuracy in the semantic modelling of locality and single-threadedness properties of objects.作者: 休戰(zhàn) 時間: 2025-3-24 21:39 作者: overwrought 時間: 2025-3-25 01:20 作者: Anticlimax 時間: 2025-3-25 05:49 作者: fastness 時間: 2025-3-25 10:51
Dubbel: Taschenbuch für den Maschinenbauan .-like language. However, a precise semantic description of the constructs involved is difficult, and it is particularly difficult if one wants semantics for block structure that mesh elegantly with semantics for procedures.作者: 微塵 時間: 2025-3-25 11:42 作者: 冒號 時間: 2025-3-25 16:01
Wolfgang Beitz,Karl-Heinz Küttnercant full-abstraction result for a block-structured language with local variables. As all the published ‘test equivalences’ [MS88, Len93, 0T95] for .-like languages are contained in the second-order subset, they can all be validated (easily) in our denotational model.作者: 夜晚 時間: 2025-3-25 22:45
A. Burr,K.-H. Habig,G. Harsch,K. H. Kloosve basis for our proposal is the following analogy: a non-local procedure is independent of locally-declared variables in the same way that a parametrically polymorphic function is independent of types to which it is instantiated.作者: Eructation 時間: 2025-3-26 01:32 作者: Alopecia-Areata 時間: 2025-3-26 06:53 作者: 繼而發(fā)生 時間: 2025-3-26 08:36 作者: 性學(xué)院 時間: 2025-3-26 16:12 作者: MUMP 時間: 2025-3-26 17:02 作者: 不溶解 時間: 2025-3-26 21:46 作者: ostensible 時間: 2025-3-27 03:05
e language in a way that reflects the semantics of the language. little is said about such struc- turing in compiler texts that are intended to cover a wide variety of program- ming languages. More is said in the Iiterature on semantics-directed compiler construction [1] but here too the viewpoint i作者: 彎腰 時間: 2025-3-27 05:18
Wolfgang Beitz,Karl-Heinz Küttnerstract treatment of stack-oriented storage management. The model provides a satisfactory solution to all previously-known problems with the interpretation of specification logic; however, unexpected new problems have been discovered in doing this work, and these remain unsolved.作者: 沉思的魚 時間: 2025-3-27 13:17 作者: 無法破譯 時間: 2025-3-27 14:46
Semantical Analysis of Specification Logicstract treatment of stack-oriented storage management. The model provides a satisfactory solution to all previously-known problems with the interpretation of specification logic; however, unexpected new problems have been discovered in doing this work, and these remain unsolved.作者: 憤怒事實 時間: 2025-3-27 20:31
The Essence of ,ces” model of [Bro93] to the procedural setting. This semantics supports reasoning about safety and liveness properties of parallel programs, and validates a number of natural laws of program equivalence based on non-interference properties of local variables.作者: Ejaculate 時間: 2025-3-28 00:06
Functor Categories and Store Shapesan .-like language. However, a precise semantic description of the constructs involved is difficult, and it is particularly difficult if one wants semantics for block structure that mesh elegantly with semantics for procedures.作者: ear-canal 時間: 2025-3-28 05:07
Using Functor Categories to Generate Intermediate Codeategory of predomains. Here we will show how a variant of this idea can be used to define the translation of an .-like language to intermediate code in a uniform way that avoids unnecessary temporary variables, provides control-flow translation of boolean expressions, permits online expansion of pro作者: encyclopedia 時間: 2025-3-28 10:06
Semantical Analysis of Specification Logiconistic theory, using a form of possible-world semantics first applied to programming-language interpretation by Reynolds and F. J. Oles to give an abstract treatment of stack-oriented storage management. The model provides a satisfactory solution to all previously-known problems with the interpreta作者: Myosin 時間: 2025-3-28 12:15 作者: 轎車 時間: 2025-3-28 17:40 作者: Eosinophils 時間: 2025-3-28 21:08
Parametricity and Local Variablesve basis for our proposal is the following analogy: a non-local procedure is independent of locally-declared variables in the same way that a parametrically polymorphic function is independent of types to which it is instantiated.作者: PURG 時間: 2025-3-28 23:06 作者: 傳染 時間: 2025-3-29 04:24 作者: 手工藝品 時間: 2025-3-29 10:03
Global State Considered Unnecessary: Introduction to Object-Based Semanticsd on a notion of . and characterize them in terms of their observable behavior. States are regarded as part of the internal structure of objects and play no role in the observable behavior. It is shown that this leads to considerable accuracy in the semantic modelling of locality and single-threaded作者: Orgasm 時間: 2025-3-29 13:09 作者: Precursor 時間: 2025-3-29 16:28
The Essence of ,ge, simultaneously adapting the possible-worlds model of Reynolds and Oles [Rey81, 01e82] to the parallel setting and generalizing the “transition traces” model of [Bro93] to the procedural setting. This semantics supports reasoning about safety and liveness properties of parallel programs, and vali
