Sciweavers

3708 search results - page 46 / 742
» Programming with C Exceptions
Sort
View
PACT
2001
Springer
14 years 4 days ago
Experimental Version of Parallel Programs Translator from Petri Nets to C++
E. A. Golenkov, A. S. Sokolov, G. V. Tarasov, D. I...
TACAS
2001
Springer
96views Algorithms» more  TACAS 2001»
14 years 4 days ago
Boolean and Cartesian Abstraction for Model Checking C Programs
Thomas Ball, Andreas Podelski, Sriram K. Rajamani