13734 search results - page 38 / 2747 » Abstractions of data types |
APWEB
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Nowadays, we have witnessed the widely recognized phenomenon of high speed data streams. Various statistics computation over data streams is often required by many applic...
SCM
2003
13 years 10 months ago
2003
The data models of a series of 11 configuration management systems—of varying type and complexity—are represented using containment data models. Containment data models are a s...
ECOOP
2006
Springer
14 years 13 days 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...
SCM
2003
13 years 10 months ago
2003
Abstract. Motivated by our work on object-oriented Content Management, this paper proposes an extensible formal framework for delta and merging strategies, each applicable to a spe...
CAISE
1995
Springer
14 years 10 days ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...