Advances in programming and non-numerical computation

By R. Burstall. 1967

Subfields: Software Engineering

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Software Engineering

1. John K. Feser
2. Işıl Dillig
3. Swarat Chaudhuri

Citations in the corpus

• Synthesizing data structure transformations from input-output examples (2015, methodology): “[] 7→ [[]] [[]] 7→ [] [[], []] 7→ [] [[1, 2, 3] [5, 6]] 7→ [[1, 5], [1, 6], [2, 5], [2, 6], [3, 5], [3, 6]] Remarkably, the program that λ2 synthesizes using these examples is precisely the one given by Barron and Strachey.”