709 search results - page 6 / 142 » Type Checking in XOBE |
SAS
1994
Springer
15 years 3 months ago
1994
Springer
TOPLAS
2008
14 years 11 months ago
2008
TOSEM
2012
13 years 2 months ago
2012
104
Voted
ECOOP
2012
Springer
13 years 2 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...
94
Voted
FOSSACS
2010
Springer
15 years 3 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 ...