402 search results - page 41 / 81 » Engineering a Programming Language: The Type and Class Syste... |
124
click to vote
SEKE
2001
Springer
15 years 8 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
126
click to vote
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
161
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...
111
click to vote
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper we present Jam, an extension of the Java language supporting mixins, that is, parametric heir classes. A mixin declaration in Jam is similar to a Java heir ...
241
Voted
POPL
2008
ACM
16 years 4 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...