596 search results - page 37 / 120 » Subtyping Recursive Types |
109
click to vote
EMSOFT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
108
click to vote
PPDP
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
214
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
126
click to vote
JFP
2008
15 years 1 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...