Angielskifrancuskihiszpański

Ulubiona usługa OnWorks

Suflet do pobrania dla systemu Linux

Pobierz bezpłatnie aplikację Soufflé Linux do uruchamiania online w Ubuntu online, Fedorze online lub Debianie online

To jest aplikacja dla systemu Linux o nazwie Soufflé, której najnowszą wersję można pobrać jako Release2.4.zip. Można go uruchomić online w darmowym dostawcy usług hostingowych OnWorks dla stacji roboczych.

Pobierz i uruchom online tę aplikację o nazwie Soufflé z OnWorks za darmo.

Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:

- 1. Pobrałem tę aplikację na swój komputer.

- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.

- 3. Prześlij tę aplikację w takim menedżerze plików.

- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.

- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.

- 6. Pobierz aplikację, zainstaluj ją i uruchom.

ZRZUTY EKRANU

Ad


Suflet


OPIS

Szybkie prototypowanie dla twoich problemów analitycznych z logiką; umożliwienie głębokiej eksploracji przestrzeni projektowej; przeznaczony do wielkoskalowych analiz statycznych; np. analiza punktów dla Javy, analiza skażeń i kontrole bezpieczeństwa. Projekcje Futamury/częściowa ocena pod kątem efektywnego tłumaczenia na równoległy C++; zoptymalizowana kompilacja etapowa; wyspecjalizowane struktury danych dla relacji logicznych. Wydajne tłumaczenie do równoległego języka C++ programów Datalog (CAV'16, CC'16) Wydajna interpretacja z wykorzystaniem technik despecjalizacji (PLDI'21) Wyspecjalizowana struktura danych dla relacji (PACT'19, PPoPP'19, PMAM'19) z optymalnym indeksem selekcja (VLDB'18) Rozszerzona semantyka Datalogu, np. zezwolenie na nieograniczone rekursje z liczbami i terminami. Prosty model komponentów dla specyfikacji Datalog. Rekurencyjnie zdefiniowane typy rekordów/ADT (inaczej konstruktory) dla krotek. Funktory zdefiniowane przez użytkownika. Silnie wpisane typy dla bezpieczeństwa. Subsumpcja, agregacja, konstrukcja wyboru (APLAS'21).



Zakładka Charakterystyka

  • Wydajne tłumaczenie na równoległy C++ programów Datalog (CAV'16, CC'16)
  • Skuteczna interpretacja z wykorzystaniem technik despecjalizacji (PLDI'21)
  • Wyspecjalizowana struktura danych dla relacji (PACT'19, PPoPP'19, PMAM'19) z optymalnym doborem indeksu (VLDB'18)
  • Rozszerzona semantyka Datalogu, np. zezwolenie na nieograniczone rekursje z liczbami i terminami
  • Prosty model komponentów dla specyfikacji Datalog
  • Rekurencyjnie zdefiniowane typy rekordów/ADT (inaczej konstruktory) dla krotek


Język programowania

C + +


Kategorie

Statyczna analiza kodu

Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/souffl.mirror/. Został umieszczony w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.


Darmowe serwery i stacje robocze

Pobierz aplikacje Windows i Linux

Komendy systemu Linux

Ad