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 and Applied Science > Electronics and Computer Science
Item ID: 250604
Date Deposited: 14 Jun 1999
Last Modified: 02 Mar 2012 13:39
Contributors: Leuschel, M. (Author)
Martens, B. (Author)
Danvy, O. (Editor)
Glück, R. (Editor)
Thiemann, P. (Editor)
Date: 1996
Additional Information: Address: Schlo{\ss}\ Dagstuhl, Germany
Status: Published
Publisher: Springer-Verlag, Berlin
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250604

Actions (login required)

View Item View Item