7529 search results - page 301 / 1506 » The Modula-3 Type System |
168
click to vote
ICTCS
2001
Springer
15 years 11 months ago
2001
Springer
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...
144
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
174
click to vote
COSIT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Although maps and partitions are ubiquitous in geographical information systems and spatial databases, there is only little work investigating their foundations. We give ...
168
click to vote
ECOOP
1997
Springer
15 years 10 months ago
1997
Springer
We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM retains most of the features of the earlier language PolyTOIL. However the subtyp...
156
click to vote
DLOG
2003
15 years 8 months ago
2003
We consider the problem of automated index selection for embedded control programs (ECPs). Such systems have the property that the transaction types, which can consist of queries ...