Author:
Bagge Anya Helene,Haveraaen Magne
Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. Domain-specific optimisation with user-defined rules in CodeBoost;Bagge;Electronic Notes in Theoretical Computer Science,2003
2. Borovanský, P., C. Kirchner, H. Kirchner, P.-E. Moreau and C. Ringeissen, An overview of ELAN, in: C. and H. Kirchner, editors, Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications (1998)
3. The TAMPR program transformation system: Simplifying the development of numerical software;Boyle,1997
4. Bravenboer, M., K.T. Kalleberg, R. Vermaas and E. Visser, Stratego/XT 0.16: Components for transformation systems, in: F. Tip and J. Hatcliff, editors, PEPM'06: Workshop on Partial Evaluation and Program Manipulation (2006)
5. Claessen, K. and J. Hughes, QuickCheck: a lightweight tool for random testing of Haskell programs, in: ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000), pp. 268–279
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献