Abstract:
Delimited continuations are a tool for expressing complex control flow, and they are supported in languages of different paradigms. To ensure safety of languages with delimited continuations, it is important to develop a mathematical formalization of those languages. In this paper, we formalize an object-oriented language with delimited control operators shift and reset. Our approach is to represent continuations as $\lambda$-expressions. This allows us to treat continuations as first-class values, but it also increases the complexity of programs due to Java’s requirement for type annotations.
Reference:
Formalizing an Object-Oriented Programming Language with Delimited Control (Akane Taniguchi, Youyou Cong and Hidehiko Masuhara), Talk at the 36th Symposium on Implementation and Application of Functional Languages (IFL 2024), 2024.
Bibtex Entry:
@misc{akane2024ifl,
author = {Akane Taniguchi and Youyou Cong and Hidehiko Masuhara},
title = {Formalizing an Object-Oriented Programming Language with Delimited Control},
year = 2024,
month = aug,
url = {https://ifl24.cs.ru.nl/},
pdf = {ifl2024akane.pdf},
slides = {ifl2024akane-slides.pdf},
abstract = {Delimited continuations are a tool for expressing complex control flow, and they are supported in languages of different paradigms. To ensure safety of languages with delimited continuations, it is important to develop a mathematical formalization of those languages. In this paper, we formalize an object-oriented language with delimited control operators shift and reset. Our approach is to represent continuations as $\lambda$-expressions. This allows us to treat continuations as first-class values, but it also increases the complexity of programs due to Java’s requirement for type annotations.},
howpublished = {Talk at the 36th Symposium on Implementation and Application of Functional Languages (IFL 2024)}
}