Author: "Koenig, Jérémie" / Journal: proceedings of the acm on programming languages - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Koenig, Jérémie"' showing total 3 results

Start Over Author "Koenig, Jérémie" Journal proceedings of the acm on programming languages

3 results on '"Koenig, Jérémie"'

1. Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules

Author: Zhang, Ling, primary, Wang, Yuting, additional, Wu, Jinhua, additional, Koenig, Jérémie, additional, and Shao, Zhong, additional
Published: 2024
Full Text: View/download PDF

2. Verified compilation of C programs with a nominal memory model

Author: Wang, Yuting, primary, Zhang, Ling, additional, Shao, Zhong, additional, and Koenig, Jérémie, additional
Published: 2022
Full Text: View/download PDF

3. Layered and object-based game semantics

Author: Oliveira Vale, Arthur, primary, Melliès, Paul-André, additional, Shao, Zhong, additional, Koenig, Jérémie, additional, and Stefanesco, Léo, additional
Published: 2022
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results