Travelled to:1 × Spain
2 × USA
Collaborated with:R.Strandh I.Durand T.Metzemakers A.Miniussi
Talks about:program (3) equat (3) partial (2) unfold (2) evalu (2) use (2) intermedi (1) strategi (1) arithmet (1) perform (1)
Person: David Sherman
DBLP: Sherman:David
Contributed to:
1994
19921991
1991Wrote 4 papers:
- PLILP-1994-MetzemakersMSS #performance #using
- Improving Arithmetic Performance using Fine-Grain Unfolding (TM, AM, DS, RS), pp. 324–339.
- PEPM-1992-ShermanS #equation #logic programming #source code
- Call Unfolding Strategies for Equational Logic Programs (DS, RS), pp. 48–53.
- PEPM-1991-ShermanSD #equation #optimisation #partial evaluation #source code #using
- Optimization of Equational Programs Using Partial Evaluation (DS, RS, ID), pp. 72–82.
- WSA-1991-DurandSS #equation #partial evaluation #source code
- Partial Evaluation of an Intermediate Language for Equational Programs (ID, DS, RS), pp. 98–106.