The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)-Reference-Cited by-同舟云学术

The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)

Published:2024-01-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
language:
Short-container-title:

Author:

Sestoft Peter¹,Søndergaard Harald²

Affiliation:

1. IT University of Copenhagen, Copenhagen, Denmark

2. University of Melbourne, Melbourne, Australia

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3635800.3637445

Reference40 articles.

1. Binding-time analysis and the taming of C pointers

2. A partial evaluator, and its use as a programming tool

3. 1988. Partial Evaluation and Mixed Computation . Proceedings of the IFIP TC2 Workshop, Gammel Avernæ s, Denmark , October 1987 , D. Bjørner, A. P. Ershov, and N. D. Jones (Eds.). North-Holland. 1988. Partial Evaluation and Mixed Computation. Proceedings of the IFIP TC2 Workshop, Gammel Avernæ s, Denmark, October 1987, D. Bjørner, A. P. Ershov, and N. D. Jones (Eds.). North-Holland.

4. Corrado Böhm . 1954. Calculatrices digitales. Du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme. Annali di Matematica Pura ed Applicata, 37 ( 1954 ), 175–217. English translation at https://www.itu.dk/people/sestoft/boehmthesis/ Corrado Böhm. 1954. Calculatrices digitales. Du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme. Annali di Matematica Pura ed Applicata, 37 (1954), 175–217. English translation at https://www.itu.dk/people/sestoft/boehmthesis/

5. Automatic autoprojection of higher order recursive equations