Elephant Specification Language reference manualΒΆ

Welcome to the Elephant Specification Language (ESL) reference manual. In this manual we explain the fundamental scientific concepts which form the foundations of ESL, the formal syntax, semantics and the dependency derivation rules. Moreover, in the Language Extension Proposals one can find the motivation and specification of new language features that have been added over time.