> > Neo: By reading the comments prior to the expressions.
> > How would you prefer to know what a dbd expression means?
>
> Tony: Well, y'know, me being me I like formal stuff - you know, denotational
> semantics, axiomatic semantics, hell even a well defined set of
> operational semantics would do. Otherwise we'll spend ages discussing
> our various uses of English. "You say to-may-to, I say to-mah-to..."
> But then, I'm kind of picky like that.
Can you give me an example of a formal method of representing things
that has denotational semantics, axiomatic semantics and a well defined
set of operational semantics?
Received on Mon May 08 2006 - 10:18:36 CDT
