Đây là ứng dụng Windows có tên Soufflé có bản phát hành mới nhất có thể tải xuống dưới dạng Release2.4.zip. Nó có thể chạy trực tuyến trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng này có tên Soufflé với OnWorks miễn phí.
Làm theo các hướng dẫn sau để chạy ứng dụng này:
- 1. Đã tải ứng dụng này xuống PC của bạn.
- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.
- 4. Khởi động bất kỳ trình giả lập trực tuyến OS OnWorks nào từ trang web này, nhưng trình giả lập trực tuyến Windows tốt hơn.
- 5. Từ Hệ điều hành Windows OnWorks bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 6. Tải xuống ứng dụng và cài đặt nó.
- 7. Tải xuống Wine từ kho phần mềm phân phối Linux của bạn. Sau khi cài đặt, bạn có thể nhấp đúp vào ứng dụng để chạy chúng với Wine. Bạn cũng có thể thử PlayOnLinux, một giao diện đẹp mắt trên Wine sẽ giúp bạn cài đặt các chương trình và trò chơi phổ biến của Windows.
Wine là một cách để chạy phần mềm Windows trên Linux, nhưng không cần Windows. Wine là một lớp tương thích Windows mã nguồn mở có thể chạy các chương trình Windows trực tiếp trên bất kỳ máy tính để bàn Linux nào. Về cơ bản, Wine đang cố gắng triển khai lại đủ Windows từ đầu để nó có thể chạy tất cả các ứng dụng Windows đó mà không thực sự cần đến Windows.
MÀN HÌNH
Ad
Souffle
MÔ TẢ
Tạo nguyên mẫu nhanh cho các vấn đề phân tích của bạn bằng logic; cho phép khám phá không gian thiết kế sâu; được thiết kế để phân tích tĩnh quy mô lớn; ví dụ: phân tích điểm tới cho Java, phân tích vết bẩn và kiểm tra bảo mật. Các phép chiếu Futamura/đánh giá một phần để dịch hiệu quả sang C++ song song; biên dịch theo giai đoạn được tối ưu hóa; cấu trúc dữ liệu chuyên biệt cho các quan hệ logic. Dịch hiệu quả sang C++ song song của các chương trình Datalog (CAV'16, CC'16) Giải thích hiệu quả bằng cách sử dụng các kỹ thuật phi chuyên môn hóa (PLDI'21) Cấu trúc dữ liệu chuyên biệt cho các quan hệ (PACT'19, PPoPP'19, PMAM'19) với chỉ số tối ưu lựa chọn (VLDB'18) Ngữ nghĩa mở rộng của Datalog, ví dụ, cho phép đệ quy không giới hạn với các số và thuật ngữ. Mô hình thành phần đơn giản cho đặc tả Datalog. Các loại bản ghi/ADT được xác định đệ quy (còn gọi là hàm tạo) cho các bộ dữ liệu. Hàm do người dùng định nghĩa. Các loại gõ mạnh cho an toàn. Subsumption, aggregation, Choice Construct (APLAS'21).
Tính năng
- Dịch hiệu quả sang C++ song song của các chương trình Datalog (CAV'16, CC'16)
- Giải thích hiệu quả bằng cách sử dụng các kỹ thuật phi chuyên môn hóa (PLDI'21)
- Cấu trúc dữ liệu chuyên biệt cho quan hệ (PACT'19, PPoPP'19, PMAM'19) với lựa chọn chỉ số tối ưu (VLDB'18)
- Ngữ nghĩa mở rộng của Datalog, ví dụ: cho phép đệ quy không giới hạn với các số và thuật ngữ
- Mô hình thành phần đơn giản cho thông số Datalog
- Các loại bản ghi/ADT được xác định đệ quy (còn gọi là hàm tạo) cho các bộ dữ liệu
Ngôn ngữ lập trình
C + +
Danh Mục
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/souffl.mirror/. Nó đã được lưu trữ trong OnWorks để có thể chạy trực tuyến theo cách dễ dàng nhất từ một trong các Hệ điều hành miễn phí của chúng tôi.
