Bu, son sürümü Release2.4.zip olarak indirilebilen Soufflé adlı Windows uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
Soufflé adlı bu uygulamayı OnWorks ile ücretsiz olarak indirin ve çevrimiçi çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden herhangi bir OS OnWorks çevrimiçi öykünücüsünü başlatın, ancak daha iyi Windows çevrimiçi öykünücüsü.
- 5. Yeni başlattığınız OnWorks Windows işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin ve kurun.
- 7. Wine'ı Linux dağıtımları yazılım havuzlarınızdan indirin. Kurulduktan sonra, Wine ile çalıştırmak için uygulamaya çift tıklayabilirsiniz. Ayrıca, popüler Windows programlarını ve oyunlarını yüklemenize yardımcı olacak Wine üzerinden gösterişli bir arayüz olan PlayOnLinux'u da deneyebilirsiniz.
Wine, Windows yazılımını Linux üzerinde çalıştırmanın bir yoludur, ancak Windows gerektirmez. Wine, Windows programlarını doğrudan herhangi bir Linux masaüstünde çalıştırabilen açık kaynaklı bir Windows uyumluluk katmanıdır. Esasen Wine, Windows'a ihtiyaç duymadan tüm bu Windows uygulamalarını çalıştırabilmesi için yeterince Windows'u sıfırdan yeniden uygulamaya çalışıyor.
EKRAN
Ad
Sufle
TANIM
Mantık ile analiz problemleriniz için hızlı prototipleme; derin tasarım alanı keşiflerine olanak sağlamak; büyük ölçekli statik analiz için tasarlanmış; örneğin, Java için nokta analizi, leke analizi ve güvenlik kontrolleri. Paralel C++'a etkin çeviri için Futamura tahminleri/kısmi değerlendirme; optimize edilmiş aşamalı derleme; mantıksal ilişkiler için özel veri yapıları. Datalog programlarının paralel C++'a verimli çevirisi (CAV'16, CC'16) Özelleştirme dışı teknikleri kullanarak verimli yorumlama (PLDI'21) Optimum dizinle ilişkiler için özel veri yapısı (PACT'19, PPoPP'19, PMAM'19) seçimi (VLDB'18) Datalog'un genişletilmiş semantiği, örneğin sayılar ve terimlerle sınırsız yinelemelere izin verme. Datalog spesifikasyonları için basit bileşen modeli. Demetler için yinelemeli olarak tanımlanmış kayıt türleri/ADT'ler (yapıcılar olarak da bilinir). Kullanıcı tanımlı işlevler. Güvenlik için kesin olarak yazılmış türler. Kapsama, toplama, Seçim Yapısı (APLAS'21).
Özellikler
- Datalog programlarının (CAV'16, CC'16) paralel C++'a verimli çevirisi
- Uzmanlaşmama tekniklerini kullanarak verimli yorumlama (PLDI'21)
- Optimum dizin seçimi (VLDB'19) ile ilişkiler için özel veri yapısı (PACT'19, PPoPP'19, PMAM'18)
- Datalog'un genişletilmiş semantiği, örneğin sayılar ve terimlerle sınırsız yinelemelere izin verme
- Datalog spesifikasyonları için basit bileşen modeli
- Demetler için yinelemeli olarak tanımlanmış kayıt türleri/ADT'ler (yapılandırıcılar olarak da bilinir)
Programlama dili
C + +
Kategoriler
Bu, https://sourceforge.net/projects/souffl.mirror/ adresinden de alınabilen bir uygulamadır. Ücretsiz Operatif Sistemlerimizden birinden en kolay şekilde online olarak çalıştırılabilmesi için OnWorks üzerinde barındırılmıştır.
