זוהי אפליקציית לינוקס בשם Combinatory Reduction Systems Extended אשר את המהדורה האחרונה שלה ניתן להוריד בשם crsx401.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם Combinatory Reduction Systems Extended with 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
תיאור
הטמעת מערכות הפחתה משולבות (CRS) עם הרחבות ניסיוניות, ב-Java. CRS הוא פורמליזם לשכתוב מסדר גבוה יותר שהומצא על ידי JWKlop בשנת 1980. לפרטים נוספים עיין בפרויקט/אתר האינטרנט.
תכונות
- שכתוב מונח
- צור מהדרים ממפרטים רשמיים
- שכתוב מסדר גבוה יותר
- מחשבון למבדה
קהל
משתמשי קצה מתקדמים, מדע/מחקר
ממשק משתמש
שורת הפקודה, Eclipse
שפת תכנות
C, Java
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/crsx/. זה התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.