A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
This result together with a result relating the efficiency of "pointers versus addresses" (Ben-Amram and Galil) and a proof that "constant time factors do matter" (Jones) have inspired considerable interest in this topic. However, the area is still in a nascent stage. The intent of this workshop was bring together: Semanticists interested in operational models of programming languages, expressiveness, intensional properties, etc. Program transformers and analysts interested in program executiondoi:10.4230/dagsemrep.213 fatcat:j3wgtbf5ufb6flypjmweaswdsu