Keyphrases
Algebraic Specification
5%
Aspect-oriented Programming
8%
Attribute Grammars
97%
C Code
5%
C Compiler
5%
Checking Algorithm
11%
Code Generation
7%
Compiler
27%
Compiler Optimization
11%
Composable
25%
Concrete Syntax
6%
Context-aware Scanning
5%
Contextual Information
6%
Domain-specific Languages
14%
Extensible Languages
19%
Grammar
11%
Grammar-based
7%
Grammatical Systems
17%
High-order
22%
Host Language
22%
Intermediate Language
5%
Java
15%
Language Design
8%
Language Extension
69%
Language Features
24%
Language Frameworks
13%
Language Specification
9%
Metalanguage
5%
Model Checker
13%
Modeling Language
9%
Modular Analysis
6%
Modular Specification
6%
Network Analysis
5%
Network Generation
5%
Parser
7%
Parsing
11%
Programmer
16%
Programming Languages
14%
Rewrite Rules
11%
Rule-based
9%
Semantic Analysis
7%
Source Language
6%
Specification Language
8%
Syntax Tree
8%
Target Language
11%
Temporal Logic
16%
Termination Analysis
7%
Translator
6%
Type Qualifiers
11%
Well-definedness
6%
Computer Science
Algebraic Specifications
5%
Aspect-Oriented Programming
8%
Attribute Grammar
100%
Code Generation
7%
Compiler Optimization
11%
Concrete Syntax
10%
Context-Free Grammars
6%
Contextual Information
6%
Data-Flow Analysis
5%
Design Language
9%
Domain-specific languages
15%
Extensibility
5%
Extension Language
73%
Inherited Attribute
5%
Intermediate Language
5%
model checker
15%
Model Checking Algorithm
11%
modeling language
10%
Parsing
13%
Programming Language
20%
Programming Language Feature
30%
Regular Expression
7%
Rewrite Rule
11%
Source Language
6%
Specification Language
20%
Target Language
11%
Temporal Logic
16%
Termination Analysis
7%
Type Checking
5%
