First Page | Document Content | |
---|---|---|
![]() Date: 2010-10-22 08:04:48Partial evaluation Algorithm Computing Mathematics Software engineering Static program analysis Termination analysis | Add to Reading List |
![]() | Partial Evaluation Applied to Ray Tracing Peter Holst Andersen January 10, 1995 Contents 1 IntroductionDocID: 1u02h - View Document |
![]() | Compiler Generation by Partial Evaluation Speciale Jesper Jørgensen DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1DocID: 1tRwK - View Document |
![]() | Improving the Static Analysis of Embedded Languages via Partial Evaluation David Herman Philippe MeunierDocID: 1tP8C - View Document |
![]() | Two for the Price of One: Composing Partial Evaluation and Compilation Michael Sperber Peter ThiemannDocID: 1tLLf - View Document |
![]() | Realistic Compilation By Partial Evaluation Michael Sperber Peter Thiemann Wilhelm-Schickard-Institut f¨ur InformatikDocID: 1tI7T - View Document |