424 search results - page 14 / 85 » types 1999 |
TOOLS
1999
IEEE
15 years 2 months ago
1999
IEEE
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...
APSEC
1999
IEEE
15 years 2 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
TOOLS
1999
IEEE
15 years 2 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...
COBUILD
1999
Springer
15 years 2 months ago
1999
Springer
The Passage mechanism introduced in this paper provides an easy and intuitive way to transport various types of digital objects by using also normal physical objects without any sp...
COLING
2000
14 years 11 months ago
2000
We will report on one of the two tasks in the IREX (Information Retrieval and Extraction Exercise) project, an evaluation-based project for Information Retrieval and Information E...