1445 search results - page 74 / 289 » Abstract Interpretation of Logic Programs |
116
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Me...
120
click to vote
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
137
click to vote
LPNMR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
114
Voted
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
115
click to vote
DALT
2006
Springer
15 years 6 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...