Titlebook: Static Analysis; 4th International Sy Pascal Hentenryck Conference proceedings 1997 Springer-Verlag Berlin Heidelberg 1997 Abstract Interpr

消音器

无情

Flat-Feet

PHAG

推崇

Denotational abstract interpretation of functional logic programs,ional abstract interpretation is a suitable framework for program analyses. We introduce a denotational semantics for needed narrowing and exemplify the use of this semantics by a demandedness analysis.

CRAB

Agnosia

Static analysis of interaction nets for distributed implementations,o we break up the net so that the communication is kept to a minimum. The purpose of this paper is to suggest an analysis to solve this problem, and hint at other possible analyses for different applications, for example dynamic load balancing.

薄膜

Satisfying subtype inequalities in polynomial space, technique of independent theoretical interest that simplifies existing methods developed in the literature. Finally the algorithm, although mainly theoretical, can lead to a slight practical improvement of existing implementations.

发芽

jaundiced