Papers matching “programming language standards” 15
Not finding it? Sign in to also search OpenAlex live.
-
A Deductive Verification Infrastructure for Probabilistic Programs2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
22citations -
A Model-Driven Approach to Design, Generation, and Deployment of GUI Component Libraries2025 ACM SIGPLAN International Conference on Software Language Engineering (SLE) conference-paper Computer Science Model-Driven Software Engineering Techniques Open access
Arkadii Gerasimov, Nico Jansen, Judith Michael, Bernhard Rumpe⋆
2citations
15 results