Script: https://www.cs.cmu.edu/~aldrich/SASyLF/ Tanítási és tanulási formális programozási nyelv elmélet kemény, részben azért, mert könnyű hibázni, és nehéz megtalálni őket. Proof asszisztensek segítségével ellenőrizni igazolások, de a tanulási görbe túl meredek használni a legtöbb osztályok, és akadályozza a kutatók is. SASyLF (ejtsd: “Sassy Elf”) egy LF-alapú bizonyíték asszisztens szakosodott ellenőrző tételek mintegy programozási nyelvek és logika. SASyLF egy egyszerű tervezési filozófia: a nyelv és a logika a szintaxis, és metaelmélet kell írni a lehető legszorosabban, ahogy ez történik papíron. SASyLF kifejezhetik igazolások tipikus bevezető diplomás típusú elmélet természetesen. SASyLF bizonyítékok általában nagyon egyértelmű, de a beépített támogatása változó erejű rendelkezik helyettesítés tulajdonságait szabad és elkerülhető kínos változó kódolást. Letöltések SASyLF elérhető GitHub. Dokumentáció A telepítés Syntax nyilatkozatok és tételek Írás bizonyítás is SASyLF Hajópapírok Jonathan Aldrich, Robert J. Simmons, és Key Shin. SASyLF: Az Oktatási Proof asszisztens nyelv elmélete. Eljárás Funkcionális és deklaratív programozás oktatás, 2008. Hírek Köszönet John Boyland készítésére nagyobb legújabb frissítéseket SASyLF és Eclipse IDE! A SASyLF forráskód elérhető a GitHub. Egy Eclipse bővítmény SASyLF IDE már elérhető (link egy jar). Iratkozz fel a sasylf-be Google csoport kap összefüggő bejelentések SASyLF kibocsátások és eseményeket, valamint a sasylf-felhasználók csoport kérdésekre, és egyéb viták tekintetében SASyLF. SASyLF használták két végzős típusú
-
Recent Posts
Recent Comments
Archives
- February 2022
- November 2021
- August 2021
- May 2021
- March 2021
- February 2021
- November 2020
- September 2020
- August 2020
- June 2020
- November 2019
- September 2019
- July 2019
- April 2019
- January 2019
- October 2018
- December 2017
- November 2017
- October 2017
- September 2017
- August 2017
- July 2017
- May 2017
- April 2017
- March 2017
- February 2017
- November 2016
- October 2016
- September 2016
- June 2016
- May 2016
Categories