Titlebook: Static Analysis; Third International Patrick Cousot,Moreno Falaschi,Antoine Rauzy Conference proceedings 1993 Springer-Verlag Berlin Heide

用不完

The impact of granularity in abstract interpretation of Prolog, for this proliferation comes from the fact that program analyses can be defined at various granularities, achieving a different trade-off between efficiency and precision. The purpose of this paper is to study this tradeoff experimentally. We review the most frequently proposed granularities which

赏钱

完全

暗语

抛物线

Semantics and analysis of linda-based languages,ics based on higher-dimensional automata which is more expressive than interleaving transition systems. In particular, it is a truly concurrent operational semantics, compositional in nature..Furthermore this semantics leads us to new kinds of abstract interpretations useful for the static analysis

incisive

使显得不重要

Combining dependability with architectural adaptability by means of the signal language,ataflow language based on axiomatic flow transformation operators. We have provided this graph representation with (1) architecture-independent validation tools which encompass control-consistency verification and deadlock detection and, (2) the notion of abstraction which enables some tuning of the

过多

Challenges in developing useful and practical static analysis for logic programs, fast. I‘ll keep most of the lecture focused on Prolog, with a brief mention of more sophisticated logic languages. I present arguments for three promising approaches. The first point is that for a logic language to go fast, the analysis should in addition to type and mode information also derive in

乏味

,Occam’s razor in metacomputation: the notion of a perfect process tree,ation we construct step-by-step the driving mechanism used in supercompilation which ensures the perfect propagation of information. The concept of a simple supercompiler based on perfect driving coupled with a simple folding strategy is explained. As an example we demonstrate that specializing a na

不近人情