4211 search results - page 67 / 843 » Types as Abstract Interpretations |
ACL
1998
15 years 4 months ago
1998
This paper describes a practical method of automatic simultaneous interpretation utilizing an example-based incremental transfer mechanism. We primarily show how incremental trans...
109
Voted
FUIN
2008
15 years 3 months ago
2008
Abstract. The layering that is present in many OO designs is not accounted for in current interpretations of invariants. We propose to make layers explicit in specifications and in...
115
Voted
SAT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Polynomial interpretations are one of the most popular techniques for automated termination analysis and the search for such interpretations is a main bottleneck in most ...
118
Voted
APVIS
2007
15 years 4 months ago
2007
Visual similarity matrices (VSMs) are a common technique for visualizing graphs and other types of relational data. While traditionally used for small data sets or well-ordered la...
FUIN
2006
15 years 3 months ago
2006
Abstract. We introduce generalized trajectories where the individual symbols are interpreted as operations performed on the operand words. The various previously considered traject...