{"type":"ScholarlyArticle","title":"META-INTERPRETATION OF RECURSIVE LIST-PROCESSING PROGRAMS","authors":[{"name":"Daniel Goossens","slug":"daniel-goossens","given":"Daniel","family":"Goossens","affiliation":""}],"abstract":"Presented is an implemented program understanding system called CAN. CAN relies on a meta-interpretation process uhich brings to light tuo neu concepts concerning meta-interpretation of recursive programs: vicious circles and constructive i nduction. These notions express CAN's ability to extract from program code classes of data for uhich interpretation of the code uould not stop, and in general, to relate classes of data uith abstract values and environments.","doi":null,"url":"https://ijcai.org/proceedings/1979/237","pdf":"https://ijcai.org/proceedings/1979/0237.pdf","markdown":"https://ijcai.org/proceedings/1979/237.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/237","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":237,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}