>>
sire documentation
ΒΆ
Usage
Installation
Setting up the dependencies
Setting up sire
Getting started
Useful options
Language definition
Introduction
Variables and values
Values
Numbers
Variables
Arrays
Expressions
Operators
Operations on values
Sequential structuring
Sequential composition
The
while
loop
The
for
loop
The
if
statement
The
skip
statement
Parallel structuring
Parallel composition
Replicated parallelism
Disjointness
Program structuring
Processes
Functions
Scoping
Recursion
A program
Explicit process creation
Builtins
Keywords
References
Internals
Source code
sire documentation (0v1)
Usage
Language definition
Internals
Source code
Search