Algebraic Programming

Course name

Code

CS2211O3

Class	Computer Science, 2006 - 2009					Package	2
Level	Undergraduate	Year	2	Semester	2	Status	Optional

Hours per week				Total hours per semester	Total hours of individual work	Credits	Evaluation type	Teaching language
C	S	L	Pr
2	0	2	0	56	94	5	E	ro

Taught by	Academic and scientific title, name
	Professor, PhD, Dorel Lucanu

Required courses

Objectives	Însuşirea fundamentelor programării algebrice şi iniţierea în utilizarea unui limbaj de programare algebrică (din familia OBJ)
General thematics	Sintaxă şi Semantică: signaturi, algebre, ecuatii, ecuatii conditionale, logică ecuaţională, logica rescrierii (RWL). Tehnologii de demonstrare: rescriere, inducţie, coinducţie.
Seminary / Laboratory thematics	Aplicaţii Semantica algebrică a unui limbaj de programare (nucleu C) Specificarea algebrică a principalelor tipuri de date abstracte Exemple de specificare algebrică a sistemelor concurente Exemple de specificări algebrice orientate-obiect Exemple de specificare a sistemelor de tranziţie
Teaching methods	Expunere folosind videoproiectorul

Bibliography

J. Goguen, G. Malcolm. Algebraic Semantics of Imperative Programs, MIT Press, 1996
M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J.F. Quesada. Maude:
Specification and Programming in Rewriting Logic .
José Meseguer. Software Specification and Verification in Rewriting Logic. Invited talk at Marktoberdorf International Summer School, Germany, 2002.
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José
Meseguer, and José Quesada,Maude Manual
M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. A MaudeTutorial . Manuscript, March 2000.

Evaluation	conditions	Activitatea la laborator (AL), testele scrise (TS)
	criterias	AL ≥ 6, TS ≥ 4
	modes	AL: fiecare tema de laborator va fi notata cu note de la 1 la 10 TS: 2 teste scrise (săpt. 7,13).
	formula	Punctaj Final (PF) = 50% AL +50% TS Nota Finala = absent daca nu sunt indeplinite conditiile ≤ 4 daca sunt indeplinite conditiile si NU sunt indeplinite criteriile de promovare, = 10 daca PF este in primii 10% din cei promovati = 9 daca PF este in primii 35% dar NU in primii 10% din cei promovati = 8 daca PF este in primii 65% dar NU in primii 35% din cei promovati = 7 daca PF este in primii 90% dar NU in primii 65% din cei promovati = 6 daca sunt indeplinite criteriile de promovare si PF NU este in primii 90% din cei promovati = 5 daca criteriile nu sunt indeplinite cu o eroare de 3% si activitatea generala justifica totusi o rpomovare la limita

Faculty of
Computer Science