Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis Andrew Ireland and Jamie Stark School of Mathematical - Educational Publishing House - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2004-11-10 10:59:34		Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis Andrew Ireland and Jamie Stark School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UK Add to Reading List Source URL: www.macs.hw.ac.uk Download Document from Source Website File Size: 204,58 KB Share Document on Facebook