|
Search the dblp DataBase
Sean Seefried:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean Seefried
Why Functional Programming Really Matters. [Citation Graph (0, 0)][DBLP] Applied Informatics, 2003, pp:919-926 [Conf]
- Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller
Optimising Embedded DSLs Using Template Haskell. [Citation Graph (0, 0)][DBLP] GPCE, 2004, pp:186-205 [Conf]
Goanna: Syntactic Software Model Checking. [Citation Graph (, )][DBLP]
Incremental False Path Elimination for Static Software Analysis. [Citation Graph (, )][DBLP]
Counterexample Guided Path Reduction for Static Program Analysis. [Citation Graph (, )][DBLP]
Some Assembly Required - Program Analysis of Embedded System Code. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|