Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software
Reference15 articles.
1. Benton, N.: Simple relational correctness proofs for static analyses and program transformations. In: POPL ’04: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 14–25. ACM Press, New York (2004). DOI http://doi.acm.org/10.1145/964001.964003
2. Debois, S.: Imperative program optimization by partial evaluation. In: PEPM ’04: Proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 113–122. ACM Press, New York (2004). DOI http://doi.acm.org/10.1145/1014007.1014019
3. Denning, P.J., Dennis, J.B., Qualitz, J.E.: Machines, Languages, and Computation. Prentice-Hall, Englewood Cliffs (1978)
4. Glück, R., Jørgensen, J.: Generating optimizing specializers. In: Proceedings of the 1994 IEEE International Conference on Computer Languages, pp. 183–194. IEEE Computer Society Press, New York (1994)
5. Lecture Notes in Computer Science;R. Glück,1994
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献