[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] Formal comment: The denotational semantics

Perry E. Metzger scripsit:

> A +1 for switching to an operational semantics. It would be
> especially cool to develop an executable semantics...

If we are to take the semantics seriously, I think it means
developing one whose soundness can be established with a proof assistant.

John Cowan  cowan@x   http://www.ccil.org/~cowan
Dievas dave dantis; Dievas duos duonos          --Lithuanian proverb
Deus dedit dentes; deus dabit panem             --Latin version thereof
Deity donated dentition;
  deity'll donate doughnuts                     --English version by Muke Tever
God gave gums; God'll give granary              --Version by Mat McVeagh

Scheme-reports mailing list