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, UKAdd to Reading ListSource URL: www.macs.hw.ac.ukDownload Document from Source WebsiteFile Size: 204,58 KBShare Document on Facebook |