I'd say it looks like nothing so much as Project Oberon: http://www.projectoberon.com/ http://www.projectoberon.com/ This is a good quick overview: http://ign

I'd say it looks like nothing so much as Project Oberon: http://www.projectoberon.com/ http://www.projectoberon.com/ This is a good quick overview: http://ignorethecode.net/blog/2009/04/22/oberon/ http://ignorethecode.net/blog/2009/04/22/oberon/ This is a deeper dive: https://people.cs.ksu.edu/~danielwang/Investigation/System_Security/download.pdf https://people.cs.ksu.edu/~danielwang/Investigation/System_S... This is Wirth's "Plea for Lean Software" (re-laid out on my own blog) https://liam-on-linux.dreamwidth.org/88032.html https://liam-on-linux.dreamwidth.org/88032.html