Instruções compostas

Estas instruções permitem controlar o fluxo da execução de um programa.

• if c then S₁ else S₂
  Típica instrução condicional. O primeiro passo da sua execução consiste em calcular o valor da expressão boleana c. Se este for true, no passo seguinte é executada a instrução S₁. Se for false, é executada a instrução S₂. Ao contrário da instrução await c que só termina quando c for true, o primeiro passo desta instrução termina sempre. Um caso particular surge quando não se especifica uma instrução para executar quando c é falsa. Nesse caso temos if c then S₁. Se c tiver o valor false a execução desta instrução termina num passo.
• S₁; $\ldots$; S_k
  Concatenação: execução sequencial das instruções S₁ até S_k. Num programa constituido por várias linhas pode-se omitir o separador ; no fim de cada linha. Com a concatenação é possível definir a instrução when c do S como uma abreviatura para await c; S. Também se encontra definida a instrução guard c do S, em que S só pode ser uma instrução de atribuição, como uma abreviatura para <<when x do S>> (ver secção sobre instruções agrupadas mais adiante).
• S₁ or $\ldots$ or S_k
  Instrução de selecção: escolhe de entre todas as k subinstruções uma que esteja pronta a executar e executa-a. Se mais do que uma subinstrução estiver nessas condições a escolha é não determinística. Enquanto nenhuma das subinstruções estiver pronta a executar a instrução de selecção não é executada.
• while c do S
  Executa repetidamente S enquanto c tiver o valor true. Se c tiver o valor F a execução desta instrução termina. Também se encontram definidas a instrução loop forever do S como abreviatura de while true do S, a instrução for i:=1 to m do S como abreviatura de i:=1; while $i \leq m$ do [S; i:=i+1] e a típica instrução repeat S until c.
• l: [l₁:S₁; $\widehat{l_1}$:] $\parallel$ $\ldots$ $\parallel$ [l_k:S_k; $\widehat{l_k}$:]; $\widehat{l}$:
  Instrução de cooperação ou composição paralela: executa concorrentemente as subinstruções S₁ até S_k. A execução desta instrução composta começa com um passo de entrada que se limita a mover o controlo da etiqueta l para as etiquetas $l_1, \ldots, l_k$. Depois são executadas todas as subinstruções. No final há um passo de sincronização que só é executado quando a execução chegar a todas as etiquetas de saída $\widehat{l_1}, \ldots, \widehat{l_k}$, e que se limita a mover o estado da execução destas para a etiqueta de saída $\widehat{l}$. Isto implica que, por exemplo, na instrução ([l₁:S₁; $\widehat{l_1}$:] $\parallel$ [l₂:S₂; $\widehat{l_2}$:]); S₃, a execução de S₃ não comece enquanto não terminar a execução de S₁ e S₂. Cada componente [l_i:S_i; $\widehat{l_i}$:] de uma instrução de cooperação é denominado um processo. A execução dos vários processos é feita por intercalação das instruções elementares de cada um.
• [declarações locais; S]
  Bloco de instruções. Nas declarações locais são declaradas as variáveis locais ao corpo S, sob a forma de uma lista de instruções de declaração:
  local variável, $\ldots$, variável: tipo where $\varphi_i$
  Na tabela 1.1 encontram-se definidos todos os tipos do SPL. Nessa tabela, gama designa um intervalo de valores que pode ser definido como n..m (intervalo de n até m), ..m (intervalo de $-\infty$ até m) ou n.. (intervalo de n até $+\infty$). exp designa uma expressão boolena.
  
   

  Table 1.1: Tipos do SPL

  Tipo	Significado
  bool	tipo básico dos boleanos
  int	tipo básico dos números inteiros
  rat	tipo básico dos números racionais
  real	tipo básico dos números reais
  id	abreviatura de um tipo ou datatype
  array $\alpha$ of $\beta$	array de elementos do tipo $\beta$ e índices do tipo $\alpha$
  $\alpha$ set	conjunto de elementos do tipo $\alpha$
  channel of $\alpha$	canal síncrono de tipo $\alpha$
  channel [1..] of $\alpha$	canal assíncrono de capacidade ilimitada
  channel [1..n] of $\alpha$	canal assíncrono limitado a n mensagens
  [gama]	intervalo de valores inteiros
  real [gama]	intervalo fechado de reais
  real [gama)	intervalo de reais fechado à esquerda e
  	aberto à direita
  real (gama]	intervalo de reais fechado à direita e
  	aberto à esquerda
  real (gama)	intervalo aberto de reais
  {id:$\alpha$ | exp}	subconjunto do tipo $\alpha$ definido por compreensão
  $\alpha_1$ * $\ldots$ * $\alpha_n$	produto dos tipos $\alpha_1$ até $\alpha_n$
  {id1:$\alpha_1$, $\ldots$, idn:$\alpha_n$}	tipo record
  [gama, $\ldots$, gama]	conjunto de intervalos de inteiros

   
  
  A asserção $\varphi_i$ serve para inicializar estaticamente as variáveis locais e é da forma $y_1=e_1, \ldots, y_n=e_n$, sendo $y_1, \ldots, y_n$ algumas das variáveis que aparecem na declaração e $e_1, \ldots, e_n$ expressões que apenas podem depender de variáveis declaradas fora do bloco.

Para tornar o parsing não ambíguo devem-se colocar parênteses rectos em todas as instruções compostas que apareçam como subinstruções de uma instrução maior. Num programa com várias linhas, os parênteses podem ser omitidos nas subinstruções que ocupem uma linha inteira.