7529 search results - page 86 / 1506 » The Modula-3 Type System |
181
click to vote
POPL
1999
ACM
15 years 10 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
171
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
164
click to vote
OOPSLA
1989
Springer
15 years 10 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
172
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
172
click to vote
ASIAN
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of...