We have chosen the paradigm of functional programming to prove our rules formally, even though the final implementations will most likely be imperative. The advantage of our ... A ZPL programming guide (Version 6.2). Technical report.
|Title||:||Proceedings, ... International Parallel Processing Symposium & ... Symposium on Parallel and Distributed Processing|
|Author||:||IEEE Computer Society|
|Publisher||:||IEEE - 1999|