Searching for "Statically Safe Program Generation with SafeGen." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Statically Safe Program Generation with SafeGen
by Shan Shan Huang, David Zook, Yannis Smaragdakis
…Statically Safe Program Generation with SafeGen Shan Shan Huang, David Zook, and Yannis…
Cited by 9 (2 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB