Partial Evaluation: Concepts and Applications
作者： Torben Æ Mogensen
关键词: Computer science 、 Functional programming 、 Programming language 、 Program analysis 、 Program transformation 、 Logical programming 、 Theoretical computer science 、 Metaprogramming 、 Partial evaluation
摘要: This is an introduction to the idea of partial evaluation. It meant be fairly non-technical and focuses mostly on what why rather than how.
springer.com
sci-hub.st 参考文章(22)
John P. Gallagher, Transforming logic programs by specialising interpreters european conference on artificial intelligence. pp. 313- 326 ,(1986)
Akikazu Takeuchi, Koichi Furukawa, Partial Evaluation of Prolog Programs and its Application to Meta Programming. ifip congress. pp. 415- 420 ,(1986)
H. Rasiowa, Introduction to Metamathematics ,(1952)
Peter Holst Andersen, Partial Evaluation Applied to Ray Tracing Software Engineering im Scientific Computing. pp. 78- 85 ,(1996) , 10.1007/978-3-322-85027-0_10
Robert Glück, Ryo Nakashige, Robert Zöchling, Binding-time analysis applied to mathematical algorithms Springer US. pp. 137- 146 ,(1996) , 10.1007/978-0-387-34897-1_14
Jack Belzer, Encyclopedia of Computer Science and Technology ,(1975)
Henning Makholm, Jens P. Secher, Arne J. Glenstrup, C-MIX: Specialization of C Programs Lecture Notes in Computer Science. pp. 108- 154 ,(1998)
Michael Codish, Ehud Shapiro, Compiling or-parallelism into and-parallelism international conference on logic programming. pp. 283- 297 ,(1986) , 10.1007/3-540-16492-8_82
Peter Sestoft, Neil D. Jones, Carsten K. Gomard, Partial evaluation and automatic program generation ,(1993)
Charles Consel, Siau Cheng Khoo, Semantics-directed generation of a Prolog compiler international symposium on programming language implementation and logic programming. pp. 135- 146 ,(1991) , 10.1007/3-540-54444-5_94