No Assembly Required: Compiling ML to C DAVID and ANURAG ACHARYA TARDITI, PETER LEE. Standard Carnegie Mellon University C has have ML been used as a portable efforts on portability making such target and language these tail The proper style that for implementing languages recursion. compilation compiler by and We also advanced We languages produced how show like Standard ML and Scheme. Previous at compiling compromises. to C have effkient code, but Standard compilthat is and that compiler compromised to C without ML a factor highly that language to compile and then technique achieves features is based on converting speed The collection Standard ing this about generates first-class tion would to a continuation-passing to C. The of two portable lead slower than A-calculus by this intermediate a native determine suggest language code like the compiler. code generated still an execution garbage aspects generated supports code, yet We analyze continuations. support and the performance slowdown. methods. D.3.2 [Programming of the compila- method better to the such observed changes to C compilers compilation Categories tions; General Additional Standard D.3.4 Subject Descriptors: Languages]: Language Classifica- [Programming Languages Words and Languages]: Processors compilers Terms: Key ML Phrases: Compilation to C, continuation-passing style,
End of preview. The entire article is 17 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/no-assembly-required-compiling-standard-ml-to-c-5Dseftru6g
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
No assembly required: compiling standard ML to C
Tarditi, David; Lee, Peter; Acharya, Anurag
Follow ACM Letters on Programming Languages and Systems (LOPLAS)
, Volume 1 (2)
Association for Computing Machinery – Jun 1, 1992
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
