| 2008 |
|---|
| 41 | EE | John Plaice,
Blanca Mancilla,
Gabriel Ditu,
William W. Wadge:
Sequential Demand-Driven Evaluation of Eager TransLucid.
COMPSAC 2008: 1266-1271 |
| 40 | EE | Chrysida Galanaki,
Panos Rondogiannis,
William W. Wadge:
An infinite-game semantics for well-founded negation in logic programming.
Ann. Pure Appl. Logic 151(2-3): 70-88 (2008) |
| 39 | EE | Gösta Grahne,
Alex Thomo,
William W. Wadge:
Preferential Regular Path Queries.
Fundam. Inform. 89(2-3): 259-288 (2008) |
| 2007 |
|---|
| 38 | EE | Gösta Grahne,
Alex Thomo,
William W. Wadge:
Preferentially Annotated Regular Path Queries.
ICDT 2007: 314-328 |
| 37 | EE | 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 |
|---|
| 36 | | Panos Rondogiannis,
William W. Wadge:
An infinite-game semantics for negation in logic programming.
GALOP 2005: 77-91 |
| 35 | EE | Christos Nomikos,
Panos Rondogiannis,
William W. Wadge:
A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics.
ICLP 2005: 414-415 |
| 34 | | Ruchi Agarwal,
William W. Wadge:
The Lazy Evaluation of Infinitesimal Logic Expressions.
PLC 2005: 3-7 |
| 33 | EE | Panos Rondogiannis,
William W. Wadge:
Minimum model semantics for logic programs with negation-as-failure.
ACM Trans. Comput. Log. 6(2): 441-467 (2005) |
| 2004 |
|---|
| 32 | | Honglian (Elena) Li,
William W. Wadge:
An Intensional Tool Applied to French Language Educational Software.
SEKE 2004: 62-67 |
| 2003 |
|---|
| 31 | EE | Panos Rondogiannis,
William W. Wadge:
Minimum Model Semantics for Logic Programs with Negation-as-Failure
CoRR cs.LO/0306017: (2003) |
| 2002 |
|---|
| 30 | EE | William W. Wadge:
"The Medium" Is the Message.
DCW 2002: 10-14 |
| 29 | EE | Panos Rondogiannis,
William W. Wadge:
An Infinite-Valued Semantics for Logic Programs with Negation.
JELIA 2002: 456-467 |
| 2001 |
|---|
| 28 | EE | 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 |
|---|
| 27 | EE | William W. Wadge:
Intensional Markup Language.
DCW 2000: 82-89 |
| 1999 |
|---|
| 26 | | Panos Rondogiannis,
William W. Wadge:
Higher-Order Functional Languages and Intensional Logic.
J. Funct. Program. 9(5): 527-564 (1999) |
| 1998 |
|---|
| 25 | EE | William W. Wadge,
Gord Brown,
Monica M. C. Schraefel,
Taner Yildirim:
Intensional HTML.
PODDP 1998: 128-139 |
| 1997 |
|---|
| 24 | | Panos Rondogiannis,
William W. Wadge:
First-Order Functional Languages and Intensional Logic.
J. Funct. Program. 7(1): 73-101 (1997) |
| 1994 |
|---|
| 23 | | Panos Rondogiannis,
William W. Wadge:
Compiling Higher-Order Functions for Tagged-Dataflow.
IFIP PACT 1994: 269-278 |
| 22 | EE | Panos Rondogiannis,
William W. Wadge:
Higher-order dataflow and its implementation on stock hardware.
SAC 1994: 431-435 |
| 21 | | Mehmet A. Orgun,
William W. Wadge:
Extending Temporal Logic Programming with Choice Predicates Non-Determinism.
J. Log. Comput. 4(6): 877-903 (1994) |
| 1993 |
|---|
| 20 | | Mehmet A. Orgun,
William W. Wadge,
Weichang Du:
Chronolog (Z): Linear-Time Logic Programming.
ICCI 1993: 545-549 |
| 19 | EE | John Plaice,
William W. Wadge:
A New Approach to Version Control.
IEEE Trans. Software Eng. 19(3): 268-276 (1993) |
| 18 | | John Plaice,
William W. Wadge:
A Unix Tool for Managing Reusable Software Components.
Softw., Pract. Exper. 23(9): 933-948 (1993) |
| 1992 |
|---|
| 17 | | Mehmet A. Orgun,
William W. Wadge:
A Relational Algebra as a Query Language for Temporal DATALOG.
DEXA 1992: 276-281 |
| 16 | | Mehmet A. Orgun,
William W. Wadge:
Towards a Unified Theory of Intensional Logic Programming.
J. Log. Program. 13(4): 413-440 (1992) |
| 1991 |
|---|
| 15 | | William W. Wadge:
Higher-Order Horn Logic Programming.
ISLP 1991: 289-303 |
| 1990 |
|---|
| 14 | | Weichang Du,
William W. Wadge:
A 3D Spreadsheet Based on Intensional Logic.
IEEE Software 7(3): 78-89 (1990) |
| 13 | | Weichang Du,
William W. Wadge:
The Eductive Implementation of a Three-dimensional Spreadsheet.
Softw., Pract. Exper. 20(11): 1097-1114 (1990) |
| 1988 |
|---|
| 12 | EE | Weichang Du,
William W. Wadge:
An intentional language as the basis of a 3-D spreadsheet design.
ICCL 1988: 2-9 |
| 1987 |
|---|
| 11 | EE | Antony A. Faustini,
William W. Wadge:
An eductive interpreter for Lucid.
PLDI 1987: 86-91 |
| 1982 |
|---|
| 10 | EE | Edward A. Ashcroft,
William W. Wadge:
R/ for Semantics.
ACM Trans. Program. Lang. Syst. 4(2): 283-294 (1982) |
| 1981 |
|---|
| 9 | | William W. Wadge:
An Extensional Treatment of Dataflow Deadlock.
Theor. Comput. Sci. 13: 3-15 (1981) |
| 1979 |
|---|
| 8 | | William W. Wadge:
An Extensional Treatment of Dataflow Deadlock.
Semantics of Concurrent Computation 1979: 285-299 |
| 1978 |
|---|
| 7 | | Edward A. Ashcroft,
William W. Wadge:
Clauses: Scope Structures and Defined Functions in Lucid.
POPL 1978: 17-22 |
| 1977 |
|---|
| 6 | | Adi Shamir,
William W. Wadge:
Data Types as Objects.
ICALP 1977: 465-479 |
| 5 | | Edward A. Ashcroft,
William W. Wadge:
Intermittent Assertion Proofs in Lucid.
IFIP Congress 1977: 723-726 |
| 4 | | Edward A. Ashcroft,
William W. Wadge:
Lucid, a Nonprocedural Language with Iteration.
Commun. ACM 20(7): 519-526 (1977) |
| 3 | | Edward A. Ashcroft,
William W. Wadge:
Erratum: Lucid - A Formal System for Writing and Proving Programs.
SIAM J. Comput. 6(1): 200 (1977) |
| 1976 |
|---|
| 2 | | Edward A. Ashcroft,
William W. Wadge:
Lucid - A Formal System for Writing and Proving Programs.
SIAM J. Comput. 5(3): 336-354 (1976) |
| 1974 |
|---|
| 1 | | D. M. Jackson,
William W. Wadge:
Normal Form Reduction of Probabilistic Computations in Non-Parametric Classification.
Comput. J. 17(3): 249-252 (1974) |
