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.

Sketching stencils

Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia. Sketching stencils. In Jeanne Ferrante, Kathryn S. McKinley, editors, Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007. pages 167-178, ACM, 2007. [doi]

Authors

Armando Solar-Lezama

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

Gilad Arnold

This author has not been identified. Look up 'Gilad Arnold' 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

Vijay A. Saraswat

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

Sanjit A. Seshia

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