@ FII

Laborator: OOP

• Back to PLP - Fall 2023

Exerciții de antrenament:

• Studiați cu atenție slide-urile prezentate la curs. Concentrați-vă atenția asupra conceptelor OOP.

Exerciții propuse:

În acest laborator aveți libertatea de a îmbunătăți limbajul IMP astfel încât să putem defini clase și să instanțiem obiecte.

1. (2 puncte) Propuneți o sintaxă (în Coq) pentru o variantă OOP a limbajului IMP. Scrieți câteva programe care să scoată în evidență capabilitățile OOP. De exemplu, scrieți câteva clase cu date membru și metode.

2. Definiți (în Coq) cât mai multe concepte OOP pentru limbajul definit la exercițiul 1 și ilustrați utilizarea acestora rulând câteva exemple în Coq. Se acordă câte 2 puncte pentru fiecare concept definit și exemplificat corect.