498 search results - page 8 / 100 » Generalized algebraic data types and object-oriented program... |
ECOOP
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. The information of execution frequencies of virtual call targets is valuable for program analyses and optimizations of object-oriented programs. However, to obtain this i...
IADT
1998
13 years 10 months ago
1998
: The aim of this work is to present the Musical Score as a new attribute characteristic in an object-oriented database. It defines a new data type for attributes that can be assoc...
VLDB
1995
ACM
14 years 5 days ago
1995
ACM
We follow the stack-baaed approach to query languages which is a new formal and intellectual paradigm for integrating querying and programming for object-oriented databases. Queri...
ECOOP
2006
Springer
14 years 9 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...
CEC
2007
IEEE
14 years 3 months ago
2007
IEEE
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...