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 [email protected] 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 [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
