Christopher Earl

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j2		Claudia Eckert, Alan Blackwell, Martin Stacey, Christopher Earl, Luke Church: Sketching across design domains: Roles and formalities. AI EDAM 26(3): 245-266 (2012)
c1		Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn: Introspective pushdown analysis of higher-order programs. ICFP 2012: 177-188
i3		Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn: Introspective Pushdown Analysis of Higher-Order Programs. CoRR abs/1207.1813 (2012)
	2010
i2		Christopher Earl, Matthew Might, David Van Horn: Pushdown Control-Flow Analysis of Higher-Order Programs. CoRR abs/1007.4268 (2010)
i1		Christopher Earl, Matthew Might, David Van Horn: Stack-Summarizing Control-Flow Analysis of Higher-Order Programs. CoRR abs/1009.1560 (2010)
	2008
j1		Claudia Eckert, Martin Stacey, Christopher Earl: Formality in design communication. AI EDAM 27(2): 91-103 (2008)

Coauthor Index

1	Alan Blackwell	[j2]
2	Luke Church	[j2]
3	Claudia M. Eckert (Claudia Eckert)	[j2] [j1]
4	David Van Horn	[c1] [i3] [i2] [i1]
5	Matthew Might	[c1] [i3] [i2] [i1]
6	Ilya Sergey	[c1] [i3]
7	Martin Stacey	[j2] [j1]

Last update Wed May 22 01:20:46 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page