SAL

<language>

1. Simple Actor Language.

2. SPARK Annotation Language.