Ini adalah aplikasi Linux bernama Soufflé yang rilis terbarunya dapat diunduh sebagai Release2.4.zip. Ini dapat dijalankan secara online di penyedia hosting gratis OnWorks untuk workstation.
Unduh dan jalankan secara online aplikasi bernama Soufflé with OnWorks ini secara gratis.
Ikuti petunjuk ini untuk menjalankan aplikasi ini:
- 1. Download aplikasi ini di PC Anda.
- 2. Masuk ke file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan username yang anda inginkan.
- 3. Upload aplikasi ini di filemanager tersebut.
- 4. Jalankan emulator online OnWorks Linux atau Windows online atau emulator online MACOS dari situs web ini.
- 5. Dari OS Linux OnWorks yang baru saja Anda mulai, buka file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang Anda inginkan.
- 6. Download aplikasinya, install dan jalankan.
Tangkapan layar
Ad
Souffle
DESKRIPSI
Pembuatan prototipe cepat untuk masalah analisis Anda dengan logika; memungkinkan eksplorasi ruang-desain yang dalam; dirancang untuk analisis statis skala besar; misalnya, point-to analysis untuk Java, taint-analysis, dan pemeriksaan keamanan. Proyeksi Futamura/evaluasi parsial untuk penerjemahan efektif ke C++ paralel; kompilasi bertahap yang dioptimalkan; struktur data khusus untuk hubungan logis. Terjemahan yang efisien ke C++ paralel dari program Datalog (CAV'16, CC'16) Interpretasi yang efisien menggunakan teknik de-spesialisasi (PLDI'21) Struktur data khusus untuk relasi (PACT'19, PPoPP'19, PMAM'19) dengan indeks optimal seleksi (VLDB'18) Semantik yang diperluas dari Datalog, misalnya, mengizinkan rekursi tak terbatas dengan angka dan istilah. Model komponen sederhana untuk spesifikasi Datalog. Jenis rekaman/ADT yang ditentukan secara rekursif (alias. konstruktor) untuk tupel. Fungsi yang ditentukan pengguna. Jenis yang diketik dengan kuat untuk keamanan. Subsumsi, agregasi, Konstruksi Pilihan (APLAS'21).
Fitur
- Terjemahan yang efisien ke C++ paralel dari program Datalog (CAV'16, CC'16)
- Interpretasi yang efisien menggunakan teknik de-spesialisasi (PLDI'21)
- Struktur data khusus untuk relasi (PACT'19, PPoPP'19, PMAM'19) dengan pemilihan indeks optimal (VLDB'18)
- Semantik yang diperluas dari Datalog, misalnya, mengizinkan rekursi tak terbatas dengan angka dan istilah
- Model komponen sederhana untuk spesifikasi Datalog
- Jenis rekaman/ADT yang ditentukan secara rekursif (alias. konstruktor) untuk tupel
Bahasa Pemrograman
C + +
Kategori
Ini adalah aplikasi yang juga dapat diambil dari https://sourceforge.net/projects/souffl.mirror/. Itu telah dihosting di OnWorks untuk dijalankan secara online dengan cara termudah dari salah satu Sistem Operasi gratis kami.