A System which Synthesizes Array-Manipulating Programs from Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michel Bidoit, Christian Gresse, Gérard D. Guiho. A System which Synthesizes Array-Manipulating Programs from Specifications. In Bruce G. Buchanan, editor, Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes. pages 63-65, William Kaufmann, 1979.

This author has not been identified. Look up 'Michel Bidoit' in GoogleThis author has not been identified. Look up 'Christian Gresse' in GoogleThis author has not been identified. Look up 'Gérard D. Guiho' in Google

runs on WebDSL