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