Keyphrases
- concurrent programming
- natural language
- programming language
- shape from shading
- computer graphics
- closed world
- d objects
- single image
- database
- specification language
- operational semantics
- databases
- relational databases
- multiscale
- conceptual graphs
- object oriented programming
- formal language
- knowledge base
- programs written