Viktor Sabelfeld
ABSTRACT
No abstract available.
- 1.Cousot P., Cousot R. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Records of the 4th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 238-252. Los Angeles, California, 1977. Google Scholar
Digital Library
- 2.Cousot P., Cousot R. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511- 547, August 1992.Google ScholarCross Ref
- 3.Kam J.B., Ullman J.D. Monotone data flow analysis frameworks. Acta Informatica 7: 3, pages 305-318, 1977.Google ScholarDigital Library
Index Terms
- Simple semantic analysis problems for functional programs (poster)
Recommendations
Demand analysis with partial predicates
To alleviate the inefficiencies caused by the interaction of the logic and functional sides, integrated languages may take advantage of demand information, i.e. knowing in advance which computations are needed and, to which extent, in a particular ...
An Approach to Behavioral Subtyping Based on Static Analysis
In mainstream object oriented languages the subclass relation is defined in terms of subtyping, i.e. a class A is a subclass of B if the type of A is a subtype of B. In this paper this notion is extended to consider arbitrary class properties obtained ...
Comments