Open AccessInductive Synthesis of Functional Programs
Author(s) -
Ute Schmid
Publication year - 2003
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
eISSN - 1611-3349
pISSN - 0302-9743
DOI - 10.1007/b12055
Subject(s) - computer science , programming language , program synthesis , code (set theory) , set (abstract data type)
Programming and Data Type Change. Burstall and Darlington (1977) also demonstrated how vertical program transformation can be realized by transforming abstract programs, defined on high-level, abstract data types, into concrete programs defined on concrete data. Again, we illustrate the approach with an example. Given is the abstract data type of labeled trees:
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom