884 search results - page 100 / 177 » Using Nested Logic Programs for Answer Set Programming |
107
Voted
STOC
2001
ACM
16 years 2 months ago
2001
ACM
Optimal program slicing determines for a statement S in a program whether or not S affects a specified set of statements, given that all conditionals in are interpreted as non-d...
128
Voted
LOPSTR
2007
Springer
15 years 8 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
100
click to vote
SAC
2006
ACM
15 years 8 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
152
click to vote
PVLDB
2008
15 years 1 months ago
2008
Companies providing cloud-scale services have an increasing need to store and analyze massive data sets such as search logs and click streams. For cost and performance reasons, pr...
115
Voted
POPL
2010
ACM
15 years 11 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...