Combinatorial sketching for finite programs

Solar-Lezama, Armando; Saraswat, Vijay; Tancau, Liviu; Seshia, Sanjit A.; Bodik, Rastislav

doi:10.1145/1168918.1168907

Record: found
Abstract: not found
Article: not found

Combinatorial sketching for finite programs

Author(s): Armando Solar-Lezama , Liviu Tancau , Rastislav Bodik , Sanjit Seshia , Vijay Saraswat

Publication date Created: October 16 2006

Publication date (Print): October 16 2006

Journal: ACM SIGPLAN Notices

Publisher: Association for Computing Machinery (ACM)

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: ACM SIGPLAN Notices

Abbreviated Title: SIGPLAN Not.

Publisher: Association for Computing Machinery (ACM)

ISSN (Print): 03621340

Publication date Created: October 16 2006

Publication date (Print): October 16 2006

Volume: 41

Issue: 11

Page: 404

Article

DOI: 10.1145/1168918.1168907

SO-VID: 9b431b5e-4dcb-4340-9115-1f88e4852271

History

Data availability:

Combinatorial sketching for finite programs

Read this article at

Related collections

ScienceOpen Research

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 3,105

Cited by 27