External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Combinatorial sketching for finite programs

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat. Combinatorial sketching for finite programs. In John Paul Shen, Margaret Martonosi, editors, Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006. pages 404-415, ACM, 2006. [doi]

Authors

Armando Solar-Lezama

This author has not been identified. Look up 'Armando Solar-Lezama' in Google

Liviu Tancau

This author has not been identified. Look up 'Liviu Tancau' in Google

Rastislav Bodík

This author has not been identified. Look up 'Rastislav Bodík' in Google

Sanjit A. Seshia

This author has not been identified. Look up 'Sanjit A. Seshia' in Google

Vijay A. Saraswat

This author has not been identified. Look up 'Vijay A. Saraswat' in Google
runs on