UNIVERSITY OF HELSINKI - DEPARTMENT OF COMPUTER SCIENCE

Mag.phil. Riitta Höllerer (Münchenin teknillinen korkeakoulu) pitää esitelmän allakuvatusta aiheesta keskiviikkona 22.11.1995 klo 16.15 salissa A 318.

Tervetuloa.
Jukka Paakki

Dynaamiset algebrat

Dynaamiset algebrat ovat spesifiointimenetelmä, jonka Gurevich esitti v. 1988 algoritmien formaaliin kuvaukseen. Spesifiointimenetelmää on käytetty sekä ohjelmointikielten etta laitteistojen spesifiointiin. Kuvailtavan järjestelmän tila kuvataan algebrana ja spesifikaatio määrittelee, miten algebra tilasiirtymässä muuttuu.

Esitelmässä perehdytään lähinnä ohjelmointikielten dynaamisen semantiikan kuvaamiseen tällä menetelmällä, käyttäen esimerkkeinä Prolog- ja C-kielen kuvauksia.