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

Sun 14 - Sat 20 January 2024 London, United Kingdom

Who

Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis

Track

PEPM 2024

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 16 Jan 2024 17:00 - 17:30 at Haslett Room - History of PEPM Chair(s): Fritz Henglein

Abstract

This paper presents some ideas concerning
program manipulation and program transformation from the
early days of their development.
Particular emphasis will be given to
program transformation techniques in the area of functional
programming and constraint logic programming.
We will also indicate current applications of program transformation
techniques to the verification of program properties and program
synthesis.

DOI

https://doi.org/10.1145/3635800.3637446

Alberto Pettorossi

University of Rome Tor Vergata; IASI-CNR

Italy

Maurizio Proietti

IASI-CNR

Italy

Fabio Fioravanti

University of Chieti-Pescara

Italy

Emanuele De Angelis

IASI-CNR

Italy

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Tue 16 Jan
Displayed time zone: London change

16:00 - 18:30	History of PEPMPEPM at Haslett Room Chair(s): Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital

16:00 30m Talk		In memoriam Neil Deaton Jones PEPM Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital DOI
16:30 30m Talk		The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution) PEPM Peter Sestoft IT University of Copenhagen, Harald Sondergaard The University of Melbourne DOI
17:00 30m Talk		A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) PEPM Alberto Pettorossi University of Rome Tor Vergata; IASI-CNR, Maurizio Proietti IASI-CNR, Fabio Fioravanti University of Chieti-Pescara, Emanuele De Angelis IASI-CNR DOI
17:30 30m Talk		Incremental Computation: What Is the Essence? (Invited Contribution)Remote PEPM Y. Annie Liu Stony Brook University DOI
18:00 30m Meeting		Informal discussion on history and future of PEPM PEPM