Using Esoteric Language for Teaching Formal Semantics
Author: Nikolay Shilov
Paper Information
| Title: | Using Esoteric Language for Teaching Formal Semantics |
| Authors: | Nikolay Shilov |
| Proceedings: | FWFM 2014 Papers |
| Editor: | Nikolay Shilov |
| Keywords: | Formal Semantics, make-easy" teaching approach, esoteric language, operational semantics, denotational semantics, axiomatic semantics |
| Abstract: | ABSTRACT. The talk presents an approach to undergraduate teaching of formal semantics of programs. It explains what is formal semantics by developing operational, denotational and axiomatic semantics for an ``esoteric'' language. We hope that the approach will be interesting to communities of Program Theoreticians and Software Engineers, that it will help better education to bridge a cultural gap between Formal Methods theories and Software Engineering practice. |
| Pages: | 0 |
| Talk: | Jul 13 11:30 |
| Paper: |  |