From Program Execution to Automatic Reasoning: Integrating Ontologies into Programming Languages (Keynote).
Alexander PaarPublished in: SLATE (2012)
Keyphrases
- programming language
- program execution
- knowledge base
- object oriented
- knowledge representation
- denotational semantics
- strongly typed
- high level
- general purpose
- lambda calculus
- logic programming
- software engineering
- programming environment
- database languages
- computer programs
- databases
- data abstraction
- specification language
- open source
- programming language constructs
- abstract data types
- case study
- artificial intelligence
- database
- high level programming language