2212 search results - page 7 / 443 » Automated software wrapping |
87
Voted
ICSM
2007
IEEE
15 years 8 months ago
2007
IEEE
ICSM
2006
IEEE
15 years 8 months ago
2006
IEEE
SEKE
1993
Springer
15 years 6 months ago
1993
Springer
104
Voted
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
100
click to vote
ICLP
2010
Springer
15 years 6 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...