| |
Reviews about "Automatic Programming (D.1.2)":
|
Platform-dependent code generation for embedded real-time software
Kim B., Phan L., Sokolsky O., Lee I. ICCPS 2013 (Proceedings of the 2013 International Conference on Compilers, Architectures and Synthesis for Embedded Systems, Montreal, QC, Canada, 1-10, 2013. Type: Proceedings
|
Morphing: structurally shaping a class by reflecting on others
Huang S., Smaragdakis Y. ACM Transactions on Programming Languages and Systems 33(2): 1-44, 2011. Type: Article
|
I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP
Hofmann M., Kitzelmann E. PEPM 2010 (Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Madrid, Spain, Jan 18-19, 2010) 93-100, 2010. Type: Proceedings
|
Optimizations for quadrature representations of finite element tensors through automated code generation
Ølgaard K., Wells G. ACM Transactions on Mathematical Software 37(1): 1-23, 2010. Type: Article
|
Specialization for applications using shared libraries
Zhu P., Khoo S. Partial evaluation and semantics-based program manipulation (Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, San Francisco, California, Jan 7-8, 2008) 159-168, 2008. Type: Proceedings
|
Termination analysis and specialization-point insertion in offline partial evaluation
Glenstrup A., Jones N. ACM Transactions on Programming Languages and Systems 27(6): 1147-1215, 2005. Type: Article
|
A framework for the integration of partial evaluation and abstract interpretation of logic programs
Leuschel M. ACM Transactions on Programming Languages and Systems 26(3): 413-463, 2004. Type: Article
|
more...
|
|
|
|
