FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Theoretische Informatik (HS)

Los: denotationale semantik

Los: denotationale semantik 2007-10-24 15:49
Anonymer User
was bedeutet <intexp> etwa ein integer ausdruck?
und was heisst <assert>?

danke

RE: Los: denotationale semantik 2007-10-24 18:46
nfsweyoun
Klingt nicht so, als wärest Du heute in der Vorlesung gewesen… ;)

<assert> steht für Formeln, <intexp> für Integer-Ausdrücke.