Global Control for Partial Deduction through Characteristic Atoms and Global Trees


Leuschel, M. and Martens, B. (1996) Global Control for Partial Deduction through Characteristic Atoms and Global Trees. Proc. Dagstuhl Seminar on Partial Evaluation, LNCS 1110 Springer-Verlag, Berlin, 263-283.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Additional Information: Address: Schlo{\ss}\ Dagstuhl, Germany
ISBNs: 3540615806
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 250604
Date Deposited: 14 Jun 1999
Last Modified: 27 Mar 2014 19:51
Publisher: Springer-Verlag, Berlin
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250604

Actions (login required)

View Item View Item