Static Type Inference for a First-Order Declarative Visual Programming Language with Inheritance.
Rebecca Walpole DjangMargaret M. BurnettRoger D. ChenPublished in: J. Vis. Lang. Comput. (2000)
Keyphrases
- programming concepts
- object oriented programming
- programming language
- strongly typed
- object oriented
- high level
- general purpose
- semantic data models
- visual programming
- knowledge representation
- object oriented databases
- program code
- logic programming
- computer programs
- software engineering
- specification language
- relational databases
- object oriented concepts
- data abstraction
- denotational semantics
- programming environment
- database languages
- database
- data model
- programming tool
- artificial intelligence
- databases
- first order logic
- abstract data types
- knowledge base