1072 search results - page 53 / 215 » Object-Oriented Type Inference |
111
click to vote
JUCS
2008
15 years 3 months ago
2008
: Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and classes in the context of ...
109
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
132
click to vote
CAV
2012
Springer
13 years 5 months ago
2012
Springer
We present CSolve, an automated verifier for C programs based on Liquid Type inference. We show how CSolve verifies memory safety through an example and describe its architecture...
128
click to vote
ESOP
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
100
click to vote
ESOP
2003
Springer
15 years 8 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...