
<html><dba4f7119bfa1a409c74ceeb8179296e58c948@esessmb101.ericsson.se>BME-sek eszrevetelei az Alf-rol...<br /><br />-----Original Message-----<br />From: Zoltan Micskei [mailto:zoltan.micskei@mit.bme.hu]<br />Sent: Friday, April 24, 2015 8:22 PM<br />To: Gergely Seres; Ferenc Bozóki<br />Cc: Horváth Ákos; varro@mit.bme.hu<br />Subject: alf szemantika kerdesek, eszrevetelek<br />Importance: Low<br /><br />Sziasztok!<br /><br />Az egyetemi kutatási projekt keretében elkezdtük vizsgálni az Alf nyelvet analizálhatóság, későbbi verifikálhatóság szempontjából, és Ákos mondta, hogy már ez a kezdeti pár észrevétel is hasznos lehet esetleg nektek:<br /><br />http://mit.bme.hu/~micskeiz/files/nlsm/alf-semantics.pdf<br /><br />Fogtuk az Alf specifikációt az alap elemektől kezdve, és a kérdéses dolgokat kipróbáltuk az Alf referencia implementációban. A doksiban vannak nagyon egyszerű kódrészletek, amik szemléltetik az egyes eseteket.<br /><br />A fontosabb dolgok szerintem:<br />- olyan a scope-ing, hogy pl. egy if/switch/do-ban definiált változó elérhető az adott blokk után is.<br />- az értékadás lehet egyben változó definíció is, emiatt pl. egy változó nevének elírását nehéz detektálni<br />- sok advanced nyelvi elem és mód van, aminek komoly feladat lesz majd akár csak a parserben/compilerben az ellenőrzése, pl. parallel blokkokban data dependency analízist kell csinálni<br /><br />Megjegyzés: pár dolog, amit találtunk, az lehet, hogy csak a referencia implementáció bug-ja vagy azért van, mert még nem ismerjük eléggé az Alf-ot.<br /><br />Zoltán</dba4f7119bfa1a409c74ceeb8179296e58c948@esessmb101.ericsson.se><br /><br /><br /><br /><br /><br /> </html>