Generating Heap-Bounded Programs in a Functional Setting-Reference-Cited by-同舟云学术

Generating Heap-Bounded Programs in a Functional Setting

Published:2003 Issue: Volume: Page:340-355
ISSN:0302-9743
Container-title:Embedded Software
language:
Short-container-title:

Author:

Taha Walid,Ellner Stephan,Xi Hongwei

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-45212-6_22

Reference29 articles.

1. Barendregt, H.P.: Lambda calculi with types. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, Oxford University Press, Oxford (1991)

2. Benaissa, Z.E.-A., Moggi, E., Taha, W., Sheard, T.: Logical modalities and multi-stage programming. In: Federated Logic Conference (FLoC) Satellite Workshop on Intuitionistic Modal Logics and Applications (IMLA) (1999)

3. Benton, N., Wadler, P.: Linear logic, monads and the lambda calculus. In: The Symposium on Logic in Computer Science (LICS 1996), New Brunswick, IEEE Computer Society Press, Los Alamitos (1996)

4. Lecture Notes in Computer Science;C. Calcagno,2000

5. Crary, K., Weirich, S.: Resource bound certification. In: the Symposium on Principles of Programming Languages (POPL 2000), January 19-21, pp. 184–198. ACM Press, New York (2000)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Synthesizable High Level Hardware Descriptions;New Generation Computing;2010-10

2. Static determination of quantitative resource usage for higher-order programs;ACM SIGPLAN Notices;2010-01-02

3. Vertical Object Layout and Compression for Fixed Heaps;Semantics and Algebraic Specification;2009

4. Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach;Central European Functional Programming School;2006

5. Relating FFTW and Split-Radix;Embedded Software and Systems;2005