אנגליתצרפתיתספרדי

סמל OnWorks

הורדת סופלה עבור לינוקס

הורדה בחינם של אפליקציית Soufflé Linux להפעלה מקוונת באובונטו מקוונת, פדורה מקוונת או דביאן מקוונת

זוהי אפליקציית לינוקס בשם Soufflé שאת הגרסה האחרונה שלה ניתן להוריד בתור Release2.4.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.

הורד והפעל באינטרנט את האפליקציה הזו בשם Soufflé עם OnWorks בחינם.

בצע את ההוראות הבאות כדי להפעיל את האפליקציה הזו:

- 1. הורד את היישום הזה למחשב שלך.

- 2. הזן במנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש שאתה רוצה.

- 3. העלה את היישום הזה במנהל קבצים כזה.

- 4. הפעל את האמולטור המקוון של OnWorks Linux או Windows מקוון או אמולטור מקוון של MACOS מאתר זה.

- 5. ממערכת ההפעלה OnWorks Linux שזה עתה התחלת, עבור אל מנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש הרצוי.

- 6. הורד את האפליקציה, התקן אותה והפעל אותה.

בצילומי מסך

Ad


סופלה


תיאור

אב טיפוס מהיר לבעיות הניתוח שלך עם לוגיקה; מאפשר חקר מרחב עיצובי עמוק; מיועד לניתוח סטטי בקנה מידה גדול; למשל, ניתוח נקודות ל-Java, ניתוח כתמים ובדיקות אבטחה. תחזיות Futamura/הערכה חלקית לתרגום יעיל ל-C++ מקביל; קומפילציה מבוימת אופטימלית; מבני נתונים מיוחדים ליחסים לוגיים. תרגום יעיל ל-C++ מקביל של תוכניות Datalog (CAV'16, CC'16) פרשנות יעילה באמצעות טכניקות דה-התמחות (PLDI'21) מבנה נתונים מיוחד ליחסים (PACT'19, PPoPP'19, PMAM'19) עם אינדקס אופטימלי בחירה (VLDB'18) סמנטיקה מורחבת של Datalog, למשל, התרת רקורסיות בלתי מוגבלות עם מספרים ומונחים. דגם רכיב פשוט למפרטי Datalog. סוגי רשומות/ADTs המוגדרים באופן רקורסיבי (א.ק. בנאים) עבור tuples. פונקציות מוגדרות על ידי משתמש. סוגים מוקפדים לבטיחות. 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 המוגדרים באופן רקורסיבי (א.ק. בנאים) עבור tuples


שפת תכנות

C + +


כל הקטגוריות

ניתוח קוד סטטי

זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/souffl.mirror/. הוא התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.


שרתים ותחנות עבודה בחינם

הורד אפליקציות Windows & Linux

פקודות לינוקס

Ad