Microsemantics as a bootstrap in teaching formal methods

Authors:
Raymond Boute
Affiliations:
INTEC, Universiteit Gent, Belgium
Venue:
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Year:
2006

Citing 8
Cited 0

A logical approach to discrete math

A logical approach to discrete math
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Predicate Logic for Software Engineering

IEEE Transactions on Software Engineering
Concrete Generic Functionals

Proceedings of the IFIP TC2/WG2.1 Working Conference on Generic Programming
Functional declarative language design and predicate calculus: a practical approach

ACM Transactions on Programming Languages and Systems (TOPLAS)
Calculational semantics: Deriving programming theories from equations by functional predicate calculus

ACM Transactions on Programming Languages and Systems (TOPLAS)
Using domain-independent problems for introducing formal methods

FM'06 Proceedings of the 14th international conference on Formal Methods
Algorithmic Problem Solving

Algorithmic Problem Solving

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.