Dale Miller

INRIA Saclay - Île-de-France

other persons with the same name:

• Dale Miller

	2012
102		Dale Miller, Zoltán Ésik: Proceedings 8th Workshop on Fixed Points in Computer Science FICS 2012
101		Ivan Gazeau, Dale Miller, Catuscia Palamidessi: A non-local method for robustness analysis of floating point programs CoRR abs/1202.0693: (2012)
	2011
100		Dale Miller: A Proposal for Broad Spectrum Proof Certificates. CPP 2011: 54-69
99		Chuck Liang, Dale Miller: A focused approach to combining logics. Ann. Pure Appl. Logic 162(9): 679-697 (2011)
98		Andrew Gacek, Dale Miller, Gopalan Nadathur: Nominal abstraction. Inf. Comput. 209(1): 48-73 (2011)
	2010
97		Dale Miller: Reasoning about Computations Using Two-Levels of Logic. APLAS 2010: 34-46
96		David Baelde, Dale Miller, Zachary Snow: Focused Inductive Theorem Proving. IJCAR 2010: 278-292
95		Alwen Tiu, Dale Miller: Proof search specifications of bisimulation and modal logics for the pi-calculus. ACM Trans. Comput. Log. 11(2): (2010)
94		Olivier Delande, Dale Miller, Alexis Saurin: Proof and refutation in MALL as a game. Ann. Pure Appl. Logic 161(5): 654-672 (2010)
93		Vivek Nigam, Dale Miller: A Framework for Proof Systems. J. Autom. Reasoning 45(2): 157-188 (2010)
	2009
92		Chuck Liang, Dale Miller: A Unified Sequent Calculus for Focused Proofs. LICS 2009: 355-364
91		Vivek Nigam, Dale Miller: Algorithmic specifications in linear logic with subexponentials. PPDP 2009: 129-140
90		Andrew Gacek, Dale Miller, Gopalan Nadathur: Nominal Abstraction CoRR abs/0908.1390: (2009)
89		Andrew Gacek, Dale Miller, Gopalan Nadathur: A two-level logic approach to reasoning about computations CoRR abs/0911.2993: (2009)
88		Andrew Gacek, Dale Miller, Gopalan Nadathur: Reasoning in Abella about Structural Operational Semantics Specifications. Electr. Notes Theor. Comput. Sci. 228: 85-100 (2009)
87		Dale Miller: Formalizing Operational Semantic Specifications in Logic. Electr. Notes Theor. Comput. Sci. 246: 147-165 (2009)
86		Chuck Liang, Dale Miller: Focusing and polarization in linear, intuitionistic, and classical logics. Theor. Comput. Sci. 410(46): 4747-4768 (2009)
	2008
85		Kaustuv Chaudhuri, Dale Miller, Alexis Saurin: Canonical Sequent Proofs via Multi-Focusing. IFIP TCS 2008: 383-396
84		Vivek Nigam, Dale Miller: Focusing in Linear Meta-logic. IJCAR 2008: 507-522
83		Andrew Gacek, Dale Miller, Gopalan Nadathur: Combining Generic Judgments with Recursive Definitions. LICS 2008: 33-44
82		Olivier Delande, Dale Miller: A Neutral Approach to Proof and Refutation in MALL. LICS 2008: 498-508
81		Dale Miller: Formalizing Operational Semantic Specifications in Logic. Bulletin of the EATCS 96: 59-79 (2008)
80		Andrew Gacek, Dale Miller, Gopalan Nadathur: Combining generic judgments with recursive definitions CoRR abs/0802.0865: (2008)
79		Andrew Gacek, Dale Miller, Gopalan Nadathur: Reasoning in Abella about Structural Operational Semantics Specifications CoRR abs/0804.3914: (2008)
78		Alwen Tiu, Dale Miller: Proof Search Specifications for Bisimulation and Modal Logics for the pi-Calculus CoRR abs/0805.2785: (2008)
	2007
