2212 search results - page 7 / 443 » Automated software wrapping |
ICSM
2007
IEEE
15 years 5 months ago
2007
IEEE
ICSM
2006
IEEE
15 years 5 months ago
2006
IEEE
SEKE
1993
Springer
15 years 3 months ago
1993
Springer
KBSE
1997
IEEE
15 years 2 months ago
1997
IEEE
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...