นี่คือแอป Windows ชื่อ Soufflé ซึ่งสามารถดาวน์โหลดรุ่นล่าสุดได้ในชื่อ Release2.4.zip สามารถเรียกใช้ออนไลน์ได้ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ทางออนไลน์ชื่อ Soufflé พร้อม OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OS OnWorks จากเว็บไซต์นี้ แต่โปรแกรมจำลองออนไลน์ของ Windows ที่ดีกว่า
- 5. จากระบบปฏิบัติการ Windows ของ OnWorks ที่คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่นและติดตั้ง
- 7. ดาวน์โหลดไวน์จากที่เก็บซอฟต์แวร์ลีนุกซ์ดิสทริบิวชันของคุณ เมื่อติดตั้งแล้ว คุณสามารถดับเบิลคลิกที่แอปเพื่อเรียกใช้แอปด้วย Wine คุณยังสามารถลองใช้ PlayOnLinux ซึ่งเป็นอินเทอร์เฟซแฟนซีบน Wine ที่จะช่วยคุณติดตั้งโปรแกรมและเกมยอดนิยมของ Windows
ไวน์เป็นวิธีเรียกใช้ซอฟต์แวร์ Windows บน Linux แต่ไม่จำเป็นต้องใช้ Windows Wine เป็นเลเยอร์ความเข้ากันได้ของ Windows แบบโอเพ่นซอร์สที่สามารถเรียกใช้โปรแกรม Windows ได้โดยตรงบนเดสก์ท็อป Linux โดยพื้นฐานแล้ว Wine พยายามนำ Windows กลับมาใช้ใหม่ให้เพียงพอตั้งแต่เริ่มต้น เพื่อให้สามารถเรียกใช้แอปพลิเคชัน Windows เหล่านั้นทั้งหมดโดยไม่จำเป็นต้องใช้ Windows จริงๆ
ภาพหน้าจอ
Ad
ซูเฟล่
DESCRIPTION
การสร้างต้นแบบอย่างรวดเร็วสำหรับปัญหาการวิเคราะห์ของคุณด้วยตรรกะ เปิดใช้งานการสำรวจพื้นที่การออกแบบเชิงลึก ออกแบบมาสำหรับการวิเคราะห์ทางสถิตขนาดใหญ่ เช่น การวิเคราะห์แบบ point-to สำหรับ Java, taint-analysis และการตรวจสอบความปลอดภัย Futamura ประมาณการ / การประเมินบางส่วนสำหรับการแปลที่มีประสิทธิภาพเป็น C ++ แบบขนาน; การรวบรวมฉากที่ปรับให้เหมาะสม โครงสร้างข้อมูลเฉพาะสำหรับความสัมพันธ์เชิงตรรกะ การแปลอย่างมีประสิทธิภาพเป็น C++ แบบขนานของโปรแกรม Datalog (CAV'16, CC'16) การตีความอย่างมีประสิทธิภาพโดยใช้เทคนิค de-specialization (PLDI'21) โครงสร้างข้อมูลเฉพาะสำหรับความสัมพันธ์ (PACT'19, PPoPP'19, PMAM'19) พร้อมดัชนีที่เหมาะสมที่สุด การเลือก (VLDB'18) ความหมายเพิ่มเติมของ Datalog เช่น การอนุญาตการเรียกซ้ำแบบไม่จำกัดด้วยตัวเลขและข้อกำหนด โมเดลคอมโพเนนต์อย่างง่ายสำหรับข้อมูลจำเพาะของ Datalog ประเภทเรกคอร์ดที่กำหนดแบบเรียกซ้ำ/ADTs (aka. ตัวสร้าง) สำหรับสิ่งอันดับ ฟังก์ชั่นที่ผู้ใช้กำหนด ประเภทที่พิมพ์อย่างแน่นหนาเพื่อความปลอดภัย Subsumption, Aggregation, Choice Construct (APLAS'21)
คุณสมบัติ
- การแปลอย่างมีประสิทธิภาพเป็น C++ แบบขนานของโปรแกรม Datalog (CAV'16, CC'16)
- การตีความอย่างมีประสิทธิภาพโดยใช้เทคนิคเฉพาะทาง (PLDI'21)
- โครงสร้างข้อมูลเฉพาะสำหรับความสัมพันธ์ (PACT'19, PPoPP'19, PMAM'19) พร้อมการเลือกดัชนีที่เหมาะสมที่สุด (VLDB'18)
- ความหมายเพิ่มเติมของ Datalog เช่น การอนุญาตการเรียกซ้ำไม่จำกัดด้วยตัวเลขและข้อกำหนด
- โมเดลคอมโพเนนต์อย่างง่ายสำหรับข้อมูลจำเพาะของ Datalog
- ประเภทเรกคอร์ดที่กำหนดแบบเรียกซ้ำ/ADTs (aka. ตัวสร้าง) สำหรับสิ่งอันดับ
ภาษาโปรแกรม
C + +
หมวดหมู่
นี่เป็นแอปพลิเคชันที่สามารถเรียกได้จาก https://sourceforge.net/projects/souffl.mirror/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ด้วยวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา