Ito ang Linux app na pinangalanang Soufflé na ang pinakabagong release ay maaaring ma-download bilang Release2.4.zip. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang Soufflé na may OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Simulan ang OnWorks Linux online o Windows online emulator o MACOS online emulator mula sa website na ito.
- 5. Mula sa OnWorks Linux OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application, i-install ito at patakbuhin ito.
MGA LALAKI
Ad
Souffle
DESCRIPTION
Mabilis na prototyping para sa iyong mga problema sa pagsusuri sa lohika; pagpapagana ng malalim na disenyo-paggalugad sa espasyo; dinisenyo para sa malakihang static na pagsusuri; hal, point-to analysis para sa Java, taint-analysis, at security checks. Futamura projection/partial evaluation para sa epektibong pagsasalin sa parallel C++; na-optimize na itinanghal na compilation; dalubhasang data-structure para sa mga lohikal na relasyon. Mahusay na pagsasalin sa parallel C++ ng Datalog programs (CAV'16, CC'16) Mahusay na interpretasyon gamit ang de-specialization techniques (PLDI'21) Specialized data structure para sa mga relasyon (PACT'19, PPoPP'19, PMAM'19) na may pinakamainam na index selection (VLDB'18) Mga pinahabang semantika ng Datalog, hal, na nagpapahintulot sa walang hangganang recursion na may mga numero at termino. Simple component model para sa mga detalye ng Datalog. Recursively tinukoy na mga uri ng record/ADT (aka. constructors) para sa tuples. Mga function na tinukoy ng gumagamit. Mga uri ng malakas na uri para sa kaligtasan. Subsumption, aggregation, Choice Construct (APLAS'21).
Mga tampok
- Mahusay na pagsasalin sa parallel C++ ng Datalog programs (CAV'16, CC'16)
- Mahusay na interpretasyon gamit ang mga diskarte sa de-specialization (PLDI'21)
- Espesyal na istraktura ng data para sa mga relasyon (PACT'19, PPoPP'19, PMAM'19) na may pinakamainam na pagpili ng index (VLDB'18)
- Mga pinahabang semantika ng Datalog, hal, na nagpapahintulot sa mga walang hangganang recursion na may mga numero at termino
- Simple component model para sa mga detalye ng Datalog
- Recursively tinukoy na mga uri ng record/ADT (aka. constructors) para sa tuples
Wika ng Programming
C + +
Kategorya
Ito ay isang application na maaari ding kunin mula sa https://sourceforge.net/projects/souffl.mirror/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.
