Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects.
Nikolai KudasovVioletta SimPublished in: FTfJP@ECOOP (2022)
Keyphrases
- object oriented
- cardinal directions
- qualitative spatial reasoning
- relational databases
- complex scenes
- provably correct
- algebraic structure
- information systems
- object oriented databases
- keypoints
- viewpoint
- partial occlusion
- object oriented database systems
- formal language
- database applications
- object orientation
- query language
- object oriented languages