Volltext-Downloads (blau) und Frontdoor-Views (grau)

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.show moreshow less

Export metadata

Additional Services

Search Google Scholar

Statistics

frontdoor_oas
Metadaten
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):License LogoUrheberrechtlich geschützt