A calculus for java's reference objects.
Yarom GabayAssaf J. KfouryPublished in: ACM SIGPLAN Notices (2007)
Keyphrases
- object oriented languages
- open source
- attribute values
- data objects
- case study
- d objects
- programming language
- source code
- multiple objects
- expressive power
- computer algebra
- java programs
- cardinal directions
- similar objects
- development environment
- spatial objects
- complex scenes
- bounding box
- data sets
- model checking
- keypoints
- object oriented
- viewpoint
- knowledge base