Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Van Muylder, Antoine"'
We propose the first framework for defining relational program logics for arbitrary monadic effects. The framework is embedded within a relational dependent type theory and is highly expressive. At the semantic level, we provide an algebraic presenta
Externí odkaz:
http://arxiv.org/abs/1907.05244
Autor:
HASELWARTER, PHILIPP G., RIVAS, EXEQUIEL, VAN MUYLDER, ANTOINE, WINTERHALTER, THÉO, ABATE, CARMINE, SIDORENCO, NIKOLAJ, HRIŢCU, CĂTĂLIN, MAILLARD, KENJI, SPITTERS, BAS
Publikováno v:
ACM Transactions on Programming Languages & Systems; Sep2023, Vol. 45 Issue 3, p1-61, 61p
Publikováno v:
Artifact Digital Object Group
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=sygma_______::580cc5f0ec4d79c588f1843e17b467c0