65 search results - page 4 / 13 » Coinductive Type Systems for Object-Oriented Languages |
IDEAS
2003
IEEE
14 years 24 days ago
2003
IEEE
This paper describes an evolution framework supporting customisation of the schema evolution and instance adaptation approaches in an object database management system. The framew...
APLAS
2007
ACM
13 years 11 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
BIRTHDAY
2003
Springer
14 years 22 days ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
SSDBM
1994
IEEE
13 years 11 months ago
1994
IEEE
The analysis of time series is a central issue in economic research and many other scientific applications. However, the data management functionality for this field is not provid...
ECOOP
1994
Springer
13 years 11 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...