1559 search results - page 38 / 312 » Fundamentals of Generic Programming |
183
click to vote
ECOOP
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...
190
click to vote
DBPL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be co...
161
Voted
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
140
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The motivation behind the idea of product focused process improvement is to make a process improvement program address certain product quality features in an explicit manner. The P...
166
click to vote
ECOOP
2010
Springer
15 years 10 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...