Blar i Faculty of Science and Technology på tidsskrift "ACM Transactions on Programming Languages and Systems"
Viser treff 1-1 av 1
-
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
(Journal article; Peer reviewed, 2024)Formal, mathematically rigorous programming language semantics are the essential prerequisite for the design of logics and calculi that permit automated reasoning about concurrent programs. We propose a novel modular ...