2212 search results - page 7 / 443 » Automated software wrapping |
ICSM
2007
IEEE
14 years 3 months ago
2007
IEEE
ICSM
2006
IEEE
14 years 2 months ago
2006
IEEE
SEKE
1993
Springer
14 years 24 days ago
1993
Springer
KBSE
1997
IEEE
14 years 8 days ago
1997
IEEE
ICLP
2010
Springer
14 years 19 days 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...