1081 search results - page 39 / 217 » Type Inference of SELF |
137
click to vote
ESOP
1992
Springer
15 years 8 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...
121
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
—A new approach for designing t-UED and BUED code checkers is presented. In particular we consider Borden codes for t = 2k − 1, Bose and Bose-Lin codes. The design technique fo...
154
Voted
DBKDA
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract--With the growing computer networks, accessible data is becoming increasing distributed. Understanding and integrating remote and unfamiliar data sources are important dat...
140
Voted
MPC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
127
click to vote
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
A model has been developed to study the global complex dynamics of a series of blackouts in power transmission systems [1, 2]. This model has included a simple level of self-organ...