The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dale Miller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dale Miller
    A Theory of Modules for Logic Programming. [Citation Graph (5, 0)][DBLP]
    SLP, 1986, pp:106-114 [Conf]
  2. Dale Miller, Gopalan Nadathur
    Higher-Order Logic Programming. [Citation Graph (2, 0)][DBLP]
    ICLP, 1986, pp:448-462 [Conf]
  3. Dale Miller
    A Logical Analysis of Modules in Logic Programming. [Citation Graph (2, 0)][DBLP]
    J. Log. Program., 1989, v:6, n:1&2, pp:79-108 [Journal]
  4. Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov
    Uniform Proofs as a Foundation for Logic Programming. [Citation Graph (1, 0)][DBLP]
    Ann. Pure Appl. Logic, 1991, v:51, n:1-2, pp:125-157 [Journal]
  5. Gopalan Nadathur, Dale Miller
    Higher-Order Horn Clauses [Citation Graph (1, 0)][DBLP]
    J. ACM, 1990, v:37, n:4, pp:777-814 [Journal]
  6. Dale Miller, Amy P. Felty
    An Integration of Resolution and Natural Deduction Theorem Proving. [Citation Graph (0, 0)][DBLP]
    AAAI, 1986, pp:198-202 [Conf]
  7. Dale Miller
    Observations about Using Logic as a Specification Language. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:61-70 [Conf]
  8. Dale Miller
    Specifications Using Multiple-Conclusion Logic Programs. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:3-4 [Conf]
  9. Dale Miller
    Higher-Order Quantification and Proof Search. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:60-74 [Conf]
  10. Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov
    Lambda-Prolog: An Extended Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:754-755 [Conf]
  11. Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning
    Tutorial on Lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:682- [Conf]
  12. Amy P. Felty, Dale Miller
    Specifying Theorem Provers in a Higher-Order Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:61-80 [Conf]
  13. Amy P. Felty, Dale Miller
    Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:221-235 [Conf]
  14. Dale Miller
    Representing and Reasoning with Operational Semantics. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:4-20 [Conf]
  15. Dale Miller
    Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs. [Citation Graph (0, 0)][DBLP]
    CADE, 1984, pp:375-393 [Conf]
  16. Dale Miller, Eve Longini Cohen, Peter B. Andrews
    A Look at TPS. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:50-69 [Conf]
  17. Dale Miller
    Abstract Syntax for Variable Binders: An Overview. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:239-253 [Conf]
  18. Christine Neuwirth, Ravinder Chandhok, David Kaufer, Paul Erion, James H. Morris, Dale Miller
    Flexible Diff-ing in a Collaborative Writing System. [Citation Graph (0, 0)][DBLP]
    CSCW, 1992, pp:147-154 [Conf]
  19. Dale Miller
    Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:24- [Conf]
  20. Dale Miller
    A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. [Citation Graph (0, 0)][DBLP]
    ELP, 1989, pp:253-281 [Conf]
  21. Dale Miller
    The pi-Calculus as a Theory in Linear Logic: Preliminary Results. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:242-264 [Conf]
  22. Dale Miller
    A Proposal for Modules in Lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:206-221 [Conf]
  23. Dale Miller, Alwen Fernanto Tiu
    Encoding Generic Judgments. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2002, pp:18-32 [Conf]
  24. Dale Miller, Alexis Saurin
    A game semantics for proof search: preliminary results. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:92-106 [Conf]
  25. Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
    Roadmap for enhanced languages and methods to aid verification. [Citation Graph (0, 0)][DBLP]
    GPCE, 2006, pp:221-236 [Conf]
  26. John Hannan, Dale Miller
    Uses of Higher-Order Unification for Implementing Program Transformers. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:942-959 [Conf]
  27. Joshua S. Hodas, Dale Miller
    Representing Objects in a Logic Programming Langueage with Scoping Constructs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:511-526 [Conf]
  28. Dale Miller
    Lexical Scoping as Universal Quantification. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:268-283 [Conf]
  29. Dale Miller
    Higher-Order Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:784- [Conf]
  30. Dale Miller
    Unification of Simply Typed Lamda-Terms as Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:255-269 [Conf]
  31. Dale Miller
    Logics for Logic Programming: A Tutorial. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:911- [Conf]
  32. Gopalan Nadathur, Dale Miller
    An Overview of Lambda-PROLOG. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:810-827 [Conf]
  33. Remo Pareschi, Dale Miller
    Extending Definite Clause Grammars with Scoping Constructs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:373-389 [Conf]
  34. Dale Miller
    Linear Logic as Logic Programming: An Abstract. [Citation Graph (0, 0)][DBLP]
    LACL, 1996, pp:63-67 [Conf]
  35. John Hannan, Dale Miller
    From Operational Semantics to Abstract Machines: Preliminary Results. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1990, pp:323-332 [Conf]
  36. Joshua S. Hodas, Dale Miller
    Logic Programming in a Fragment of Intuitionistic Linear Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:32-42 [Conf]
  37. Raymond McDowell, Dale Miller
    A Logic for Reasoning with Higher-Order Abstract Syntax. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:434-445 [Conf]
  38. Dale Miller
    A Multiple-Conclusion Meta-Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:272-281 [Conf]
  39. Dale Miller, Gopalan Nadathur, Andre Scedrov
    Hereditary Harrop Formulas and Uniform Proof Systems [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:98-105 [Conf]
  40. Dale Miller, Alwen Fernanto Tiu
    A Proof Theory for Generic Judgments: An extended abstract. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:118-127 [Conf]
  41. Dale Miller
    Abstract Syntax and Logic Programming. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:322-337 [Conf]
  42. Elaine Pimentel, Dale Miller
    On the Specification of Sequent Systems. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:352-366 [Conf]
  43. John Hannan, Dale Miller
    A Meta-Logic for Functional Programming. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:453-476 [Conf]
  44. John Hannan, Dale Miller
    Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional Language. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:239-255 [Conf]
  45. Dale Miller
    Specifications Using Multiple-Conclusion Logic Programs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:3-4 [Conf]
  46. Dale Miller
    Collection analysis for Horn clause programs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:179-188 [Conf]
  47. Dale Miller, Gopalan Nadathur
    A Logic Programming Approach to Manipulating Formulas and Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:379-388 [Conf]
  48. Dale Miller, Elaine Pimentel
    Using Linear Logic to Reason about Sequent Systems. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:2-23 [Conf]
  49. Dale Miller
    Reasoning about Proof Search Specifications: An Abstract. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2003, pp:204- [Conf]
  50. James M. Calvin, Alan Dickens, Bob Gaines, Paul Metzger, Dale Miller, Dan Owen
    The Simnet Virtual World Architecture. [Citation Graph (0, 0)][DBLP]
    VR, 1993, pp:450-455 [Conf]
  51. Brian Soderberg, Dale Miller
    Image Generation Design for Ground-based Network Training Environments. [Citation Graph (0, 0)][DBLP]
    VR, 1993, pp:318-329 [Conf]
  52. Raymond McDowell, Dale Miller
    Reasoning with Higher-Order Abstract Syntax in a Logical Framework [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  53. Dale Miller
    Logical Foundations for Open System Design. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:48- [Journal]
  54. Dale Miller, Catuscia Palamidessi
    Foundational Aspects of Syntax. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1999, v:31, n:3es, pp:11- [Journal]
  55. Raymond McDowell, Dale Miller, Catuscia Palamidessi
    Encoding Transition Systems in Sequent Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  56. Dale Miller
    Encryption as an abstract data type. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:84, n:, pp:- [Journal]
  57. Dale Miller, Alexis Saurin
    A Game Semantics for Proof Search: Preliminary Results. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:543-563 [Journal]
  58. Alwen Fernanto Tiu, Dale Miller
    A Proof Search Specification of the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:1, pp:79-101 [Journal]
  59. Axelle Ziegler, Dale Miller, Catuscia Palamidessi
    A Congruence Format for Name-passing Calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:169-189 [Journal]
  60. Dale Miller
    A Proof Theoretic Approach to Operational Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:243-247 [Journal]
  61. Joshua S. Hodas, Dale Miller
    Logic Programming in a Fragment of Intuitionistic Linear Logic [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:110, n:2, pp:327-365 [Journal]
  62. Dale Miller
    Unification Under a Mixed Prefix. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1992, v:14, n:4, pp:321-358 [Journal]
  63. Dale Miller
    A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1991, v:1, n:4, pp:497-536 [Journal]
  64. John Hannan, Dale Miller
    From Operational Semantics for Abstract Machines. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1992, v:2, n:4, pp:415-459 [Journal]
  65. Raymond McDowell, Dale Miller
    Cut-elimination for a logic with definitions and induction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:232, n:1-2, pp:91-119 [Journal]
  66. Raymond McDowell, Dale Miller, Catuscia Palamidessi
    Encoding transition systems in sequent calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:294, n:3, pp:411-437 [Journal]
  67. Dale Miller
    Encoding Generic Judgments: Preliminary results. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]
  68. Dale Miller
    Forum: A Multiple-Conclusion Specification Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:165, n:1, pp:201-232 [Journal]
  69. Raymond McDowell, Dale Miller
    Reasoning with higher-order abstract syntax in a logical framework. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2002, v:3, n:1, pp:80-136 [Journal]
  70. Dale Miller, Alwen Tiu
    A proof theory for generic judgments. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2005, v:6, n:4, pp:749-783 [Journal]
  71. David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
    The Bedwyr System for Model Checking over Syntactic Expressions. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:391-397 [Conf]
  72. Dale Miller, Vivek Nigam
    Incorporating Tables into Proofs. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:466-480 [Conf]
  73. Chuck Liang, Dale Miller
    Focusing and Polarization in Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:451-465 [Conf]
  74. Dale Miller, Alexis Saurin
    From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:405-419 [Conf]
  75. David Baelde, Dale Miller
    Least and Greatest Fixed Points in Linear Logic. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:92-106 [Conf]
  76. David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
    The Bedwyr system for model checking over syntactic expressions [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  77. Dale Miller
    Collection analysis for Horn clause programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  78. Chuck Liang, Dale Miller
    Focusing and Polarization in Intuitionistic Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  79. Focusing in Linear Meta-logic. [Citation Graph (, )][DBLP]


  80. Focused Inductive Theorem Proving. [Citation Graph (, )][DBLP]


  81. Canonical Sequent Proofs via Multi-Focusing. [Citation Graph (, )][DBLP]


  82. A Neutral Approach to Proof and Refutation in MALL. [Citation Graph (, )][DBLP]


  83. Combining Generic Judgments with Recursive Definitions. [Citation Graph (, )][DBLP]


  84. A Unified Sequent Calculus for Focused Proofs. [Citation Graph (, )][DBLP]


  85. Algorithmic specifications in linear logic with subexponentials. [Citation Graph (, )][DBLP]


  86. Research in Natural Language Processing. [Citation Graph (, )][DBLP]


  87. Proof and refutation in MALL as a game. [Citation Graph (, )][DBLP]


  88. Combining generic judgments with recursive definitions [Citation Graph (, )][DBLP]


  89. Reasoning in Abella about Structural Operational Semantics Specifications [Citation Graph (, )][DBLP]


  90. Proof Search Specifications for Bisimulation and Modal Logics for the pi-Calculus [Citation Graph (, )][DBLP]


  91. Nominal Abstraction [Citation Graph (, )][DBLP]


  92. A two-level logic approach to reasoning about computations [Citation Graph (, )][DBLP]


  93. Reasoning in Abella about Structural Operational Semantics Specifications. [Citation Graph (, )][DBLP]


  94. Formalizing Operational Semantic Specifications in Logic. [Citation Graph (, )][DBLP]


Search in 0.028secs, Finished in 0.034secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002