Anexa I

FIA DISCIPLINEI
DENUMIREA DISCIPLINEI
ANUL DE STUDIU

II

NUMRUL ORELOR PE
SAPTMN

C
2

S
0

L
2

TITULARUL
DISCIPLINEI

Pr.
-

SEMESTRUL

TEMATIC GENERAL

TEMATICA
SEMINARIILOR /
LUCRRILOR DE
LABORATOR
METODE DE PREDARE

OBLIGATORIE
(SELECTIV)

EVALUARE

STATUTUL DISCIPLINEI (OB-obligatorie/OP-opional/F-facultativ)

TOTAL ORE

NUMR

SEMESTRU

ACTIVITATE
INDIVIDUAL*

DE
CREDITE

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

56

94

TOTAL ORE

DISCIPLINE ANTERIOR ABSOLVITE

BIBLIOGRAFIE

OP

LIMBA DE PREDARE

TIPUL DE EVALUARE

GRADUL DIDACTIC I TIINIFIC, PRENUMELE, NUMELE

PROF. DR. DOREL LUCANU

OBIECTIVE

COD: CS2207O3

PRINCIPII ALE LIMBAJELOR DE PROGRAMARE

Romn
CATEDRA
Sisteme Software

Studentul va dobndi urmtoarele competene la absolvirea acestui curs:

* cunoaterea principalelor paradigme de programare (imperativ, orientat-obiect, funcional ...);
* o intuiie clar despre cum se definete un limbaj de programare (sintaxa, semantic);
* tehnici de verificare a programelor;
* cunoaterea unui cadru de lucru formal pentru definirea de specificaii executabile ale limbajelor
de programare.
Dobndirea acestor principii ajut la o nvare rapid i corect a unui nou limbaj de programare
(eliberarea de depenedena cunoaterii unui singur limbaj sau a unei singure paradigme de
programare), scrierea de programe corecte i fiabile.
Logica rescrierii (RWL).
Programare imperativ (sintax, semantic, descrierea n RWL).
Programare orientat-obiect (sintax, semantic, descrierea n RWL).
Programare funcional (sintax, semantic, descrierea n RWL).
K un cadru de lucru inform pentru definirea i analiza limbajelor de programare.
Observaie. La fiecare paradigmde programare se va prezenta sintaxa i diferite semantici pentru
nucleul unui limbaj reprezentativ, precum i descrierile acestora n RWL.
Familiarizarea cu sistemul Maude (care include o implementare a logicii rescrierii (RWL)).
Analiza limbajelor de programare utiliznd semanticile executabile descrise n Maude: type safety,
memory safety etc).
Verificarea corectitudinii unor programe simple.
Familiarizarea cu K.
Expunere folosind videoproiectorul
Demonstrare practic a conceptelor prezentate
Pagina Web a sistemului Maude (sistem, manual, exemple, articolele fundamentale)
http://maude.cs.uiuc.edu/
G. Rou. 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/
condiii
criterii
forme
formula notei finale

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

AL 6, TS 4
AL: fiecare tema de laborator va fi notata cu note de la 1 la 10
TS: 2 teste scrise (spt. 8,16).
Bonusuri (referate, proiecte suplimentare, etc).
Punctaj Final (PF) = 50% AL +50% TS
Nota finala este calculat pe baza punctajului final conform regulamentului facultii.

* Numrul de ore pentru activitile individuale rezult prin scderea din 150 h/semestru (numrul de ore echivalente pentru 5 credite)
a numrului total de ore pe semestru alocat disciplinei (vezi rubrica anterioar).