77		David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr System for Model Checking over Syntactic Expressions. CADE 2007: 391-397
76		Dale Miller, Alexis Saurin: From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic. CSL 2007: 405-419
75		Chuck Liang, Dale Miller: Focusing and Polarization in Intuitionistic Logic. CSL 2007: 451-465
74		Dale Miller, Vivek Nigam: Incorporating Tables into Proofs. CSL 2007: 466-480
73		David Baelde, Dale Miller: Least and Greatest Fixed Points in Linear Logic. LPAR 2007: 92-106
72		Dale Miller: Collection analysis for Horn clause programs CoRR abs/0708.2230: (2007)
71		Chuck Liang, Dale Miller: Focusing and Polarization in Intuitionistic Logic CoRR abs/0708.2252: (2007)
70		David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu: The Bedwyr system for model checking over syntactic expressions CoRR abs/cs/0702116: (2007)
	2006
69		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: 221-236
68		Dale Miller: Representing and Reasoning with Operational Semantics. IJCAR 2006: 4-20
67		Dale Miller: Collection analysis for Horn clause programs. PPDP 2006: 179-188
66		Dale Miller, Alexis Saurin: A Game Semantics for Proof Search: Preliminary Results. Electr. Notes Theor. Comput. Sci. 155: 543-563 (2006)
65		Axelle Ziegler, Dale Miller, Catuscia Palamidessi: A Congruence Format for Name-passing Calculi. Electr. Notes Theor. Comput. Sci. 156(1): 169-189 (2006)
64		Dale Miller: A Proof Theoretic Approach to Operational Semantics. Electr. Notes Theor. Comput. Sci. 162: 243-247 (2006)
	2005
63		Dale Miller, Alexis Saurin: A game semantics for proof search: preliminary results. GALOP 2005: 92-106
62		Elaine Pimentel, Dale Miller: On the Specification of Sequent Systems. LPAR 2005: 352-366
61		Dale Miller, Alwen Tiu: A proof theory for generic judgments. ACM Trans. Comput. Log. 6(4): 749-783 (2005)
60		Alwen Fernanto Tiu, Dale Miller: A Proof Search Specification of the pi-Calculus. Electr. Notes Theor. Comput. Sci. 138(1): 79-101 (2005)
	2004
59		Dale Miller: Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract. CSL 2004: 24
	2003
58		Dale Miller, Alwen Fernanto Tiu: A Proof Theory for Generic Judgments: An extended abstract. LICS 2003: 118-127
57		Dale Miller: Reasoning about Proof Search Specifications: An Abstract. TPHOLs 2003: 204
56		Dale Miller: Encryption as an abstract data type. Electr. Notes Theor. Comput. Sci. 84: 18-29 (2003)
55		Raymond McDowell, Dale Miller, Catuscia Palamidessi: Encoding transition systems in sequent calculus. Theor. Comput. Sci. 294(3): 411-437 (2003)
	2002
54		Dale Miller: Higher-Order Quantification and Proof Search. AMAST 2002: 60-74
53		Dale Miller, Alwen Fernanto Tiu: Encoding Generic Judgments. FSTTCS 2002: 18-32
52		Dale Miller, Elaine Pimentel: Using Linear Logic to Reason about Sequent Systems. TABLEAUX 2002: 2-23
51		Raymond McDowell, Dale Miller: Reasoning with higher-order abstract syntax in a logical framework. ACM Trans. Comput. Log. 3(1): 80-136 (2002)
	2001
50		Dale Miller: Encoding Generic Judgments: Preliminary results. Electr. Notes Theor. Comput. Sci. 58(1): 59-78 (2001)
	2000
49		Dale Miller: Abstract Syntax for Variable Binders: An Overview. Computational Logic 2000: 239-253
48		Raymond McDowell, Dale Miller: Reasoning with Higher-Order Abstract Syntax in a Logical Framework CoRR cs.LO/0003062: (2000)
47		Raymond McDowell, Dale Miller: Cut-elimination for a logic with definitions and induction. Theor. Comput. Sci. 232(1-2): 91-119 (2000)
	1999
