search result

Cover von Bringing the WebAssembly Standard up to Speed with SpecTec
Search for this author
Year: 2024
Publisher: New York, ACM
Series: Proceedings of the ACM on Programming Languages; 8. 2024, article 210
Media group: ARTICLE
Cover von Weighted programming
A Programming Paradigm for Specifying Mathematical Models : Article
Search for this author
Year: 2022
Publisher: New York, ACM
Series: Proceedings of the ACM on Programming Languages; 2022, 6
Media group: ARTICLE
Cover von Quantitative strongest post
a calculus for reasoning about the flow of quantitative information : article
Search for this author
Year: 2022
Publisher: New York, ACM
Series: Proceedings of the ACM on Programming Languages; 2022, 6
Media group: ARTICLE
Cover von Object-Oriented Recovery for Non-volatile Memory
article
Search for this author
Year: 2018
Publisher: New York, ACM
Series: Proceedings of the ACM on Programming Languages; 2. 2018, Article 153
Media group: ARTICLE
Cover von Gradual Session Types
article
Search for this author
Year: 2017
Publisher: New York, ACM
Series: Proceedings of the ACM on Programming Languages; 1. 2017 : Article No. 38
Media group: ARTICLE
OPEN V 11.1.0.0