Type-directed completion of partial expressions

ACM SIGPLAN Notices

Volumn 47, Issue 6, 2012, Pages 275-285

  Perelman, Daniel ^a   Gulwani, Sumit ^b   Ball, Thomas ^b   Grossman, Dan ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Code completion; Partial expressions; Program synthesis; Ranking; Type based analysis

Indexed keywords

COMPLEX STRUCTURE; IMPEDANCE MISMATCH; LARGE PARTS; PARTIAL EXPRESSIONS; PROGRAM SYNTHESIS; PROGRAMMING FRAMEWORK; RANKING; TYPE-BASED ANALYSIS; WRITING CODES;

COMPUTER PROGRAMMING; COMPUTER SCIENCE;

ALGORITHMS;

EID: 84866346382     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/2345156.2254098     Document Type: Conference Paper

References (21)

1. C. Bolton. Typsy: A type-based search tool for Java programmers. In C. Miller, editor, Selected 2001 SRC Summer Intern Projects, Technical Note 2001-004. Compaq Systems Research Center, Dec. 2001.
2. S. Chatterjee, S. Juvekar, and K. Sen. SNIFF: A search engine for Java using free-form queries. ETAPS/FASE, 2009.
3. E. Duala-Ekoko and M. P. Robillard. Using structure-based recommendations to facilitate discoverability in APIs. ECOOP, 2011.
4. G. Furnas, T. Landauer, L. Gomez, and S. Dumais. The vocabulary problem in human-system communication. CACM, 30, Nov 1987.
5. S. Gulwani. Dimensions in program synthesis. In PPDP, 2010.
6. T. Gvero, V. Kuncak, and R. Piskac. Interactive synthesis of code snippets. In Computer Aided Verification (CAV) Tool Demo, 2011.
7. R. Holmes and G. C. Murphy. Using structural context to recommend source code examples. ICSE, 2005.
8. D. Hou and D. M. Pletcher. Towards a better code completion system by API grouping, filtering, and popularity-based ranking. RSSE, 2010.
9. G. Little and R. C. Miller. Keyword programming in Java. ASE, 2007.
10. D. Mandelin, L. Xu, R. Bodik, and D. Kimelman. Jungloid mining: Helping to navigate the API jungle. PLDI, 2005.
11. R. O'Callahan and D. Jackson. Lackwit: A program understanding tool based on type inference. ICSE, 1997.
12. S. P. Reiss. Semantics-based code search. ICSE, 2009.
13. M. Rittri and M. Rittri. Retrieving library identifiers via equational matching of types. CADE, 1992.
14. N. Sahavechaphan and K. Claypool. XSnippet: Mining for sample code. OOPSLA, 2006.
15. A. Solar Lezama. Program Synthesis By Sketching. PhD thesis, EECS Department, University of California, Berkeley, Dec 2008.
16. A. Solar-Lezama. The sketching approach to program synthesis. APLAS, 2009.
17. S. Thummalapenta and T. Xie. PARSEWeb: A programmer assistant for reusing open source code on the web. ASE, 2007.
18. Y. Ye and G. Fischer. Supporting reuse by delivering task-relevant and personalized information. ICSE, 2002.
19. K. Yessenov, Z. Xu, and A. Solar-Lezama. Data-driven synthesis for object-oriented frameworks. OOPSLA, 2011.
20. A. M. Zaremski and J. M. Wing. Signature matching: A tool for using software libraries. ACM Trans. Softw. Eng. Methodol., April 1995.
21. A. M. Zaremski and J. M. Wing. Specification matching of software components. ACM Trans. Softw. Eng. Methodol., 6:333-369, 1996.