Це програма для Windows під назвою Soufflé, останню версію якої можна завантажити як Release2.4.zip. Його можна запустити онлайн у безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть цю програму під назвою Soufflé з OnWorks безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть будь-який онлайн емулятор ОС OnWorks з цього веб-сайту, але кращий онлайн-емулятор Windows.
- 5. З ОС OnWorks Windows, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму та встановіть її.
- 7. Завантажте Wine зі сховищ програмного забезпечення дистрибутивів Linux. Після встановлення ви можете двічі клацнути програму, щоб запустити їх за допомогою Wine. Ви також можете спробувати PlayOnLinux, модний інтерфейс замість Wine, який допоможе вам встановити популярні програми та ігри Windows.
Wine — це спосіб запуску програмного забезпечення Windows на Linux, але без використання Windows. Wine — це рівень сумісності Windows з відкритим вихідним кодом, який може запускати програми Windows безпосередньо на будь-якому робочому столі Linux. По суті, Wine намагається повторно реалізувати достатньо Windows з нуля, щоб він міг запускати всі ці програми Windows, насправді не потребуючи Windows.
ЕКРАНИ
Ad
Суфле
ОПИС
Швидке створення прототипів для аналізу проблем із логікою; можливість глибокого дослідження простору дизайну; призначений для великомасштабного статичного аналізу; наприклад, аналіз вказівок для Java, аналіз забруднення та перевірки безпеки. Проекції Futamura/часткова оцінка для ефективного перекладу на паралельний C++; оптимізована поетапна компіляція; спеціалізовані структури даних для логічних відносин. Ефективний переклад на паралельний C++ програм Datalog (CAV'16, CC'16) Ефективна інтерпретація з використанням методів деспеціалізації (PLDI'21) Спеціалізована структура даних для відносин (PACT'19, PPoPP'19, PMAM'19) з оптимальним індексом вибір (VLDB'18) Розширена семантика Datalog, наприклад, дозволяє необмежені рекурсії з числами та термінами. Проста модель компонентів для специфікацій Datalog. Рекурсивно визначені типи записів/ADT (так звані конструктори) для кортежів. Визначені користувачем функтори. Строго типізовані типи для безпеки. Підсумування, агрегація, конструкція вибору (APLAS'21).
Функції
- Ефективний переклад на паралельний C++ програм Datalog (CAV'16, CC'16)
- Ефективний переклад з використанням методів деспеціалізації (PLDI'21)
- Спеціалізована структура даних для відносин (PACT'19, PPoPP'19, PMAM'19) з оптимальним вибором індексу (VLDB'18)
- Розширена семантика Datalog, наприклад, дозвіл необмежених рекурсій із числами та термінами
- Проста модель компонентів для специфікацій Datalog
- Рекурсивно визначені типи записів/ADT (так звані конструктори) для кортежів
Мова програмування
C + +
Категорії
Це програма, яку також можна завантажити з https://sourceforge.net/projects/souffl.mirror/. Його розміщено в OnWorks, щоб його можна було найпростіше запускати онлайн з однієї з наших безкоштовних операційних систем.
