1216 search results - page 54 / 244 » Hybrid type checking |
116
click to vote
ECOOP
2005
Springer
15 years 5 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
115
click to vote
POS
1994
Springer
15 years 4 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
SPIN
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
79
Voted
COLING
1996
15 years 1 months ago
1996
This paper presents a gratmnar and style checker demonstrator for Spanish and Greek native writers developed within the project GramCheck. Besides a brief grmnmar error typology f...
FASE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...