How do denotational, axiomatic and operational semantics relate to statics and dynamics in PFPL?

[CMCDragonkai]

Question in the title ^!

[thsutton]

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

[CMCDragonkai]

What pages are you referring to?

[thsutton]

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

[thsutton]

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

[SamRoberts]

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.

[thsutton]

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

[CMCDragonkai]

@thsutton Have you formulated your informed opinion yet?

[thsutton]

No