46		Dale Miller, Catuscia Palamidessi: Foundational Aspects of Syntax. ACM Comput. Surv. 31(3es): 11 (1999)
	1997
45		Raymond McDowell, Dale Miller: A Logic for Reasoning with Higher-Order Abstract Syntax. LICS 1997: 434-445
	1996
44		Dale Miller: Linear Logic as Logic Programming: An Abstract. LACL 1996: 63-67
43		Dale Miller: Logical Foundations for Open System Design. ACM Comput. Surv. 28(4es): 48 (1996)
42		Raymond McDowell, Dale Miller, Catuscia Palamidessi: Encoding Transition Systems in Sequent Calculus. Electr. Notes Theor. Comput. Sci. 3: 138-152 (1996)
41		Dale Miller: Forum: A Multiple-Conclusion Specification Logic. Theor. Comput. Sci. 165(1): 201-232 (1996)
	1995
40		Dale Miller: Observations about Using Logic as a Specification Language. GULP-PRODE 1995: 61-70
	1994
39		Dale Miller: Specifications Using Multiple-Conclusion Logic Programs. ALP 1994: 3-4
38		Dale Miller: A Multiple-Conclusion Meta-Logic LICS 1994: 272-281
37		Dale Miller: Specifications Using Multiple-Conclusion Logic Programs. PLILP 1994: 3-4
36		Joshua S. Hodas, Dale Miller: Logic Programming in a Fragment of Intuitionistic Linear Logic Inf. Comput. 110(2): 327-365 (1994)
	1993
35		Dale Miller: A Proposal for Modules in Lambda-Prolog. ELP 1993: 206-221
	1992
34		Dale Miller: The pi-Calculus as a Theory in Linear Logic: Preliminary Results. ELP 1992: 242-264
33		Dale Miller: Unification Under a Mixed Prefix. J. Symb. Comput. 14(4): 321-358 (1992)
32		John Hannan, Dale Miller: From Operational Semantics for Abstract Machines. Mathematical Structures in Computer Science 2(4): 415-459 (1992)
	1991
31		Dale Miller: Unification of Simply Typed Lamda-Terms as Logic Programming. ICLP 1991: 255-269
30		Dale Miller: Logics for Logic Programming: A Tutorial. ICLP 1991: 911
29		Joshua S. Hodas, Dale Miller: Logic Programming in a Fragment of Intuitionistic Linear Logic LICS 1991: 32-42
28		Dale Miller: Abstract Syntax and Logic Programming. RCLP 1991: 322-337
27		Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov: Uniform Proofs as a Foundation for Logic Programming. Ann. Pure Appl. Logic 51(1-2): 125-157 (1991)
26		Dale Miller: A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. J. Log. Comput. 1(4): 497-536 (1991)
	1990
25		Amy P. Felty, Dale Miller: Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language. CADE 1990: 221-235
24		Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning: Tutorial on Lambda-Prolog. CADE 1990: 682
23		Remo Pareschi, Dale Miller: Extending Definite Clause Grammars with Scoping Constructs. ICLP 1990: 373-389
22		Joshua S. Hodas, Dale Miller: Representing Objects in a Logic Programming Langueage with Scoping Constructs. ICLP 1990: 511-526
21		Dale Miller: Higher-Order Logic Programming. ICLP 1990: 784
20		John Hannan, Dale Miller: From Operational Semantics to Abstract Machines: Preliminary Results. LISP and Functional Programming 1990: 323-332
19		Gopalan Nadathur, Dale Miller: Higher-Order Horn Clauses J. ACM 37(4): 777-814 (1990)
	1989
18		Dale Miller: A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. ELP 1989: 253-281
17		Dale Miller: Lexical Scoping as Universal Quantification. ICLP 1989: 268-283
16		John Hannan, Dale Miller: Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional Language. MPC 1989: 239-255
15		Dale Miller: A Logical Analysis of Modules in Logic Programming. J. Log. Program. 6(1&2): 79-108 (1989)
	1988
