2596 search results - page 79 / 520 » Gradual Typing for Objects |
135
click to vote
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
133
click to vote
ER
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The integration of statecharts is part of an integration methodology for object oriented views. Statecharts are the most important language for the representation of the ...
180
click to vote
TOG
2012
13 years 5 months ago
2012
Current methods for combining two different images produce visible artifacts when the sources have very different textures and structures. We present a new method for synthesizing...
109
click to vote
IJCSA
2006
15 years 3 months ago
2006
People use "name" in general to reference things easily. In addition, one name may refer to various types of things or objects (one name
157
Voted
EDBT
2012
ACM
13 years 5 months ago
2012
ACM
Conventional research on similarity search focuses on measuring the similarity between objects with the same type. However, in many real-world applications, we need to measure the...