標(biāo)題: Titlebook: Algol-like Languages; Peter W. O’Hearn,Robert D. Tennent Book 1997 Birkh?user Boston 1997 ALGOL.Algol 60.Clean.Variable.algorithms.concurr [打印本頁] 作者: Confer 時(shí)間: 2025-3-21 19:17
書目名稱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é)科排名
作者: HAIL 時(shí)間: 2025-3-21 20:40 作者: 內(nèi)向者 時(shí)間: 2025-3-22 02:37
On the Orthogonality of Assignments and Procedures in A, contains assignments, branching constructs, and compound statements; the latter is based on the typed λ-calculus. To formalize A.’S notion of “orthogonality”, we define an extended λ-calculus that models A.. The calculus includes the ..-reduction rule and reduction rules for assignment statements a作者: 我沒有強(qiáng)迫 時(shí)間: 2025-3-22 06:20 作者: 揉雜 時(shí)間: 2025-3-22 10:33 作者: 劇毒 時(shí)間: 2025-3-22 13:38 作者: considerable 時(shí)間: 2025-3-22 19:23 作者: nostrum 時(shí)間: 2025-3-22 23:39
Practice-Oriented Reflection on Governance,rvers are combined linearly, allowing an implementation in terms of a global store. The utility of this extension is in manipulating . embedded in data structures. Evaluation of well-typed programs is Church-Rosser. Thus, programs produce the same results whether an eager or lazy evaluation order is used (assuming termination).作者: Microaneurysm 時(shí)間: 2025-3-23 04:38
Book 1997f procedural and object-oriented languages discovered that ALGOL 60 shows how to add procedures and object classes to simple imperative languages in a general and clean way. And, on the other hand, researchers interested in purely functional languages discovered that ALGOL 60 shows how to add impera作者: 相互影響 時(shí)間: 2025-3-23 06:11 作者: Respond 時(shí)間: 2025-3-23 10:22
Peace Operations: the Road Ahead general and clean way. And, on the other hand, researchers interested in purely functional languages discovered that ALGOL 60 shows how to add imperative mechanisms to functional languages in a way that does not compromise their desirable properties.作者: 變形 時(shí)間: 2025-3-23 16:09 作者: Painstaking 時(shí)間: 2025-3-23 20:01
Introduction general and clean way. And, on the other hand, researchers interested in purely functional languages discovered that ALGOL 60 shows how to add imperative mechanisms to functional languages in a way that does not compromise their desirable properties.作者: 煩憂 時(shí)間: 2025-3-23 23:26
On the Orthogonality of Assignments and Procedures in A,onality”, we define an extended λ-calculus that models A.. The calculus includes the ..-reduction rule and reduction rules for assignment statements and commands. It has the usual Church-Rosser property and its recursion-free subset is strongly normalizing.作者: Emmenagogue 時(shí)間: 2025-3-24 03:14 作者: Graduated 時(shí)間: 2025-3-24 08:10 作者: 焦慮 時(shí)間: 2025-3-24 14:18
Towards Fully Abstract Semantics for Local Variables: Preliminary Report-example are independent of such proof systems. Based on a generalization of standard cpo-based models to structures called ., improved models and stronger proof rules are developed to handle such examples.作者: Harridan 時(shí)間: 2025-3-24 15:36 作者: SIT 時(shí)間: 2025-3-24 22:11 作者: 食物 時(shí)間: 2025-3-24 23:35
s 3 Part III Language Design 5 Introduction to Volume 2 6 Part IV Functor-Category Semantics 7 Part V Specification Logic 7 Part VI Procedures and Local Variables 8 Part vn Interference, Irreversibility and Concurrency 9 Acknowledgements 11 Bibliography 11 Introduction to Volume 1 This volume contains histori978-1-4612-8661-5978-1-4612-4118-8作者: electrolyte 時(shí)間: 2025-3-25 05:09 作者: Mhc-Molecule 時(shí)間: 2025-3-25 11:14 作者: 有節(jié)制 時(shí)間: 2025-3-25 12:11 作者: achlorhydria 時(shí)間: 2025-3-25 18:12
Health Regimes in Korea and Thailand,This is a description of the programming language F., which is a descendant of A. 60 intended to be as uniform and general as possible, while retaining the basic character of its progenitor. (This report supersedes the preliminary description of F. [1].)作者: 苦澀 時(shí)間: 2025-3-25 21:00
Revised Report on the Algorithmic Language A, 60The report gives a complete defining description of the international algorithmic language A. 60. This is a language suitable for expressing a large class of numerical processes in a form suitably concise for direct automatic translation into the language of programmed automatic computers.作者: 放棄 時(shí)間: 2025-3-26 03:16
The Varieties of Programming LanguageThis paper suggests an analysis of the domains used in programming languages. It identifies some of the characteristic domains and shows that programming languages vary widely in their definition of these domains.作者: 假裝是我 時(shí)間: 2025-3-26 06:17 作者: Innovative 時(shí)間: 2025-3-26 10:31 作者: languid 時(shí)間: 2025-3-26 16:15 作者: 蘆筍 時(shí)間: 2025-3-26 18:00 作者: 腐爛 時(shí)間: 2025-3-26 23:30 作者: 天空 時(shí)間: 2025-3-27 01:10 作者: Harridan 時(shí)間: 2025-3-27 07:18 作者: NOMAD 時(shí)間: 2025-3-27 12:43 作者: 粗野 時(shí)間: 2025-3-27 17:15 作者: penance 時(shí)間: 2025-3-27 18:05 作者: 首創(chuàng)精神 時(shí)間: 2025-3-28 01:31
https://doi.org/10.1007/978-1-4612-4118-8ALGOL; Algol 60; Clean; Variable; algorithms; concurrency; functional programming; logic; programming langua作者: Cytology 時(shí)間: 2025-3-28 02:20 作者: 弄污 時(shí)間: 2025-3-28 07:44 作者: 軟弱 時(shí)間: 2025-3-28 12:37
Cristina Morales: , (2018),urde dieser Erfolg von einem Paukenschlag im spanischen Literaturbetrieb, denn Morales hatte zun?chst bei dem nicht weniger bekannten Verlag Seix Barral aus Barcelona unter Vertrag gestanden, der auf umfangreiche ?nderungen des Manuskripts gedr?ngt hatte, um den kritischen Gehalt des Textes abzumind作者: arthroplasty 時(shí)間: 2025-3-28 15:58 作者: SPASM 時(shí)間: 2025-3-28 20:05
,Visual Technologies and ‘other archives’,gender at its centre. There are three insights that emerge from the turn to the visual: 1) the importance of space/time rhythms; 2) the difficulties women activists faced in ‘organizing the unorganizable’; and 3) the striking emergence of bodies, affects and emotions in the analysis.作者: 高度表 時(shí)間: 2025-3-29 02:34
Efficient Routing of Mobile Agents for Agent-Based Integrated Enterprise Management: A General Accenal scheme in the literature for the constrained path problems (CPP). The new technique essentially improves on several earlier algorithms and also provides new aproach for contructing FPTAS for the CPP.作者: Concrete 時(shí)間: 2025-3-29 04:30 作者: Dawdle 時(shí)間: 2025-3-29 09:29
Corrie Green,Yang Jiang,John Isaacse an intangible, perishable product, which is highly variable and engages the customer in its production (Korczynski, 2002). However, distinctively, call centres require their employees to be skilled at interacting directly with customers while simultaneously working with sophisticated computer-base作者: 聯(lián)想記憶 時(shí)間: 2025-3-29 12:42 作者: nitroglycerin 時(shí)間: 2025-3-29 17:18 作者: 翅膀拍動(dòng) 時(shí)間: 2025-3-29 22:05 作者: VEN 時(shí)間: 2025-3-30 03:40
The Semantics of Medical Discourse,sierung und Digitalisierung ergibt. Alles scheint auf eine Perspektive von Industrie 4.0 hinauszulaufen. Die Perspektive, die am Horizont sichtbar ist, von der aber niemand sicher wei?, wie es dort in der Ferne aussehen wird. Und vor allem kann niemand sagen, wie es dahinter weitergehen wird. Nur ei
