Titlebook: ESOP 86; European Symposium o Bernard Robinet,Reinhard Wilhelm Conference proceedings 1986 Springer-Verlag Berlin Heidelberg 1986 Resolutio

孵化

书目名称ESOP 86影响因子(影响力)




书目名称ESOP 86影响因子(影响力)学科排名




书目名称ESOP 86网络公开度




书目名称ESOP 86网络公开度学科排名




书目名称ESOP 86被引频次




书目名称ESOP 86被引频次学科排名




书目名称ESOP 86年度引用




书目名称ESOP 86年度引用学科排名




书目名称ESOP 86读者反馈




书目名称ESOP 86读者反馈学科排名

Efflorescent

不易燃

A general approach to the optimization of function calls,ue of detecting and executing these calls in a modified shallow binding system known as "standardized shallow binding". We show that by this technique the overhead expenses of changing environments for low cost calls are nearly cut down to zero. The new method can be applied to any imperative or app

LAST

Lifetime analysis for procedure parameters,fficient as possible. This paper addresses techniques for both memory and runtime improvements of procedure calls. Usual implementations allocate storage for local objects of procedures (i.e. parameters, result and local variables) either in activation records on a runtime stack in the case of recur

Compassionate

Evolve

Evolve

Data refinement refined resume, Park‘s definition of the simulation of Communicating Systems. Two proof methods are suggested which we hope are simpler and more general than those in current use. They are proved to be individually sufficient for the correctness of refinement and together necessary for it. The proof methods can be

impaction

马赛克

渗入