| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dale Miller, Zoltán Ésik (eds.) |
Proceedings 8th Workshop on Fixed Points in Computer Science  |
FICS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Gazeau, Dale Miller, Catuscia Palamidessi |
A non-local method for robustness analysis of floating point programs |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Andrew Gacek, Dale Miller, Gopalan Nadathur |
Nominal abstraction. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuck Liang, Dale Miller |
A focused approach to combining logics. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
A Proposal for Broad Spectrum Proof Certificates. |
CPP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Delande, Dale Miller, Alexis Saurin |
Proof and refutation in MALL as a game. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek Nigam, Dale Miller |
A Framework for Proof Systems. |
J. Autom. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alwen Tiu, Dale Miller |
Proof search specifications of bisimulation and modal logics for the pi-calculus. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Baelde, Dale Miller, Zachary Snow |
Focused Inductive Theorem Proving. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Reasoning about Computations Using Two-Levels of Logic. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuck Liang, Dale Miller |
Focusing and polarization in linear, intuitionistic, and classical logics. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Formalizing Operational Semantic Specifications in Logic. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Gacek, Dale Miller, Gopalan Nadathur |
Reasoning in Abella about Structural Operational Semantics Specifications. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Gacek, Dale Miller, Gopalan Nadathur |
A two-level logic approach to reasoning about computations |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andrew Gacek, Dale Miller, Gopalan Nadathur |
Nominal Abstraction |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Vivek Nigam, Dale Miller |
Algorithmic specifications in linear logic with subexponentials. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
subexponentials, linear logic, proof search |
| 1 | Chuck Liang, Dale Miller |
A Unified Sequent Calculus for Focused Proofs. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Gacek, Dale Miller, Gopalan Nadathur |
Combining generic judgments with recursive definitions |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andrew Gacek, Dale Miller, Gopalan Nadathur |
Reasoning in Abella about Structural Operational Semantics Specifications |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alwen Tiu, Dale Miller |
Proof Search Specifications for Bisimulation and Modal Logics for the pi-Calculus |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller |
Formalizing Operational Semantic Specifications in Logic. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Vivek Nigam, Dale Miller |
Focusing in Linear Meta-logic. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaustuv Chaudhuri, Dale Miller, Alexis Saurin |
Canonical Sequent Proofs via Multi-Focusing. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Delande, Dale Miller |
A Neutral Approach to Proof and Refutation in MALL. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
neutral approach, linear logic, game semantics |
| 1 | Andrew Gacek, Dale Miller, Gopalan Nadathur |
Combining Generic Judgments with Recursive Definitions. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
generic judgments, reasoning about operational semantics, higher-order abstract syntax, proof search |
| 1 | David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu |
The Bedwyr system for model checking over syntactic expressions |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Chuck Liang, Dale Miller |
Focusing and Polarization in Intuitionistic Logic |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller |
Collection analysis for Horn clause programs |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu |
The Bedwyr System for Model Checking over Syntactic Expressions. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Baelde, Dale Miller |
Least and Greatest Fixed Points in Linear Logic. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller, Alexis Saurin |
From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller, Vivek Nigam |
Incorporating Tables into Proofs. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuck Liang, Dale Miller |
Focusing and Polarization in Intuitionistic Logic. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller, Alexis Saurin |
A Game Semantics for Proof Search: Preliminary Results. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
A Proof Theoretic Approach to Operational Semantics. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Axelle Ziegler, Dale Miller, Catuscia Palamidessi |
A Congruence Format for Name-passing Calculi. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Representing and Reasoning with Operational Semantics. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. 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. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
verified software grand challenge, verification, annotations, programming languages, tools, specification languages, program generation, correctness by construction |
| 1 | Dale Miller |
Collection analysis for Horn clause programs. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
static analysis, linear logic, Horn clauses, proof search |
| 1 | Alwen Fernanto Tiu, Dale Miller |
A Proof Search Specification of the pi-Calculus. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller, Alwen Tiu |
A proof theory for generic judgments. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
?-tree syntax, ?-quantifier, generic judgments, reasoning about operational semantics, higher-order abstract syntax, Proof search |
| 1 | Dale Miller, Alexis Saurin |
A game semantics for proof search: preliminary results. |
GALOP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Elaine Pimentel, Dale Miller |
On the Specification of Sequent Systems. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond McDowell, Dale Miller, Catuscia Palamidessi |
Encoding transition systems in sequent calculus. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Encryption as an abstract data type. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Reasoning about Proof Search Specifications: An Abstract. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller, Alwen Fernanto Tiu |
A Proof Theory for Generic Judgments: An extended abstract. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
reasoning about operational semantics, generic judgments, higher-order abstract syntax, proof search |
| 1 | Raymond McDowell, Dale Miller |
Reasoning with higher-order abstract syntax in a logical framework. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
induction, Definitions, logical frameworks, higher-order abstract syntax |
| 1 | Dale Miller |
Higher-Order Quantification and Proof Search. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller, Elaine Pimentel |
Using Linear Logic to Reason about Sequent Systems. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller, Alwen Fernanto Tiu |
Encoding Generic Judgments. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Encoding Generic Judgments: Preliminary results. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond McDowell, Dale Miller |
Cut-elimination for a logic with definitions and induction. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond McDowell, Dale Miller |
Reasoning with Higher-Order Abstract Syntax in a Logical Framework |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller |
Abstract Syntax for Variable Binders: An Overview. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller, Catuscia Palamidessi |
Foundational Aspects of Syntax. |
ACM Comput. Surv. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond McDowell, Dale Miller |
A Logic for Reasoning with Higher-Order Abstract Syntax. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Forum: A Multiple-Conclusion Specification Logic. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond McDowell, Dale Miller, Catuscia Palamidessi |
Encoding Transition Systems in Sequent Calculus. |
Electr. Notes Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Logical Foundations for Open System Design. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Linear Logic as Logic Programming: An Abstract. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Observations about Using Logic as a Specification Language. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Joshua S. Hodas, Dale Miller |
Logic Programming in a Fragment of Intuitionistic Linear Logic |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Specifications Using Multiple-Conclusion Logic Programs. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Specifications Using Multiple-Conclusion Logic Programs. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
A Multiple-Conclusion Meta-Logic |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
A Proposal for Modules in Lambda-Prolog. |
ELP |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Unification Under a Mixed Prefix. |
J. Symb. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hannan, Dale Miller |
From Operational Semantics for Abstract Machines. |
Mathematical Structures in Computer Science |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
The pi-Calculus as a Theory in Linear Logic: Preliminary Results. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. |
J. Log. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov |
Uniform Proofs as a Foundation for Logic Programming. |
Ann. Pure Appl. Logic |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Abstract Syntax and Logic Programming. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Unification of Simply Typed Lamda-Terms as Logic Programming. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller |
Logics for Logic Programming: A Tutorial. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Joshua S. Hodas, Dale Miller |
Logic Programming in a Fragment of Intuitionistic Linear Logic |
LICS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur, Dale Miller |
Higher-Order Horn Clauses |
J. ACM |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning |
Tutorial on Lambda-Prolog. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy P. Felty, Dale Miller |
Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Remo Pareschi, Dale Miller |
Extending Definite Clause Grammars with Scoping Constructs. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | Joshua S. Hodas, Dale Miller |
Representing Objects in a Logic Programming Langueage with Scoping Constructs. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller |
Higher-Order Logic Programming. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | John Hannan, Dale Miller |
From Operational Semantics to Abstract Machines: Preliminary Results. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
A Logical Analysis of Modules in Logic Programming. |
J. Log. Program. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
Lexical Scoping as Universal Quantification. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller |
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. |
ELP |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hannan, Dale Miller |
Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional Language. |
MPC |
1989 |
DBLP BibTeX RDF |
|
| 1 | Amy P. Felty, Dale Miller |
Specifying Theorem Provers in a Higher-Order Logic Programming Language. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov |
Lambda-Prolog: An Extended Logic Programming Language. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hannan, Dale Miller |
A Meta-Logic for Functional Programming. |
META |
1988 |
DBLP BibTeX RDF |
|
| 1 | Gopalan Nadathur, Dale Miller |
An Overview of Lambda-PROLOG. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
| 1 | John Hannan, Dale Miller |
Uses of Higher-Order Unification for Implementing Program Transformers. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller, Gopalan Nadathur |
A Logic Programming Approach to Manipulating Formulas and Programs. |
SLP |
1987 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller, Gopalan Nadathur, Andre Scedrov |
Hereditary Harrop Formulas and Uniform Proof Systems |
LICS |
1987 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller, Gopalan Nadathur |
Some Uses of Higher-Order Logic in Computational Linguistics. |
ACL |
1986 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller, Gopalan Nadathur |
Higher-Order Logic Programming. |
ICLP |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller |
A Theory of Modules for Logic Programming. |
SLP |
1986 |
DBLP BibTeX RDF |
|
| 1 | Aravind K. Joshi, Timothy W. Finin, Dale Miller, Lokendra Shastri, Bonnie L. Webber |
Research in Natural Language Processing. |
HLT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller, Amy P. Felty |
An Integration of Resolution and Natural Deduction Theorem Proving. |
AAAI |
1986 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")