1988 search results - page 257 / 398 » Engineering formal metatheory |
168
click to vote
ESOP
2005
Springer
16 years 1 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
155
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
130
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
158
click to vote
GEOS
2005
Springer
16 years 1 days ago
2005
Springer
This paper analyses reported difficulties in spatial data retrieval from Internet portals, based on results from an empirical survey. The analysis reveals the problems which cause ...
145
click to vote
OOPSLA
2005
Springer
16 years 3 hour ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...