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

書目名稱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

內(nèi)向者

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

我沒(méi)有強(qiáng)迫

揉雜

劇毒

considerable

nostrum

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

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

相互影響