Fully abstract from static to gradual
Abstract
What is a good gradual language? Siek et al. have previously proposed the refined criteria, a set of formal ideas that characterize a range of guarantees typically expected from a gradual language. While these go a long way, they are mostly focused on syntactic and type safety properties and fail to characterize how richer semantic properties and reasoning principles that hold in the static language, like non-interference or parametricity for instance, should be upheld in the gradualization.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jan 04, 2021
- Source ID
- 10.1145/3434288
Entities
People
- Amin Timany
- Dominique Devriese
- Koen Jacobs
Organizations
- Aarhus University
- Air Force Office of Scientific Research
- Katholieke Universiteit Leuven
- Vrije Universiteit Brussel