7529 search results - page 104 / 1506 » The Modula-3 Type System |
202
click to vote
IFL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
136
click to vote
MPC
2004
Springer
15 years 9 months ago
2004
Springer
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
105
click to vote
CUZA
2004
15 years 4 months ago
2004
We present several significant improvements in the implementation of the quick check pre-unification filter [7] [10], and the potential way in which the design of the quick check [...
134
click to vote
ACL
2009
15 years 2 months ago
2009
This paper introduces the concepts of asking point and expected answer type as variations of the question focus. They are of particular importance for QA over semistructured data,...
156
click to vote
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...