Combinatorial sketching for finite programs.
| Autor: | Solar-Lezama, Armando, Tancau, Liviu, Bodik, Rastislav, Seshia, Sanjit, Saraswat, Vijay |
|---|---|
| Zdroj: | Proceedings of the 12th International Conference: Architectural Support for Programming Languages & Operating Systems; 10/21/2006, p404-415, 12p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|