ນີ້ແມ່ນແອັບ Windows ທີ່ມີຊື່ວ່າ Soufflé ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ໃນນາມ Release2.4.zip. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີສໍາລັບບ່ອນເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ Soufflé ກັບ OnWorks ໄດ້ຟຣີ.
ປະຕິບັດຕາມຄໍາແນະນໍາເຫຼົ່ານີ້ເພື່ອດໍາເນີນການ app ນີ້:
- 1. ດາວໂຫຼດຄໍາຮ້ອງສະຫມັກນີ້ໃນ PC ຂອງທ່ານ.
- 2. ໃສ່ໃນຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 3. ອັບໂຫລດແອັບພລິເຄຊັນນີ້ຢູ່ໃນຕົວຈັດການໄຟລ໌ດັ່ງກ່າວ.
- 4. ເລີ່ມ emulator ອອນ ໄລ ນ ໌ OS OnWorks ຈາກ ເວັບ ໄຊ ທ ໌ ນີ້, ແຕ່ ດີກ ວ່າ Windows ອອນ ໄລ ນ ໌ emulator.
- 5. ຈາກ OnWorks Windows OS ທີ່ເຈົ້າຫາກໍ່ເລີ່ມຕົ້ນ, ໄປທີ່ຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 6. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກແລະຕິດຕັ້ງມັນ.
- 7. ດາວໂຫລດ Wine ຈາກບ່ອນເກັບມ້ຽນຊອບແວການແຈກຢາຍ Linux ຂອງທ່ານ. ເມື່ອຕິດຕັ້ງແລ້ວ, ທ່ານສາມາດຄລິກສອງຄັ້ງ app ເພື່ອດໍາເນີນການໃຫ້ເຂົາເຈົ້າກັບ Wine. ນອກນັ້ນທ່ານຍັງສາມາດລອງ PlayOnLinux, ການໂຕ້ຕອບທີ່ແປກປະຫຼາດໃນໄລຍະ Wine ທີ່ຈະຊ່ວຍໃຫ້ທ່ານຕິດຕັ້ງໂປລແກລມ Windows ແລະເກມທີ່ນິຍົມ.
ເຫຼົ້າແວງເປັນວິທີການແລ່ນຊອບແວ Windows ໃນ Linux, ແຕ່ບໍ່ມີ Windows ທີ່ຕ້ອງການ. ເຫຼົ້າແວງແມ່ນຊັ້ນຄວາມເຂົ້າກັນໄດ້ຂອງ Windows ແຫຼ່ງເປີດທີ່ສາມາດເອີ້ນໃຊ້ໂຄງການ Windows ໂດຍກົງໃນ desktop Linux ໃດກໍໄດ້. ໂດຍພື້ນຖານແລ້ວ, Wine ກໍາລັງພະຍາຍາມປະຕິບັດໃຫມ່ຢ່າງພຽງພໍຂອງ Windows ຕັ້ງແຕ່ເລີ່ມຕົ້ນເພື່ອໃຫ້ມັນສາມາດດໍາເນີນການຄໍາຮ້ອງສະຫມັກ Windows ທັງຫມົດໄດ້ໂດຍບໍ່ຕ້ອງໃຊ້ Windows.
ພາບຫນ້າຈໍ:
Souffle
DESCRIPTION:
prototyping ຢ່າງໄວວາສໍາລັບບັນຫາການວິເຄາະຂອງທ່ານກັບເຫດຜົນ; ເຮັດໃຫ້ການຄົ້ນຫາການອອກແບບເລິກ; ອອກແບບສໍາລັບການວິເຄາະ static ຂະຫນາດໃຫຍ່; ຕົວຢ່າງ: ການວິເຄາະຈຸດຕໍ່ກັບ Java, ການວິເຄາະ taint, ແລະການກວດສອບຄວາມປອດໄພ. Futamura ການຄາດຄະເນ / ການປະເມີນຜົນບາງສ່ວນສໍາລັບການແປພາສາທີ່ມີປະສິດທິພາບກັບ C++ ຂະຫນານ; optimized staged compilation ; ໂຄງສ້າງຂໍ້ມູນສະເພາະສໍາລັບການພົວພັນຢ່າງມີເຫດຜົນ. ການແປທີ່ມີປະສິດທິພາບເປັນ C++ ຂະຫນານຂອງໂປຼແກຼມ Datalog (CAV'16, CC'16) ການຕີຄວາມປະສິດທິພາບໂດຍໃຊ້ເຕັກນິກ de-specialization (PLDI'21) ໂຄງສ້າງຂໍ້ມູນພິເສດສໍາລັບຄວາມສໍາພັນ (PACT'19, PPoPP'19, PMAM'19) ທີ່ມີດັດຊະນີທີ່ດີທີ່ສຸດ ການເລືອກ (VLDB'18) ຂະຫຍາຍຄວາມໝາຍຂອງ Datalog, ຕົວຢ່າງ, ອະນຸຍາດໃຫ້ມີການເອີ້ນຄືນແບບບໍ່ມີຂອບເຂດດ້ວຍຕົວເລກ ແລະເງື່ອນໄຂ. ຮູບແບບອົງປະກອບທີ່ງ່າຍດາຍສໍາລັບຂໍ້ມູນຈໍາເພາະຂອງ Datalog. ປະເພດບັນທຶກທີ່ກຳນົດຊ້ຳໆ/ADTs (aka. constructors) ສຳລັບ tuples. ຟັງຊັນທີ່ຜູ້ໃຊ້ກໍານົດ. ປະເພດທີ່ເຂັ້ມແຂງເພື່ອຄວາມປອດໄພ. Subsumption, ລວບລວມ, ການກໍ່ສ້າງທາງເລືອກ (APLAS'21).
ຄຸນລັກສະນະ
- ການແປພາສາທີ່ມີປະສິດທິພາບເປັນ C++ ຂະຫນານຂອງໂປຼແກຼມ Datalog (CAV'16, CC'16)
- ການຕີລາຄາປະສິດທິພາບໂດຍນໍາໃຊ້ເຕັກນິກການ de-specialization (PLDI'21)
- ໂຄງສ້າງຂໍ້ມູນສະເພາະສໍາລັບການພົວພັນ (PACT'19, PPoPP'19, PMAM'19) ດ້ວຍການເລືອກດັດຊະນີທີ່ດີທີ່ສຸດ (VLDB'18)
- ຂະຫຍາຍຄວາມໝາຍຂອງ Datalog, ຕົວຢ່າງ, ອະນຸຍາດໃຫ້ recursions unbounded ກັບຕົວເລກແລະຂໍ້ກໍານົດ
- ຮູບແບບອົງປະກອບທີ່ງ່າຍດາຍສໍາລັບຂໍ້ມູນຈໍາເພາະຂອງ Datalog
- ປະເພດບັນທຶກທີ່ກຳນົດຊ້ຳໆ/ADTs (aka. constructors) ສຳລັບ tuples
ພາສາການຂຽນໂປຣແກຣມ
C ++
ປະເພດ
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/souffl.mirror/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ດ້ວຍວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.