1445 search results - page 235 / 289 » Abstract Interpretation of Logic Programs |
134
click to vote
TLDI
2010
ACM
16 years 3 days ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
111
Voted
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
113
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
166
click to vote
ICFEM
2009
Springer
15 years 29 days ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
123
click to vote
IJAIT
2006
15 years 3 months ago
2006
and renders an abstract color grid artwork reminiscent of early twentieth century abstract expressionism. Following Dewey's psychological interpretation of "aesthetic&quo...