A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)-Reference-Cited by-同舟云学术

A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)

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

Author:

Pettorossi Alberto¹,Proietti Maurizio²,Fioravanti Fabio³,De Angelis Emanuele²

Affiliation:

1. University of Rome Tor Vergata, Rome, Italy / IASI-CNR, Rome, Italy

2. IASI-CNR, Rome, Italy

3. University, Chieti-Pescara, Italy

Publisher

ACM

Link

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

Reference55 articles.

1. Gregory R. Andrews . 1991 . Concurrent Programming: Principles and Practice . Addison-Wesley . Gregory R. Andrews. 1991. Concurrent Programming: Principles and Practice. Addison-Wesley.

2. Krzysztof R. Apt and Marc Bezem. 1990 . Acyclic Programs. In Proceedings of the 7th International Conference on Logic Programming , Jerusalem, Israel, D.H.D. Warren and P. Szeredi (Eds.). MIT Press, 617–633. Krzysztof R. Apt and Marc Bezem. 1990. Acyclic Programs. In Proceedings of the 7th International Conference on Logic Programming, Jerusalem, Israel, D.H.D. Warren and P. Szeredi (Eds.). MIT Press, 617–633.

3. Logic programming and negation: A survey

4. Jean-Michel Autebert , Jean Berstel , and Luc Boasson . 1997. Context-Free Languages and Pushdown Automata . In Handbook of Formal Languages , G. Rozenberg and A. Salomaa (Eds.). 1, Springer-Verlag , Berlin . 111–174. Jean-Michel Autebert, Jean Berstel, and Luc Boasson. 1997. Context-Free Languages and Pushdown Automata. In Handbook of Formal Languages, G. Rozenberg and A. Salomaa (Eds.). 1, Springer-Verlag, Berlin. 111–174.

5. Can Programming Be Liberated from the von Neumann Style;Backus John;A Functional Style and Its Algebra of Programs. Commun. ACM,1978