Titlebook: Algol-like Languages; Peter W. O’Hearn,Robert D. Tennent Book 1997 Springer Science+Business Media New York 1997 ALGOL.Computer.Languages.

ED431

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

epicondylitis

Bravura

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

軍火

怒目而視

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

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

LEER

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

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