Facultatea de Matematica si Informatica (Str.Academiei, nr 14, sector 1, Bucuresti) a organizat, miercuri, incepand cu ora 10:00, conferinta The K Semantic Framework sustinuta de prof. Grigore Rosu.
Despre prof. Grigore Rosu se stie deja ca este profesor asociat la Departamentul de Informatica din cadrul University of Illinois Urbana-Campaign (UIUC), unde conduce Formal System Laboratory (FSL); este absolvent al Universitatii din Bucuresti, iar la inceputul conferintei si-a marturisit respectul si aprecierea fata de cadrele didactice care l-au ajutat.
Chiar si participantii neavizati au reusit sa inteleaga ca un software framework se refera la o secventa de cod generala ce poate fi rescrisa de un user pentru a putea fi folosita intr-un scop specific.
"K" este un astfel de framework, un cadru de lucru in care limbaje de programare, sisteme de analiza etc. ce se pot folosi de configuratii, calculi sau reguli.
"K" este interesant prin faptul ca regulile pot fi rescrise astfel incat limbajele sa stie ce parte a codului/regulilor sa citeasca sa scrie sau chiar sa ignore. Asta face din "K" un framework perfect pentru a defini limbaje sau calcule concomitente. Prin intermediul "K" s-a dezvoltat limbajul de programare CHALLENGE al carui scop este sa arate deficientele framework-urilor semantice actuale.
Sursa: Unibuc
Conferinta The K Semantic Framework
label
Evenimente
calendar_month
2011-01-17, 00:00
autorenew
2025-09-29, 16:59
history_edu
studentie.ro
