Language Reference

• Introduction
• Operational semantics of FASILL
• Implementation
• Conclusions