891 search results - page 35 / 179 » Implementation, Compilation, Optimization of Object-Oriented... |
128
click to vote
ICFP
1999
ACM
15 years 8 months ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
138
Voted
ICFP
1999
ACM
15 years 8 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
141
Voted
POPL
1998
ACM
15 years 8 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
156
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
138
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
GPUs are difficult to program for general-purpose uses. Programmers can either learn graphics APIs and convert their applications to use graphics pipeline operations or they can ...