Microsemantics as a Bootstrap in Teaching Formal Methods

Introducing an elementary form of program semantics early in the curriculum provides a good preamble to formal methods. Microsemantics uses only the most basic concept in formal mathematics, namely substitution , and therefore can be presented as early as the second lecture of a freshman-level course. It can subsequently serve as a bootstrap for gradually introducing most of the other fundamental concepts of formal methods, leading up to formal systems specification and design.

Content

Author and article information

Contributors

Raymond Boute

Conference

Publication date: December 2006

Publication date (Print): December 2006

Pages: 1-6

Affiliations

[0001]INTEC — Universiteit Gent, Belgium

Article

DOI: 10.14236/ewic/TFM2006.13

SO-VID: b551c60b-f1f1-4d8f-a511-4c3a70548215

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Teaching Formal Methods: Practice and Experience

Conference acronym: TFM

Conference number:

Conference location: BCS London Office, UK

Conference date: 15 December 2006

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Teaching Formal Methods: Practice and Experience

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/TFM2006.13

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Microsemantics as a Bootstrap in Teaching Formal Methods

Abstract