Anexa I

FIŞA DISCIPLINEI

DENUMIREA DISCIPLINEI PRINCIPII ALE LIMBAJELOR DE PROGRAMARE COD: CS2207O3

ANUL DE STUDIU II SEMESTRUL 2 STATUTUL DISCIPLINEI (OB-obligatorie/OP-opţională/F-facultativă) OP

NUMĂRUL ORELOR PE

SAPTĂMÂNĂ TOTAL ORE

SEMESTRU

TOTAL ORE ACTIVITATE

INDIVIDUALĂ*

NUMĂR

DE

CREDITE

TIPUL DE EVALUARE (P-pe parcurs, C-colocviu, E-examen, M-mixt)

LIMBA DE PREDARE

C S L Pr.

2 0 2 - 56 94 5 M Română

TITULARUL

DISCIPLINEI

GRADUL DIDACTIC ŞI ŞTIINŢIFIC, PRENUMELE, NUMELE CATEDRA

PROF. DR. DOREL LUCANU

Sisteme Software

DISCIPLINE ANTERIOR ABSOLVITE -

OBIECTIVE Studentul va dobândi următoarele competenţe la absolvirea acestui curs:

* cunoaşterea principalelor paradigme de programare (imperativă, orientată-obiect, funcţională ...);

* o intuiţie clară despre cum se defineşte un limbaj de programare (sintaxa, semantică);

* tehnici de verificare a programelor;

* cunoaşterea unui cadru de lucru formal pentru definirea de specificaţii executabile ale limbajelor

de programare.

Dobândirea acestor principii ajută la o învăţare rapidă şi corectă a unui nou limbaj de programare

(eliberarea de depenedenţa cunoaşterii unui singur limbaj sau a unei singure paradigme de

programare), scrierea de programe corecte şi fiabile.

TEMATICĂ GENERALĂ Logica rescrierii (RWL).

Programare imperativă (sintaxă, semantică, descrierea în RWL).

Programare orientată-obiect (sintaxă, semantică, descrierea în RWL).

Programare funcţională (sintaxă, semantică, descrierea în RWL).

K – un cadru de lucru inform pentru definirea şi analiza limbajelor de programare.

Observaţie. La fiecare paradigmăde programare se va prezenta sintaxa şi diferite semantici pentru

nucleul unui limbaj reprezentativ, precum şi descrierile acestora în RWL.

TEMATICA

SEMINARIILOR / LUCRĂRILOR DE

LABORATOR

Familiarizarea cu sistemul Maude (care include o implementare a logicii rescrierii (RWL)).

Analiza limbajelor de programare utilizând semanticile executabile descrise în Maude: type safety,

memory safety etc).

Verificarea corectitudinii unor programe simple.

Familiarizarea cu K.

METODE DE PREDARE Expunere folosind videoproiectorul

Demonstrare practică a conceptelor prezentate

BIBLIOGRAFIE OBLIGATORIE (SELECTIV)

Pagina Web a sistemului Maude (sistem, manual, exemple, articolele fundamentale)

http://maude.cs.uiuc.edu/

G. Roşu. Programming Language Design. CS422 (Spring 2010) – UIUC,

http://fsl.cs.uiuc.edu/index.php/CS422_-_Programming_Language_Design_%28Spring_2010%29

The K Semantic Framework. http://code.google.com/p/k-framework/

EVALUARE condiţii

Activitatea la laborator (AL), testele scrise (TS)

criterii

AL 6, TS 4

forme AL: fiecare tema de laborator va fi notata cu note de la 1 la 10

TS: 2 teste scrise (săpt. 8,16). Bonusuri (referate, proiecte suplimentare, etc).

formula notei finale Punctaj Final (PF) = 50% AL +50% TS

Nota finala este calculată pe baza punctajului final conform regulamentului facultăţii.

* Numărul de ore pentru activităţile individuale rezultă prin scăderea din 150 h/semestru (numărul de ore echivalente pentru 5 credite) a numărului total de ore pe semestru alocat disciplinei (vezi rubrica anterioară).