Syntax

• CAPSL Concrete Syntax
• Yacc-like JavaCC Parser Spec for CAPSL
• CAPSL Abstract Syntax
• CIL Abstract Syntax
• CIL Example