Chucky Ellison

Charles M. Ellison

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2012

3 Chucky Ellison, Grigore Rosu: An executable formal semantics of C with applications. POPL 2012: 533-544

2010

2 Grigore Rosu, Chucky Ellison, Wolfram Schulte: Matching Logic: An Alternative to Hoare/Floyd Logic. AMAST 2010: 142-162

2008

1 Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu: A Rewriting Logic Approach to Type Inference. WADT 2008: 135-151

	2012
3		Chucky Ellison, Grigore Rosu: An executable formal semantics of C with applications. POPL 2012: 533-544
	2010
2		Grigore Rosu, Chucky Ellison, Wolfram Schulte: Matching Logic: An Alternative to Hoare/Floyd Logic. AMAST 2010: 142-162
	2008
1		Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu: A Rewriting Logic Approach to Type Inference. WADT 2008: 135-151

Coauthor Index

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

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

1	Grigore Rosu	[1] [2] [3]
2	Wolfram Schulte	[2]
3	Traian-Florin Serbanuta (Traian Serbanuta)	[1]