Titlebook: Static Analysis; First International Baudouin Charlier Conference proceedings 1994 Springer-Verlag Berlin Heidelberg 1994 Abstract Interpr

Iodine

書目名稱Static Analysis影響因子(影響力)




書目名稱Static Analysis影響因子(影響力)學(xué)科排名




書目名稱Static Analysis網(wǎng)絡(luò)公開度




書目名稱Static Analysis網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Static Analysis被引頻次




書目名稱Static Analysis被引頻次學(xué)科排名




書目名稱Static Analysis年度引用




書目名稱Static Analysis年度引用學(xué)科排名




書目名稱Static Analysis讀者反饋




書目名稱Static Analysis讀者反饋學(xué)科排名

Implicit

Efficient on-the-fly analysis of program behavior and static cache simulation, of each instruction. To our knowledge, no prior work has been done on predicting caching behavior statically. A detailed description is provided for instruction cache analysis, which is then discussed for a variety of applications ranging from fast instruction cache performance evaluation to analyt

玉米

Stackability in the simply-typed call-by-value lambda calculus,ment trapped in it must be a subenvironment of the global environment. This yields a dynamic criterion for stackability — indeed, it is the downwards funargs criterion of the LISP community. A safe static criterion can now be found via closure analysis.

肌肉

evasive

S. K. Debray,P. López García,M. Hermenegildo,N. -W. Lin

BUCK

arrogant

The costs and benefits of abstract interpretation-driven Prolog optimization,

打算

鎮(zhèn)痛劑

發(fā)酵

Ed Harcourt,Jon Mauney,Todd Cookthe cat out of the bag: There is more to object-oriented programming than merely putting data as objects in the fore- ground, instead of algorithms to which the data are subject. It is more than purely an alternative view of programmed systems. To identify the essence of object-oriented programming,