Author:
Bagge Anya Helene,Haveraaen Magne
Subject
General Computer Science,Theoretical Computer Science
Reference13 articles.
1. Compilers — Principles, Techniques, and Tools;Aho,1986
2. Axiom-based transformations: Optimisation and testing;Bagge;ENTCS,2008
3. An algebraic programming style for numerical software and its optimization;Dinesh;Scientific Programming,2000
4. Gifford, D. K. and J. M. Lucassen, Integrating functional and imperative programming, in: LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 28–38.
5. Gopinath, K. and J. L. Hennessy, Copy elimination in functional languages, in: POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 303–314.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Vision: the next 700 language workbenches;Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering;2021-10-17
2. Managing facts and resources with the Pica IDE infrastructure library;Science of Computer Programming;2017-02
3. Specification of generic APIs, or;ACM SIGAda Ada Letters;2014-11-26