Resource-Bounded Partial Evaluation OLIVIER DANVY Computer Science Department, Aarhus University, Aarhus C, Denmark danvy@brics.dk NEVIN HENTZE AT&T Bell Laboratories, Murray Hill, NJ nch@research.att.com KAROLINE MALMKJÃR Computer Science Department, Aarhus University, Aarhus C, Denmark karoline@daimi.aau.dk PARTIAL EVALUATION Due in large part to Neil Jones s Mix project [Jones et al. 1989], the last ten years have seen a renaissance of partial evaluation.1 A partial evaluator is a tool for specializing programs and performing statically known computations. In so doing, it reduces instruction counts and this typically yields faster sometimes substantially faster programs. (In extreme cases, however, adverse cache effects can outweigh instructioncount gains.) Partial evaluation directly addresses the modularity-performance conflict: we can write generic maintainable procedures and use partial evaluation to regain the performance of dedicated code. Partial evaluation can also remove interpretive overheads associated with data structures. For example, consider an I/O formatting procedure such as fprintf in C, which usually is called with a constant control string. By partially evaluating fprintf with respect to this constant, we can remove the over- head of interpreting the string at run time. The costs of partial evaluation are twofold: program size often increases, particularly if many specialized program fragments are
End of preview. The entire article is 4 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/resource-bounded-partial-evaluation-Aw8H0icPxH
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Resource-bounded partial evaluation
Danvy, Olivier; Hentze, Nevin; Malmkjær, Karoline
Follow ACM Computing Surveys (CSUR)
, Volume 28 (2)
Association for Computing Machinery – Jun 1, 1996
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
