Chucky Ellison
◁ ▶ joint publications with coauthor community group 1
- > Home > Persons > Chucky Ellison
Publications
- 2015
- [c7]
- 2014
- [j1]Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu:
The K Primer (version 3.3). Electr. Notes Theor. Comput. Sci. 304: 57-80 (2014) - 2012
- [c6]David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu:
Executing Formal Semantics with the K Tool. FM 2012: 267-271 - [c4]Chucky Ellison, Grigore Rosu:
An executable formal semantics of C with applications. POPL 2012: 533-544 - [c3]Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu:
Making Maude Definitions More Interactive. WRLA 2012: 83-98 - 2010
- [c2]Grigore Rosu, Chucky Ellison, Wolfram Schulte:
Matching Logic: An Alternative to Hoare/Floyd Logic. AMAST 2010: 142-162 - 2008
- [c1]Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu:
A Rewriting Logic Approach to Type Inference. WADT 2008: 135-151
last updated on 2019-01-09 01:38 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint