Semantic preservation for a type directed translation scheme of Featherweight Go
- Featherweight Go (FG) is a minimal core calculus that includes essential Go features such as overloaded methods and interface types. The most straightforward semantic description of the dynamic behavior of FG programs is to resolve method calls based on run-time type information. A more efficient approach is to apply a type-directed translation scheme where interface-values are replaced byFeatherweight Go (FG) is a minimal core calculus that includes essential Go features such as overloaded methods and interface types. The most straightforward semantic description of the dynamic behavior of FG programs is to resolve method calls based on run-time type information. A more efficient approach is to apply a type-directed translation scheme where interface-values are replaced by dictionaries that contain concrete method definitions. Thus, method calls can be resolved by a simple lookup of the method definition in the dictionary. Establishing that the target program obtained via the type-directed translation scheme preserves the semantics of the original FG program is an important task. To establish this property we employ logical relations that are indexed by types to relate source and target programs. We provide rigorous proofs and give a detailed discussion of the many subtle corners that we have encountered including the need for a step index due to recursive inter- faces and method definitions.…
Document Type: | Conference Proceeding |
---|---|
Conference Type: | Konferenzartikel |
Zitierlink: | https://opus.hs-offenburg.de/6391 | Bibliografische Angaben |
Title (English): | Semantic preservation for a type directed translation scheme of Featherweight Go |
Conference: | MPC: International Conference on Mathematics of Program Construction (14. : September 26-28, 2022 : Tbilisi, Georgia) |
Author: | Martin Sulzmann, Stefan WehrStaff MemberGND |
Edition: | 1. |
Year of Publication: | 2022 |
Date of first Publication: | 2022/09/22 |
Place of publication: | Cham |
Publisher: | Springer |
First Page: | 178 |
Last Page: | 197 |
Parent Title (English): | Mathematics of Program Construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings |
Editor: | Ekaterina Komendantskaya |
Volume: | LNCS 13544 |
ISBN: | 978-3-031-16911-3 (Softcover) |
ISBN: | 978-3-031-16912-0 (eBook) |
ISSN: | 0302-9743 |
ISSN: | 1611-3349 (E-ISSN) |
DOI: | https://doi.org/10.1007/978-3-031-16912-0_7 |
Language: | English | Inhaltliche Informationen |
Institutes: | Fakultät Elektrotechnik, Medizintechnik und Informatik (EMI) (ab 04/2019) |
Institutes: | Bibliografie |
Tag: | Featherweight Go; dictionary passing; programming languages; semantics | Formale Angaben |
Relevance: | Konferenzbeitrag: h5-Index < 30 |
Open Access: | Closed |
Licence (German): | Urheberrechtlich geschützt |