2212 search results - page 7 / 443 » Automated software wrapping |
155
Voted
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
171
Voted
SEKE
1993
Springer
15 years 11 months ago
1993
Springer
160
Voted
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
168
click to vote
ICLP
2010
Springer
15 years 11 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...