Outros

Alguns dos factos relevantes sobre o SPL que não foram até agora apresentados são:

• Podem ser introduzidos comentários num programa em SPL utilizando o caracter %, para indicar um comentário que só vai até ao fim da linha, ou usando (* e *) para um comentário que ocupe várias linhas.
• Os ficheiros com especificações em SPL devem ter a extensão .spl.
• Para "carregar" uma especificação em SPL para o STeP utiliza-se a opção Load Program do menu File. Caso existam erros sintáticos aparece uma janela com uma descrição do erro, havendo a possibilidade de o corrigir e voltar a tentar lê-lo através da opção Try same file again. Se o programa não tiver erros aparece uma janela com o mesmo.