safety course allows us to look at formal methods, e.g. simulators.
this is an opportunity to look at anything i am interested, e.g. Mosses' SIS, said to have been written in BCPL.
I read today that Mosses no longer uses SIS because it is too much work writing a specification for a big language.
Howvever, I would still like to have a working version to play with.
Link to this comment:
All Comments (0)