3221 search results - page 43 / 645 » Termination of Linear Programs |
PADL
2007
Springer
14 years 2 months ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
SAS
2004
Springer
14 years 1 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
POPL
2004
ACM
14 years 8 months ago
2004
ACM
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
