605 search results - page 1 / 121 » Dynamic inference of abstract types |
ISSTA
2006
ACM
13 years 11 months ago
2006
ACM
APLAS
2004
ACM
13 years 10 months ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
ECOOP
1993
Springer
13 years 9 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
LFP
1992
13 years 6 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
ICCL
1994
IEEE
13 years 9 months ago
1994
IEEE