Skip to main content

New answers tagged

2 votes

Operational semantics and denotational semantics and describing the behaviour and structure of programs

I am going to attempt an answer, or more precisely a clarification, but one should keep in mind that most ingredients of the question (semantics, operational, behavior, structure) do not have a clear ...
Beniamino Accattoli's user avatar

Top 50 recent answers are included