To jest aplikacja Windows 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 dowolny emulator online systemu operacyjnego OnWorks z tej witryny, ale lepszy emulator online systemu Windows.
- 5. W systemie operacyjnym OnWorks Windows, 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ę i zainstaluj ją.
- 7. Pobierz Wine z repozytoriów oprogramowania dystrybucji Linuksa. Po zainstalowaniu możesz dwukrotnie kliknąć aplikację, aby uruchomić ją za pomocą Wine. Możesz także wypróbować PlayOnLinux, fantazyjny interfejs w Wine, który pomoże Ci zainstalować popularne programy i gry Windows.
Wine to sposób na uruchamianie oprogramowania Windows w systemie Linux, ale bez systemu Windows. Wine to warstwa kompatybilności z systemem Windows typu open source, która może uruchamiać programy systemu Windows bezpośrednio na dowolnym pulpicie systemu Linux. Zasadniczo Wine próbuje ponownie zaimplementować system Windows od podstaw, aby mógł uruchamiać wszystkie te aplikacje Windows bez faktycznego korzystania z systemu Windows.
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).
Korzyści
- 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
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.