How do denotational, axiomatic and operational semantics relate to statics and dynamics in PFPL? about platypus HOT 8 OPEN

No

from platypus.

I think we see denotational and operational semantics in PFPL in the big-step and small-step dynamics described in the chapters, no?

from platypus.

What pages are you referring to?

from platypus.

Although I suppose "this other element of the same inductively defined set of objects" probably isn't what you mean by denotational semantics.

from platypus.

Right, I'm crazy. What we're doing as "dynamics" is operational semantics.

from platypus.

Denotational still seems clearly to be related to dynamics. And operational semantics basically is dynamics afaict. Axiomatic semantics is not obvious to me though: that pre/post stuff looks an awful lot like what a type system does.

from platypus.

I'll try to form a more informed opinion tonight.

from platypus.

@thsutton Have you formulated your informed opinion yet?

from platypus.