Contributions
should be
refutable
No! Ye s !
We describe the WizWoz system.
It is really cool.
We give the syntax and semantics of
a language that supports concurrent
processes (Section 3). Its innovative
features are...
We prove that the type system is
sound, and that type checking is
decidable (Section 4)
We have built a GUI toolkit in
WizWoz, and used it to implement a
text editor (Section 5). The result is
half the length of the Java version.
We study its properties
We have used WizWoz in practice