Archive for William W. Wadge 1994

Wadge index
Cartesian index
Mehmet A. Orgun, William W. Wadge.
Extending Temporal Logic Programming with Choice Predicates Non-Determinism.
Journal of Logic and Computation 4(6):877--903, 1994.
Panos Rondogiannis, William W. Wadge.
Compiling Higher-Order Functions for Tagged-Dataflow.
In Michel Cosnard, Guang R. Gao, Gabriel M. Silberman (ed.), Parallel Architectures and Compilation Techniques (IFIP PACT). IFIP Transactions. Vol. A-50. pp.269--278. 1994. North-Holland.
Panos Rondogiannis, William W. Wadge.
Higher-order dataflow and its implementation on stock hardware.
In Proceedings of the 1994 ACM Symposium on Applied Computing (SAC). pp.431--435. 1994.
P. Rondogiannis, William W. Wadge.
Transforming First-order Functional Programs to Intensional Programs of Nullary Variables: Theoretical Foundations.
In Edward A. Ashcroft (ed.), Proceedings of the 7th International Symposium on Lucid and Intensional Programmin. pp.84--93. 1994.
William W. Wadge.
Hyperindexical Pandimensional Beings.
In Edward A. Ashcroft (ed.), Proceedings of the 7th International Symposium on Lucid and Intensional Programmin. pp.12--14. 1994.