Interactive synthesis of code snippets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6806 LNCS, Issue , 2011, Pages 418-423

  Gvero, Tihomir ^a   Kuncak, Viktor ^a   Piskac, Ruzica ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

CODE FRAGMENTS; LIBRARY FUNCTIONS; POLYMORPHIC TYPES; PROGRAM POINTS; PROGRAMMING TASKS; SOFTWARE SYNTHESIS; TEST CASE;

COMPUTER AIDED ANALYSIS; USER INTERFACES;

THEOREM PROVING;

EID: 79960363897     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22110-1_33     Document Type: Conference Paper

References (8)

1. Bachmair, L., Ganzinger, H.: Resolution theorem proving. Handbook of Automated Reasoning, 19-99 (2001)
2. Aemon Cannon. Ensime. Retrieved 20 April (2011), https://github.com/ aemoncannon/ensime/
3. Damas, L., Milner, R.: Principal type-schemes for functional programs. In: POPL (1982)
4. Jha, S., Gulwani, S., Seshia, S.A., Tiwari, A.: Oracle-guided component-based program synthesis. In: ICSE, vol. 1 (2010)
5. Manna, Z., Waldinger, R.: A deductive approach to program synthesis. ACM Trans. Program. Lang. Syst. 2(1), 90-121 (1980)
6. Mandelin, D., Xu, L., Bodík, R., Kimelman, D.: Jungloid mining: helping to navigate the API jungle. In: PLDI (2005)
7. Odersky, M., Spoon, L., Venners, B.: Programming in Scala: a comprehensive step-by-step guide. Artima Press (2008)
8. Sahavechaphan, N., Claypool, K.: Xsnippet: mining for sample code. In: OOPSLA (2006)