Follow
Bill Wadge
Bill Wadge
Professor of Computer Science, University of Victoria
Verified email at uvic.ca
Title
Cited by
Cited by
Year
Lucid, the dataflow programming language
WW Wadge, EA Ashcroft
Academic Press, 1985
5461985
Lucid, a nonprocedural language with iteration
EA Ashcroft, WW Wadge
Communications of the ACM 20 (7), 519-526, 1977
4031977
Reducibility and determinateness on the Baire space
WW Wadge
University of California, Berkeley, 1983
2291983
Lucid—A formal system for writing and proving programs
EA Ashcroft, WW Wadge
SIAM Journal on Computing 5 (3), 336-354, 1976
2031976
Multidimensional programming
EA Ashcroft, AA Faustini, WW Wadge, R Jagannathan
Oxford University Press on Demand, 1995
1391995
A new approach to version control
J Plaice, WW Wadge
IEEE transactions on Software Engineering 19 (3), 268-276, 1993
1261993
Lucid, the dataflow programming language
EA Ashcroft, WW Wadge
APIC Studies in Data Processing, Academic Press 9, 1985
901985
Degrees of complexity of subsets of the Baire space
WW Wadge
Notices Amer. Math. Soc 19, 225-234, 1972
871972
R for semantics
EA Ashcroft, WW Wadge
ACM Transactions on Programming Languages and Systems (TOPLAS) 4 (2), 283-294, 1982
711982
An extensional treatment of dataflow deadlock
WW Wadge
Theoretical computer science 13 (1), 3-15, 1981
711981
Minimum model semantics for logic programs with negation-as-failure
P Rondogiannis, WW Wadge
ACM Transactions on Computational Logic (TOCL) 6 (2), 441-467, 2005
652005
Towards a unified theory of intensional logic programming
MA Orgun, WW Wadge
The Journal of Logic Programming 13 (4), 413-440, 1992
601992
Theory and practice of temporal logic programming
MA Orgun, WW Wadge
University of Victoria, Department of Computer Science, 1990
551990
Tense logic programming: a respectable alternative
WW Wadge
Proceedings of the 1988 International Symposium on Lucid and Intensional …, 1988
541988
A 3D spreadsheet based on intensional logic
W Du, WW Wadge
IEEE Software 7 (3), 78-89, 1990
531990
Higher-order functional languages and intensional logic
P Rondogiannis, WW Wadge
Journal of Functional Programming 9 (5), 527-564, 1999
451999
Intensional programming
AA Faustini, WW Wadge
The Role of Languages in Problem Solving 2, 1986
411986
Data types as objects
A Shamir, WW Wadge
International Colloquium on Automata, Languages, and Programming, 465-479, 1977
401977
Trust-Based Infinitesimals for Enhanced Collaborative Filtering.
M Chowdhury, A Thomo, WW Wadge
COMAD, 2009
392009
First-order functional languages and intensional logic
P Rondogiannis, WW Wadge
Journal of Functional Programming 7 (1), 73-101, 1997
381997
The system can't perform the operation now. Try again later.
Articles 1–20