Ontologically-Based Context Checking in Arbitrary Programming Languages.
Nickolas J. G. FalknerPublished in: DEXA Workshops (2008)
Keyphrases
- programming language
- object oriented
- general purpose
- logic programming
- high level
- strongly typed
- lambda calculus
- programming environment
- specification language
- denotational semantics
- database languages
- software engineering
- object oriented programming
- functional programming
- object oriented concepts
- data abstraction
- computer programs
- artificial intelligence
- concurrent programming
- machine learning