3311 search results - page 159 / 663 » Deductive Object Programming |
IWMM
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent outp...
135
Voted
IDEAS
2003
IEEE
15 years 7 months 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...
105
click to vote
ZUM
2000
Springer
15 years 5 months ago
2000
Springer
Unlike Z, Object-Z allows schemas to be defined recursively. This enables mutual and self recursive structures, commonly occurring in object-oriented programs, to be readily specif...
229
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
168
click to vote
DISCO
1993
15 years 5 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...