709 search results - page 6 / 142 » Type Checking in XOBE |
SAS
1994
Springer
13 years 11 months ago
1994
Springer
TOPLAS
2008
13 years 7 months ago
2008
TOSEM
2012
11 years 10 months ago
2012
ECOOP
2012
Springer
11 years 10 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
FOSSACS
2010
Springer
13 years 10 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...