2212 search results - page 7 / 443 » Automated software wrapping |
97
Voted
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
99
Voted
ICSM
2006
IEEE
15 years 9 months ago
2006
IEEE
105
Voted
SEKE
1993
Springer
15 years 7 months ago
1993
Springer
107
Voted
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
109
Voted
ICLP
2010
Springer
15 years 7 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...