An Approach to the Derivation of Compiler Descrition Concepts from the Mathematical Semantics Concept.
Harald GanzingerPublished in: GI Jahrestagung (1979)
Keyphrases
- concept learning
- ontological concepts
- mathematical theory
- concept space
- programming language
- target concept
- related concepts
- formal concept analysis
- owl ontologies
- formal semantics
- semantic relationships
- key concepts
- concept descriptions
- programming language constructs
- conceptual structures
- ontological framework
- semantic representation
- concept lattice
- conceptual graphs
- concept formation
- relevant concepts
- general purpose
- object oriented
- conceptual model
- domain ontology
- semantic information
- reasoning mechanisms
- semantic mapping
- logic programming
- intended meaning
- logic programs
- mathematical knowledge
- intermediate concepts