safety

Loading...

Sign in or sign up now!
Alert icon
Upgrade to the latest Flash Player for improved playback performance. Upgrade now or more info.
25 views
Loading...
Alert icon
Sign in or sign up now!
Alert icon

Uploaded by on Sep 24, 2009

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.

Category:

Comedy

Tags:

License:

Standard YouTube License

  • likes, 0 dislikes

Link to this comment:

Share to:
see all

All Comments (0)

Sign In or Sign Up now to post a comment!
Loading...
Alert icon
0 / 00Unsaved Playlist Return to active list
    1. Your queue is empty. Add videos to your queue using this button:
      or sign in to load a different list.
    Loading...Loading...Saving...
    • Clear all videos from this list
    • Learn more