Browsing PhD Theses Collection by Author "Penczek, Frank"
Now showing items 1-1 of 1
-
Static Guarantees for Coordinated Components: a Statically Typed Composition Model for Stream-Processing Networks
Penczek, Frank (2012-10-03)Does your program do what it is supposed to be doing? Without running the program providing an answer to this question is much harder if the language does not support static type checking. Of course, even if compile-time ...