In the early 2000’s Jurg Gukneckt collaborated with Microsoft using their compiler-compiler technology (a big mistake in my view) as the implementation tool for a new language called Zonnon. This language followed the well established tradition of simple strongly typed languages which made it possible to define the solution to a problem with elegance, simplicity and (relative) safety.
The first Paper completed was the Zonnon Language Report, conceived by Jurg Gutkneckt and brought into the world by two very hard working ‘midwives’, Brian Kirk of Robinsons and David Lightfoot from Oxford Brooks University. It was published in 2005 and is available from the ETH Archives (see the references in https://en.wikipedia.org/wiki/Zonnon) . There was a huge push to get the language report out so it could be published at the next Joint Modular Languages Conference at the beautiful Klagenfurt in Austria. In fact the text was available but Jurg gave a paper on Zonnon for .Net, co-authored by Eugene Zueff (Russian) who had engineered the compiler. It was a strange occasion, Edsgar Dijkstra, one of the pioneers of rigorous engineering of software and systems, had died in 2002 just before the Conference. Only the Austrian could have produced a String Quartet like a rabbit out of a hat to provide an in memoriam homage as part of the opening ceremony …
So here is the Language Report as a PDF
At the same conference my team published our methods for test automation for verifying and validating software and real time systems. I have to confess it got a bit lost in the rarified academic stratosphere of the time. However, it resurfaced as the method used to verify the Oberon embedded systems compiler in the ONBASS project, of which more later and of course all the software developed by Robinson Associates, my company. Here is that paper from the Conference Proceedings:
Modular Programming Languages: Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings: 2789 (Lecture Notes in Computer Science, 2789)
<< Paper currently not available>>