Back to Results
First PageMeta Content



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

Document Date: 2004-11-10 10:59:34

Open Document

File Size: 204,58 KB

Share Result on Facebook