MiniMAO: An imperative core language for studying aspect-oriented reasoning.
Curtis CliftonGary T. LeavensPublished in: Sci. Comput. Program. (2006)
Keyphrases
- aspect oriented
- business applications
- software development
- object oriented
- natural language
- aspect oriented programming
- programming language
- reasoning systems
- development process
- intuitionistic logic
- knowledge representation
- meta level
- reasoning process
- uml class diagrams
- language learning
- software engineering
- ontology reasoning
- data mining
- crosscutting concerns
- database
- highly expressive
- databases
- real world
- software product line
- reasoning about actions
- artificial intelligence
- data model