Writing CSL

In this chapter, we introduce the CSL language and its concepts using small examples. We also provide an in-depth language and standard library reference for advanced users.

Language Concepts and Introduction

For an introduction to the CSL language with a simple walk-through of your first contract and explanation of the basic concepts, start here:

• Contracts 101
• Your first CSL contract
  • Specifying events
  • Encoding events
  • Specifying the desired behaviour
• Contract life cycle
  • Instantiating contracts
  • Submitting events to contracts

Language Reference

For more in-depth reference and explanation of language features once you know the basic concepts, look here:

• Contract language reference
  • The successfully completed contract
  • The breached contract
  • The prefixed-contract
  • Sequentially composed contracts
  • Concurrently composed contracts
  • Choice between contracts
  • Observing external state
  • Contract functions
  • Contract definitions
  • Contract templates
  • Guardedness
• Value expression language
  • Primitive values and value literals
  • Operators
  • Constructors and sum types
  • Lists
  • Records
  • Type aliases
  • Functions
  • Conditional expressions (if-then-else)
  • Type case expressions
  • Upcast annotation
  • Let-expressions
  • Type annotations
  • Equality checking
  • External declarations
• Modules
• Scoping
  • Sequential bindings
  • Simultaneous bindings
  • Local scopes
  • Recursive bindings
  • Overview
• Report query language
  • Overview
  • Relations
  • for expressions
• Testing CSL
  • Unit tests
  • Scenario tests
  • Properties

Standard Library

If you want to refer to the standard library, see here:

• The CSL Standard Library

CSL Grammar

If you want to refer to the CSL grammar, see here:

• CSL Grammar