FICHA · AUR

cafeobj-sbcl

Linguagem de programação e especificação algébrica de nova geração construída com SBCL

  • cli
  • Linha de comando
  • Abre direto
  • Roda no terminal
codex · reviewed · 30 de mai. de 2026 descrição em pt-br · fallback

Descrição

Especificações algébricas e programas podem ser escritos em CafeOBJ usando um pacote construído com SBCL. É útil para pesquisadores e desenvolvedores que trabalham com métodos formais, especificação e verificação de comportamento de sistemas.

É um ambiente de linguagem formal, não um aplicativo geral de escritório ou programação comum. Especificações exigem conhecimento do domínio, e resultados devem ser revisados dentro de um processo maior de verificação.

Como rodar

cafeobj

Comandos: cafeobj

Permissões

Permissões ainda não analisadas para esta fonte.