14		Amy P. Felty, Dale Miller: Specifying Theorem Provers in a Higher-Order Logic Programming Language. CADE 1988: 61-80
13		Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov: Lambda-Prolog: An Extended Logic Programming Language. CADE 1988: 754-755
12		Gopalan Nadathur, Dale Miller: An Overview of Lambda-PROLOG. ICLP/SLP 1988: 810-827
11		John Hannan, Dale Miller: Uses of Higher-Order Unification for Implementing Program Transformers. ICLP/SLP 1988: 942-959
10		John Hannan, Dale Miller: A Meta-Logic for Functional Programming. META 1988: 453-476
	1987
9		Dale Miller, Gopalan Nadathur, Andre Scedrov: Hereditary Harrop Formulas and Uniform Proof Systems LICS 1987: 98-105
8		Dale Miller, Gopalan Nadathur: A Logic Programming Approach to Manipulating Formulas and Programs. SLP 1987: 379-388
	1986
7		Dale Miller, Amy P. Felty: An Integration of Resolution and Natural Deduction Theorem Proving. AAAI 1986: 198-202
6		Dale Miller, Gopalan Nadathur: Some Uses of Higher-Order Logic in Computational Linguistics. ACL 1986: 247-256
5		Aravind K. Joshi, Timothy W. Finin, Dale Miller, Lokendra Shastri, Bonnie L. Webber: Research in Natural Language Processing. HLT 1986
4		Dale Miller, Gopalan Nadathur: Higher-Order Logic Programming. ICLP 1986: 448-462
3		Dale Miller: A Theory of Modules for Logic Programming. SLP 1986: 106-114
	1984
2		Dale Miller: Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs. CADE 1984: 375-393
	1982
1		Dale Miller, Eve Longini Cohen, Peter B. Andrews: A Look at TPS. CADE 1982: 50-69

Coauthor Index

1	Jean-Raymond Abrial	[69]
2	Peter B. Andrews	[1]
3	David Baelde	[70] [73] [77] [96]
4	Don S. Batory	[69]
5	Michael J. Butler	[69]
6	Kaustuv Chaudhuri	[85]
7	Alessandro Coglio	[69]
8	Eve Longini Cohen	[1]
9	Olivier Delande	[82] [94]
10	Zoltán Ésik	[102]
11	Amy P. Felty	[7] [13] [14] [24] [25]
12	Timothy W. Finin (Tim Finin)	[5]
13	Kathi Fisler	[69]
14	Andrew Gacek	[70] [77] [79] [80] [83] [88] [89] [90] [98]
15	Ivan Gazeau	[101]
16	Elsa L. Gunter	[13] [24]
17	John Hannan	[10] [11] [13] [16] [20] [32]
18	Eric C. R. Hehner	[69]
19	Joshua S. Hodas	[22] [29] [36]
20	Cliff B. Jones (Clifford B. Jones)	[69]
21	Simon L. Peyton Jones	[69]
22	Aravind K. Joshi	[5]
23	Gary T. Leavens	[69]
24	Chuck Liang	[71] [75] [86] [92] [99]
25	Raymond McDowell	[42] [45] [47] [48] [51] [55]
26	Gopalan Nadathur	[4] [6] [8] [9] [12] [13] [19] [27] [70] [77] [79] [80] [83] [88] [89] [90] [98]
27	Vivek Nigam	[74] [84] [91] [93]
28	Catuscia Palamidessi	[42] [46] [55] [65] [101]
29	Remo Pareschi	[23]
30	Frank Pfenning	[24] [27]
31	Elaine Pimentel	[52] [62]
32	Alexis Saurin	[63] [66] [76] [85] [94]
33	Andre Scedrov	[9] [13] [27]
34	Lokendra Shastri	[5]
35	Murali Sitaraman	[69]
36	Douglas R. Smith	[69]
37	Zachary Snow	[96]
38	Aaron Stump	[69]
39	Alwen Tiu (Alwen Fernanto Tiu)	[53] [58] [60] [61] [70] [77] [78] [95]
40	Bonnie L. Webber	[5]
41	Axelle Ziegler	[65]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page