(ICFPa#39;99), September 27-29, 1999, Paris ... We can now draw diagrams in Visio and then, at the push of a button, generate a corresponding Hawk model containing one probe function per wire on the diagram. During and after the execution of the model, double-clicking on any wire causes the corresponding probe file to be opened, displaying the ... In Hawk, we might express these properties as follows.
|Title||:||Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming|
|Publisher||:||Pearson Education - 1999|