A Historical Perspective on Program Transformation and Recent Developments

Explore the evolution and current applications of program transformation techniques in this invited talk from the PEPM 2024 conference. Delve into the historical development of program manipulation and transformation, with a focus on functional programming and constraint logic programming. Discover how these techniques are currently applied to program property verification and synthesis. Gain insights from experts Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, and Emanuele De Angelis as they discuss topics including partial evaluation, program specialization, transformation rules and strategies, and program validation. This 33-minute video presentation, sponsored by ACM SIGPLAN, SIGACT, and SIGLOG, offers a comprehensive overview of the field's progression and its modern relevance in computer science.