1096 search results - page 39 / 220 » Type inference for atomicity |
141
click to vote
AISC
1992
Springer
15 years 7 months ago
1992
Springer
Abstract. An important feature of modern computer algebra systems is the support of a rich type system with the possibility of type inference. Basic features of such a type system ...
115
click to vote
POPL
1999
ACM
15 years 7 months ago
1999
ACM
This paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, usi...
122
click to vote
POPL
2010
ACM
16 years 12 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
119
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
110
click to vote
ALT
2001
Springer
15 years 12 months ago
2001
Springer
The present work is dedicated to the study of modes of data-presentation in the range between text and informant within the framework of inductive inference. In this study, the le...