Dit is de Linux-app genaamd Soufflé waarvan de nieuwste release kan worden gedownload als Release2.4.zip. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download deze app met de naam Soufflé gratis en voer deze online uit met OnWorks.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
SCREENSHOTS
Ad
soufflé
PRODUCTBESCHRIJVING
Rapid prototyping voor uw analyseproblemen met logica; diepe verkenningen van de ontwerpruimte mogelijk maken; ontworpen voor grootschalige statische analyse; bijv. point-to-analyse voor Java, taint-analyse en beveiligingscontroles. Futamura-projecties/gedeeltelijke evaluatie voor effectieve vertaling naar parallel C++; geoptimaliseerde geënsceneerde compilatie; gespecialiseerde datastructuren voor logische relaties. Efficiënte vertaling naar parallelle C++ van Datalog-programma's (CAV'16, CC'16) Efficiënte interpretatie met behulp van de-specialisatietechnieken (PLDI'21) Gespecialiseerde datastructuur voor relaties (PACT'19, PPoPP'19, PMAM'19) met optimale index selectie (VLDB'18) Uitgebreide semantiek van Datalog, bijv. het toestaan van onbeperkte recursies met getallen en termen. Eenvoudig componentmodel voor Datalog-specificaties. Recursief gedefinieerde recordtypes/ADT's (ook bekend als constructors) voor tuples. Door de gebruiker gedefinieerde functies. Sterk getypeerde typen voor de veiligheid. Subsumptie, aggregatie, keuzeconstructie (APLAS'21).
Kenmerken
- Efficiënte vertaling naar parallelle C++ van Datalog-programma's (CAV'16, CC'16)
- Efficiënt tolken met behulp van de-specialisatietechnieken (PLDI'21)
- Gespecialiseerde datastructuur voor relaties (PACT'19, PPoPP'19, PMAM'19) met optimale indexselectie (VLDB'18)
- Uitgebreide semantiek van Datalog, bijvoorbeeld het toestaan van onbeperkte recursies met getallen en termen
- Eenvoudig componentmodel voor Datalog-specificaties
- Recursief gedefinieerde recordtypes/ADT's (ook bekend als constructors) voor tuples
Programmeertaal
C + +
Categorieën
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/souffl.mirror/. Het is gehost in OnWorks, zodat het op de gemakkelijkste manier online kan worden uitgevoerd vanaf een van onze gratis besturingssystemen.