Logic Based Program Synthesis and Transformation, Proceedings of LOPSTR'02, Revised Selected Papers
(2002) Logic Based Program Synthesis and Transformation, Proceedings of LOPSTR'02, Revised Selected Papers. Logic Based Program Synthesis and Transformation LOPSTR'02, Madrid, Spain, 17 - 20 Sep 2002. Springer-Verlag.
Download
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Event Dates: 17-20 September 2002 |
| ISBNs: | 3540404384 |
| ISSNs: | 0302-9743 |
| Related URLs: | |
| Keywords: | Logic Programming, Transformation, Synthesis, Partial Evaluation, Program Specialisation, Program Analysis, Termination, Abstract Interpretation, Refinement |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 257669 |
| Date Deposited: | 12 Jun 2003 |
| Last Modified: | 01 Mar 2012 10:52 |
| Contributors: | Leuschel, Michael (Editor) |
| Date: | 2002 |
| Additional Information: | Event Dates: 17-20 September 2002 |
| Status: | Published |
| Publisher: | Springer-Verlag |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/257669 |
Actions (login required)
 |
View Item |
