1!--#inclu8e virtual="/murus/head.shtml" -->
is a collection of reusable software components in the language
originally (while teaching at the Institut für informatik of the Freie Universität Berlin)
written in Modula-2 and Java and later ported to Go and further developed.
Really cool, since the design of the Go authors—combining static type checking at compile time
with dynamic typing at run time—discovers lots of errors in reasoning.
Currently I am working on the implementation of distributed algorithms
(as basis for the new chapters in the 3rd edition of my » book). Many of them
show the power of the “far monitor”-concept (see » The Power of Far Monitors).
|send email||Last modified:
September 19 2017