4722 search results - page 16 / 945 » Representation-independent program analysis |
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
SIGDOC
1990
ACM
13 years 11 months ago
1990
ACM
ESOP
1999
Springer
13 years 12 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
POPL
2011
ACM
12 years 10 months ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...