The Semantic Treatment of Polymorphic Specification Languages.
Dieter NazarethPublished in: ALP (1996)
Keyphrases
- specification languages
- formal specification
- object oriented programs
- semantic information
- first order logic
- semantic similarity
- semantic knowledge
- semantic web
- high level
- semantically equivalent
- semantic description
- context dependent
- semantic features
- ontology driven
- low level features
- semantic network
- semantic analysis
- domain specific
- semantic relationships
- description logics
- open source
- expert systems
- natural language
- neural network