3342 search results - page 54 / 669 » Automating Abstract Interpretation |
CADE
2003
Springer
15 years 11 months ago
2003
Springer
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
70
Voted
RR
2007
Springer
15 years 5 months ago
2007
Springer
86
Voted
ILP
2005
Springer
15 years 4 months ago
2005
Springer
90
Voted
TPHOL
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...