|
|||||
|
|
A Simple CPS Transformation of Control-Flow Information |
|
| Authors: | Damian, Daniel Danvy, Olivier |
| Affiliation: | 1 LION Bioscience Ltd. Compass House, 80-82 Newmarket Road, Cambridge CB5 8DZ, United Kingdom. E-mail: Daniel.Damian{at}uk.lionbioscience.com, 2 BRICS, Department of Computer Science, University of Aarhus, Ny Munkegade, Building 540, DK-8000 Aarhus C, Denmark. E-mail: danvy{at}brics.dk |
| Abstract: | |
| Keywords: | Program analysis Control-flow analysis Constraints Continuations Continuation-passing style (CPS) CPS transformation Administrative reductions One-pass CPS transformation |
| 本文献已被 Oxford 等数据库收录！ | |