Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Christopher L.
Last name:	Conway
DBLP:	45/5558
Rating:	(1)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 4 of 4  

Select a publication
Show	Title	Venue	Rating	Date
	Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani. Programming asynchronous layers with CLARITY.	Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007 2007	(1)	2007
	Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett. Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.	Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings 2008	(0)	2008
	Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards. Incremental Algorithms for Inter-procedural Analysis of Safety Properties.	Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings 2005	(0)	2005
	Christopher L. Conway, Stephen A. Edwards. NDL: a domain-specific language for device drivers.	Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004 2004	(0)	2004

Your query returned 4 matches in the database.