next up previous contents
Next: Programmide süntees (synthesis of Up: No Title Previous: Predikaatarvutus (predicate calculus)

Programmide dünaamiline loogika (dynamic semantics of programs)

- modaalloogika, milles modaalsed operaatorid on osaliselt interpreteeritud arvutiprogrammide ja nende operaatorite omaduste terminites. Kasutatakse programmide omaduste spetsifitseerimiseks ja tõestamiseks.



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996