1216 search results - page 65 / 244 » Hybrid type checking |
134
Voted
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
122
Voted
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursiv...
154
Voted
ENTCS
2007
15 years 3 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
128
Voted
SCP
2008
15 years 3 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...
265
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...