Archive for William W. Wadge 1993

Wadge index
Cartesian index
Mehmet A. Orgun, William W. Wadge, Weichang Du.
Chronolog (Z): Linear-Time Logic Programming.
In Osman Abou-Rabia, Carl K. Chang, Waldemar W. Koczkodaj (ed.), International Conference on Computing and Information (ICCI). pp.545--549. 1993. IEEE Computer Society.
John Plaice, William W. Wadge.
A Unix Tool for Managing Reusable Software Components.
Software---Practice and Experience 23(9):933--948, 1993.
John Plaice, William W. Wadge.
A New Approach to Version Control.
IEEE Transactions on Software Engineering 19(3):268--276, 1993.
Mehmet A. Orgun, William W. Wadge.
Chronolog Admits a Complete Proof Procedure.
In John Plaice (ed.), Proceedings of the 6th International Symposium on Lucid and Intensional Programming. pp.120--135. 1993.
P. Rondogiannis, William W. Wadge.
A Dataflow Implementation Technique for Lazy Typed Functional Languages.
In John Plaice (ed.), Proceedings of the 6th International Symposium on Lucid and Intensional Programming. pp.23--42. 1993.