4211 search results - page 167 / 843 » Types as Abstract Interpretations |
132
click to vote
SCP
2008
15 years 4 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
119
click to vote
ENTCS
2000
15 years 3 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
119
click to vote
PLPV
2010
ACM
16 years 28 days ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...
149
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Collections play an important part in everyday life. Therefore, conceptual data models should support collection types to make data modeling as natural as possible for it...
124
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...