Este é o aplicativo Linux denominado Combinatory Reduction Systems Extended, cuja versão mais recente pode ser baixada como crsx401.zip. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado Combinatory Reduction Systems Extended with OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
Sistemas de redução combinatória estendidos
DESCRIÇÃO:
Implementação de Combinatory Reduction Systems (CRS) com extensões experimentais, em Java. CRS é um formalismo para reescrita de ordem superior inventado por JWKlop em 1980. Para obter mais detalhes, consulte o Projeto / Site.
Funcionalidades
- Reescrita de termos
- Gerar compiladores a partir de especificações formais
- Reescrita de ordem superior
- Cálculo Lambda
Público
Usuários finais avançados, ciência / pesquisa
Interface com o usuário
Linha de comando, Eclipse
Linguagem de Programação
C,Java
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/crsx/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.