ESL Reference ManualΒΆ

Welcome to the Elephant Specification Language (ESL) reference documentation. ESL is a formal language to write extremely structured system specifications. These pages explain the fundamental scientific concepts which form the foundations of ESL, the formal syntax, semantics, and the dependency derivation rules.

Please refer to the ESL Enhancement Proposals to find the motivation and specification of new language features that have been added over time.

Please refer to the ESL Manual for a more light weight explanation of the language and an illustrative example.