Este é o aplicativo do Windows chamado Soufflé cuja versão mais recente pode ser baixada como Release2.4.zip. Ele pode ser executado online no provedor de hospedagem gratuito OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado Soufflé 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 qualquer emulador on-line OS OnWorks a partir deste site, mas um emulador on-line melhor do Windows.
- 5. No sistema operacional OnWorks Windows 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 e instale-o.
- 7. Baixe o Wine de seus repositórios de software de distribuição Linux. Depois de instalado, você pode clicar duas vezes no aplicativo para executá-lo com o Wine. Você também pode experimentar o PlayOnLinux, uma interface sofisticada do Wine que o ajudará a instalar programas e jogos populares do Windows.
Wine é uma forma de executar software Windows no Linux, mas sem a necessidade de Windows. Wine é uma camada de compatibilidade do Windows de código aberto que pode executar programas do Windows diretamente em qualquer desktop Linux. Essencialmente, o Wine está tentando reimplementar o suficiente do Windows do zero para que possa executar todos os aplicativos do Windows sem realmente precisar do Windows.
SCREENSHOTS
Ad
Suflê
DESCRIÇÃO
Prototipagem rápida para seus problemas de análise com lógica; permitindo explorações profundas do espaço de design; projetado para análise estática em grande escala; por exemplo, análise de pontos para Java, análise de manchas e verificações de segurança. Projeções Futamura/avaliação parcial para tradução efetiva para C++ paralelo; compilação em estágios otimizada; estruturas de dados especializadas para relações lógicas. Tradução eficiente para C++ paralelo de programas Datalog (CAV'16, CC'16) Interpretação eficiente usando técnicas de des-especialização (PLDI'21) Estrutura de dados especializada para relações (PACT'19, PPoPP'19, PMAM'19) com índice ótimo seleção (VLDB'18) Semântica estendida de Datalog, por exemplo, permitindo recursões ilimitadas com números e termos. Modelo de componente simples para especificações Datalog. Tipos de registro/ADTs definidos recursivamente (também conhecidos como construtores) para tuplas. Functores definidos pelo usuário. Tipos fortemente tipados para segurança. Subsunção, agregação, Choice Construct (APLAS'21).
Funcionalidades
- Tradução eficiente para C++ paralelo de programas Datalog (CAV'16, CC'16)
- Interpretação eficiente usando técnicas de desespecialização (PLDI'21)
- Estrutura de dados especializada para relações (PACT'19, PPoPP'19, PMAM'19) com seleção de índice ideal (VLDB'18)
- Semântica estendida de Datalog, por exemplo, permitindo recursões ilimitadas com números e termos
- Modelo de componente simples para especificações Datalog
- Tipos de registro/ADTs definidos recursivamente (também conhecidos como construtores) para tuplas
Linguagem de Programação
C + +
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/souffl.mirror/. Ele foi hospedado em OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.
