|
Search the dblp DataBase
Christopher L. Conway:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards
Incremental Algorithms for Inter-procedural Analysis of Safety Properties. [Citation Graph (0, 0)][DBLP] CAV, 2005, pp:449-461 [Conf]
- Christopher L. Conway, Stephen A. Edwards
NDL: a domain-specific language for device drivers. [Citation Graph (0, 0)][DBLP] LCTES, 2004, pp:30-36 [Conf]
- Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani
Programming asynchronous layers with CLARITY. [Citation Graph (0, 0)][DBLP] ESEC/SIGSOFT FSE, 2007, pp:65-74 [Conf]
Verifying Low-Level Implementations of High-Level Datatypes. [Citation Graph (, )][DBLP]
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|