367 search results - page 21 / 74 » Prolog |
ICLP
2007
Springer
14 years 2 months ago
2007
Springer
ICLP
2007
Springer
14 years 2 months ago
2007
Springer
PADL
2007
Springer
14 years 2 months ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
LPNMR
2005
Springer
14 years 1 months ago
2005
Springer
LOPSTR
2004
Springer
14 years 1 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...