Search the dblp DataBase
Dale Miller :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Dale Miller A Theory of Modules for Logic Programming. [Citation Graph (5, 0)][DBLP ] SLP, 1986, pp:106-114 [Conf ] Dale Miller , Gopalan Nadathur Higher-Order Logic Programming. [Citation Graph (2, 0)][DBLP ] ICLP, 1986, pp:448-462 [Conf ] 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 ] 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 ] Gopalan Nadathur , Dale Miller Higher-Order Horn Clauses [Citation Graph (1, 0)][DBLP ] J. ACM, 1990, v:37, n:4, pp:777-814 [Journal ] 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 ] Dale Miller Observations about Using Logic as a Specification Language. [Citation Graph (0, 0)][DBLP ] GULP-PRODE, 1995, pp:61-70 [Conf ] Dale Miller Specifications Using Multiple-Conclusion Logic Programs. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:3-4 [Conf ] Dale Miller Higher-Order Quantification and Proof Search. [Citation Graph (0, 0)][DBLP ] AMAST, 2002, pp:60-74 [Conf ] 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 ] Amy P. Felty , Elsa L. Gunter , Dale Miller , Frank Pfenning Tutorial on Lambda-Prolog. [Citation Graph (0, 0)][DBLP ] CADE, 1990, pp:682- [Conf ] 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 ] 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 ] Dale Miller Representing and Reasoning with Operational Semantics. [Citation Graph (0, 0)][DBLP ] IJCAR, 2006, pp:4-20 [Conf ] Dale Miller Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs. [Citation Graph (0, 0)][DBLP ] CADE, 1984, pp:375-393 [Conf ] Dale Miller , Eve Longini Cohen , Peter B. Andrews A Look at TPS. [Citation Graph (0, 0)][DBLP ] CADE, 1982, pp:50-69 [Conf ] Dale Miller Abstract Syntax for Variable Binders: An Overview. [Citation Graph (0, 0)][DBLP ] Computational Logic, 2000, pp:239-253 [Conf ] 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 ] Dale Miller Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract. [Citation Graph (0, 0)][DBLP ] CSL, 2004, pp:24- [Conf ] 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 ] Dale Miller The pi-Calculus as a Theory in Linear Logic: Preliminary Results. [Citation Graph (0, 0)][DBLP ] ELP, 1992, pp:242-264 [Conf ] Dale Miller A Proposal for Modules in Lambda-Prolog. [Citation Graph (0, 0)][DBLP ] ELP, 1993, pp:206-221 [Conf ] Dale Miller , Alwen Fernanto Tiu Encoding Generic Judgments. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2002, pp:18-32 [Conf ] Dale Miller , Alexis Saurin A game semantics for proof search: preliminary results. [Citation Graph (0, 0)][DBLP ] GALOP, 2005, pp:92-106 [Conf ] 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 ] 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 ] 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 ] Dale Miller Lexical Scoping as Universal Quantification. [Citation Graph (0, 0)][DBLP ] ICLP, 1989, pp:268-283 [Conf ] Dale Miller Higher-Order Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1990, pp:784- [Conf ] Dale Miller Unification of Simply Typed Lamda-Terms as Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:255-269 [Conf ] Dale Miller Logics for Logic Programming: A Tutorial. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:911- [Conf ] Gopalan Nadathur , Dale Miller An Overview of Lambda-PROLOG. [Citation Graph (0, 0)][DBLP ] ICLP/SLP, 1988, pp:810-827 [Conf ] Remo Pareschi , Dale Miller Extending Definite Clause Grammars with Scoping Constructs. [Citation Graph (0, 0)][DBLP ] ICLP, 1990, pp:373-389 [Conf ] Dale Miller Linear Logic as Logic Programming: An Abstract. [Citation Graph (0, 0)][DBLP ] LACL, 1996, pp:63-67 [Conf ] 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 ] 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 ] Raymond McDowell , Dale Miller A Logic for Reasoning with Higher-Order Abstract Syntax. [Citation Graph (0, 0)][DBLP ] LICS, 1997, pp:434-445 [Conf ] Dale Miller A Multiple-Conclusion Meta-Logic [Citation Graph (0, 0)][DBLP ] LICS, 1994, pp:272-281 [Conf ] Dale Miller , Gopalan Nadathur , Andre Scedrov Hereditary Harrop Formulas and Uniform Proof Systems [Citation Graph (0, 0)][DBLP ] LICS, 1987, pp:98-105 [Conf ] 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 ] Dale Miller Abstract Syntax and Logic Programming. [Citation Graph (0, 0)][DBLP ] RCLP, 1991, pp:322-337 [Conf ] Elaine Pimentel , Dale Miller On the Specification of Sequent Systems. [Citation Graph (0, 0)][DBLP ] LPAR, 2005, pp:352-366 [Conf ] John Hannan , Dale Miller A Meta-Logic for Functional Programming. [Citation Graph (0, 0)][DBLP ] META, 1988, pp:453-476 [Conf ] 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 ] Dale Miller Specifications Using Multiple-Conclusion Logic Programs. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:3-4 [Conf ] Dale Miller Collection analysis for Horn clause programs. [Citation Graph (0, 0)][DBLP ] PPDP, 2006, pp:179-188 [Conf ] Dale Miller , Gopalan Nadathur A Logic Programming Approach to Manipulating Formulas and Programs. [Citation Graph (0, 0)][DBLP ] SLP, 1987, pp:379-388 [Conf ] Dale Miller , Elaine Pimentel Using Linear Logic to Reason about Sequent Systems. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2002, pp:2-23 [Conf ] Dale Miller Reasoning about Proof Search Specifications: An Abstract. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2003, pp:204- [Conf ] 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 ] Brian Soderberg , Dale Miller Image Generation Design for Ground-based Network Training Environments. [Citation Graph (0, 0)][DBLP ] VR, 1993, pp:318-329 [Conf ] 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 ] Dale Miller Logical Foundations for Open System Design. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:4es, pp:48- [Journal ] Dale Miller , Catuscia Palamidessi Foundational Aspects of Syntax. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1999, v:31, n:3es, pp:11- [Journal ] 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 ] Dale Miller Encryption as an abstract data type. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:84, n:, pp:- [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] Dale Miller Unification Under a Mixed Prefix. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1992, v:14, n:4, pp:321-358 [Journal ] 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 ] 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 ] 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 ] 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 ] Dale Miller Encoding Generic Judgments: Preliminary results. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal ] 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 ] 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 ] 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 ] 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 ] Dale Miller , Vivek Nigam Incorporating Tables into Proofs. [Citation Graph (0, 0)][DBLP ] CSL, 2007, pp:466-480 [Conf ] Chuck Liang , Dale Miller Focusing and Polarization in Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] CSL, 2007, pp:451-465 [Conf ] 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 ] David Baelde , Dale Miller Least and Greatest Fixed Points in Linear Logic. [Citation Graph (0, 0)][DBLP ] LPAR, 2007, pp:92-106 [Conf ] 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 ] Dale Miller Collection analysis for Horn clause programs [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Chuck Liang , Dale Miller Focusing and Polarization in Intuitionistic Logic [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Focusing in Linear Meta-logic. [Citation Graph (, )][DBLP ] Focused Inductive Theorem Proving. [Citation Graph (, )][DBLP ] Canonical Sequent Proofs via Multi-Focusing. [Citation Graph (, )][DBLP ] A Neutral Approach to Proof and Refutation in MALL. [Citation Graph (, )][DBLP ] Combining Generic Judgments with Recursive Definitions. [Citation Graph (, )][DBLP ] A Unified Sequent Calculus for Focused Proofs. [Citation Graph (, )][DBLP ] Algorithmic specifications in linear logic with subexponentials. [Citation Graph (, )][DBLP ] Research in Natural Language Processing. [Citation Graph (, )][DBLP ] Proof and refutation in MALL as a game. [Citation Graph (, )][DBLP ] Combining generic judgments with recursive definitions [Citation Graph (, )][DBLP ] Reasoning in Abella about Structural Operational Semantics Specifications [Citation Graph (, )][DBLP ] Proof Search Specifications for Bisimulation and Modal Logics for the pi-Calculus [Citation Graph (, )][DBLP ] Nominal Abstraction [Citation Graph (, )][DBLP ] A two-level logic approach to reasoning about computations [Citation Graph (, )][DBLP ] Reasoning in Abella about Structural Operational Semantics Specifications. [Citation Graph (, )][DBLP ] Formalizing Operational Semantic Specifications in Logic. [Citation Graph (, )][DBLP ] Search in 0.019secs, Finished in 0.469secs