default search action
William W. Wadge
Person information
- affiliation: University of Victoria, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2015
- [j21]Jarryd P. Beck, John Plaice, William W. Wadge:
Multidimensional infinite data in the language Lucid. Math. Struct. Comput. Sci. 25(7): 1546-1568 (2015) - 2013
- [j20]Angelos Charalambidis
, Konstantinos Handjopoulos, Panagiotis Rondogiannis, William W. Wadge:
Extensional Higher-Order Logic Programming. ACM Trans. Comput. Log. 14(3): 21:1-21:40 (2013) - 2009
- [j19]Christos Nomikos, Panos Rondogiannis, William W. Wadge:
Strong equivalence of logic programs under the infinite-valued semantics. Inf. Process. Lett. 109(11): 576-581 (2009) - 2008
- [j18]Chrysida Galanaki, Panos Rondogiannis, William W. Wadge:
An infinite-game semantics for well-founded negation in logic programming. Ann. Pure Appl. Log. 151(2-3): 70-88 (2008) - [j17]Gösta Grahne, Alex Thomo
Preferential Regular Path Queries. Fundam. Informaticae 89(2-3): 259-288 (2008) - 2005
- [j16]Panos Rondogiannis, William W. Wadge:
Minimum model semantics for logic programs with negation-as-failure. ACM Trans. Comput. Log. 6(2): 441-467 (2005) - 1999
- [j15]Panos Rondogiannis, William W. Wadge:
Higher-Order Functional Languages and Intensional Logic. J. Funct. Program. 9(5): 527-564 (1999) - 1997
- [j14]Panos Rondogiannis, William W. Wadge:
First-Order Functional Languages and Intensional Logic. J. Funct. Program. 7(1): 73-101 (1997) - 1994
- [j13]Mehmet A. Orgun
Extending Temporal Logic Programming with Choice Predicates Non-Determinism. J. Log. Comput. 4(6): 877-903 (1994) - 1993
- [j12]John Plaice, William W. Wadge:
A Unix Tool for Managing Reusable Software Components. Softw. Pract. Exp. 23(9): 933-948 (1993) - [j11]John Plaice, William W. Wadge:
A New Approach to Version Control. IEEE Trans. Software Eng. 19(3): 268-276 (1993) - 1992
- [j10]Mehmet A. Orgun
Towards a Unified Theory of Intensional Logic Programming. J. Log. Program. 13(4): 413-440 (1992) - 1990
- [j9]Weichang Du, William W. Wadge:
A 3D Spreadsheet Based on Intensional Logic. IEEE Softw. 7(3): 78-89 (1990) - [j8]Weichang Du, William W. Wadge:
The Eductive Implementation of a Three-dimensional Spreadsheet. Softw. Pract. Exp. 20(11): 1097-1114 (1990) - 1982
- [j7]Edward A. Ashcroft, William W. Wadge:
R/ for Semantics. ACM Trans. Program. Lang. Syst. 4(2): 283-294 (1982) - 1981
- [j6]William W. Wadge:
An Extensional Treatment of Dataflow Deadlock. Theor. Comput. Sci. 13: 3-15 (1981) - 1980
- [j5]Edward A. Ashcroft, William W. Wadge:
Some common misconceptions about Lucid. ACM SIGPLAN Notices 15(10): 15-26 (1980) - 1977
- [j4]Edward A. Ashcroft, William W. Wadge:
Lucid, a Nonprocedural Language with Iteration. Commun. ACM 20(7): 519-526 (1977) - [j3]Edward A. Ashcroft, William W. Wadge:
Erratum: Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput. 6(1): 200 (1977) - 1976
- [j2]Edward A. Ashcroft, William W. Wadge:
Lucid - A Formal System for Writing and Proving Programs. SIAM J. Comput. 5(3): 336-354 (1976) - 1974
- [j1]David M. Jackson, William W. Wadge:
Normal Form Reduction of Probabilistic Computations in Non-Parametric Classification. Comput. J. 17(3): 249-252 (1974)
Conference and Workshop Papers
- 2022
- [c28]Abdulmonem I Shennat, William W. Wadge, Alex Kuo:
The Dimensional Analysis of Data Flow Programs That Include Multidimensional and User-Defined Functions. IEEE Big Data 2022: 2781-2789 - 2010
- [c27]Angelos Charalambidis
Extensional Higher-Order Logic Programming. JELIA 2010: 91-103 - 2009
- [c26]Maria Chowdhury, Alex Thomo, William W. Wadge:
Trust-Based Infinitesimals for Enhanced Collaborative Filtering. COMAD 2009 - [c25]Maria Chowdhury, Alex Thomo, William W. Wadge:
Preferential Infinitesimals for Information Retrieval. AIAI 2009: 113-125 - [c24]Maryam Khezrzadeh, Alex Thomo
Harnessing the power of "favorites" lists for recommendation systems. RecSys 2009: 289-292 - 2008
- [c23]John Plaice, Blanca Mancilla, Gabriel Ditu, William W. Wadge:
Sequential Demand-Driven Evaluation of Eager TransLucid. COMPSAC 2008: 1266-1271 - 2007
- [c22]Gösta Grahne, Alex Thomo, William W. Wadge:
Preferentially Annotated Regular Path Queries. ICDT 2007: 314-328 - [c21]Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge:
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR 2007: 44-57 - 2005
- [c20]Panos Rondogiannis, William W. Wadge:
An infinite-game semantics for negation in logic programming. GALOP@ETAPS 2005: 77-91 - [c19]Christos Nomikos, Panos Rondogiannis, William W. Wadge:
A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. ICLP 2005: 414-415 - [c18]Ruchi Agarwal, William W. Wadge:
The Lazy Evaluation of Infinitesimal Logic Expressions. PLC 2005: 3-7 - 2004
- [c17]Honglian (Elena) Li, William W. Wadge:
An Intensional Tool Applied to French Language Educational Software. SEKE 2004: 62-67 - 2002
- [c16]William W. Wadge:
"The Medium" Is the Message. DCW 2002: 10-14 - [c15]Panos Rondogiannis, William W. Wadge:
An Infinite-Valued Semantics for Logic Programs with Negation. JELIA 2002: 456-467 - 2001
- [c14]William W. Wadge, Monica M. C. Schraefel
A Complementary Approach for Adaptive and Adaptable Hypermedia: Intensional Hypertext. OHS-7/SC-3/AH-3 2001: 327-334 - 2000
- [c13]William W. Wadge:
Intensional Markup Language. DCW 2000: 82-89 - 1998
- [c12]William W. Wadge, Gord Brown, Monica M. C. Schraefel
Intensional HTML. PODDP 1998: 128-139 - 1994
- [c11]Panos Rondogiannis, William W. Wadge:
Compiling Higher-Order Functions for Tagged-Dataflow. IFIP PACT 1994: 269-278 - [c10]Panos Rondogiannis, William W. Wadge:
Higher-order dataflow and its implementation on stock hardware. SAC 1994: 431-435 - 1993
- [c9]Mehmet A. Orgun, William W. Wadge, Weichang Du:
Chronolog (Z): Linear-Time Logic Programming. ICCI 1993: 545-549 - 1992
- [c8]Mehmet A. Orgun, William W. Wadge:
A Relational Algebra as a Query Language for Temporal DATALOG. DEXA 1992: 276-281 - 1991
- [c7]William W. Wadge:
Higher-Order Horn Logic Programming. ISLP 1991: 289-303 - 1988
- [c6]Weichang Du, William W. Wadge:
An intentional language as the basis of a 3-D spreadsheet design. ICCL 1988: 2-9 - 1987
- [c5]Antony A. Faustini, William W. Wadge:
An eductive interpreter for Lucid. PLDI 1987: 86-91 - 1979
- [c4]William W. Wadge:
An Extensional Treatment of Dataflow Deadlock. Semantics of Concurrent Computation 1979: 285-299 - 1978
- [c3]Edward A. Ashcroft, William W. Wadge:
Clauses: Scope Structures and Defined Functions in Lucid. POPL 1978: 17-22 - 1977
- [c2]Adi Shamir, William W. Wadge:
Data Types as Objects. ICALP 1977: 465-479 - [c1]Edward A. Ashcroft, William W. Wadge:
Intermittent Assertion Proofs in Lucid. IFIP Congress 1977: 723-726
Editorship
- 2008
- [e1]Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner:
Topological and Game-Theoretic Aspects of Infinite Computations, 29.06. - 04.07.2008. Dagstuhl Seminar Proceedings 08271, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents]
Informal and Other Publications
- 2011
- [i5]Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge:
Extensional Higher-Order Logic Programming. CoRR abs/1106.3457 (2011) - 2008
- [i4]Chrysida Galanaki, Panos Rondogiannis, William W. Wadge:
General Logic Programs as Infinite Games. Topological and Game-Theoretic Aspects of Infinite Computations 2008 - [i3]Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner:
08271 Abstracts Collection - Topological and Game-Theoretic Aspects of Infinite Computations. Topological and Game-Theoretic Aspects of Infinite Computations 2008 - [i2]Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner:
08271 Executive Summary - Topological and Game-Theoretic Aspects of Infinite Computations. Topological and Game-Theoretic Aspects of Infinite Computations 2008 - 2003
- [i1]Panos Rondogiannis, William W. Wadge:
Minimum Model Semantics for Logic Programs with Negation-as-Failure. CoRR cs.LO/0306017 (2003)
Coauthor Index
aka: Panagiotis Rondogiannis
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-10-28 23:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: