A rewriting approach to the design and evolution of object-oriented languages

Keyphrases

• Object-oriented Languages 100%
• Programming Languages 50%
• Type Systems 50%
• Model Checker 50%
• Largest Subset 50%
• Feature System 50%
• Language Features 50%
• Rewriting Logic Semantics 50%
• Building Analysis 50%
• Language Types 50%
• Type Checker 50%
• Abstract Interpreters 50%
• Language Translator 50%

Computer Science

• Object-Oriented Languages 100%
• Interpreter 100%
• Rewriting Logic 50%
• model checker 50%
• Type Systems 50%
• Language Definition 50%
• Programming Language Feature 50%