2 papers
cs.DC2020
Hints and Principles for Computer System Design
Butler Lampson
This new long version of my 1983 paper suggests the goals you might have for your system -- Simple, Timely, Efficient, Adaptable, Dependable, Yummy (STEADY) -- and techniques for a…
cs.AI2012
Textual Features for Programming by Example
Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani +2
In Programming by Example, a system attempts to infer a program from input and output examples, generally by searching for a composition of certain base functions. Performing a nai…