Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System.

David R. Barstow, Elaine Kant

Browse the full ICSE paper archive.