1724 search results - page 39 / 345 » Abstract Interpreters for Free |
JCSS
2002
14 years 9 months ago
2002
Abstract. There do not exist context
DLT
2009
14 years 7 months ago
2009
Abstract. We consider algorithms for approximating context
FUIN
2008
14 years 10 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...
SAT
2007
Springer
15 years 4 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 ...
FUIN
2006
14 years 10 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...