[Modelinterpreter] Fwd: FW: alf szemantika kerdesek, eszrevetelek

[Dévai Gergely]

BME-sek eszrevetelei az Alf-rol...

-----Original Message-----
From: Zoltan Micskei [mailto:zoltan.micskei at mit.bme.hu]
Sent: Friday, April 24, 2015 8:22 PM
To: Gergely Seres; Ferenc Bozóki
Cc: Horváth Ákos; varro at mit.bme.hu
Subject: alf szemantika kerdesek, eszrevetelek
Importance: Low

Sziasztok!

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:

http://mit.bme.hu/~micskeiz/files/nlsm/alf-semantics.pdf

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.

A fontosabb dolgok szerintem:
- olyan a scope-ing, hogy pl. egy if/switch/do-ban definiált változó elérhető az adott blokk után is.
- 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
- 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

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.

Zoltán at esessmb101.ericsson.se>





 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://plc.inf.elte.hu/pipermail/modelinterpreter/attachments/20150427/16568f9f/attachment.html>