Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Keizer, Alex"'
There is an increasing need for domain-specific reasoning in modern compilers. This has fueled the use of tailored intermediate representations (IRs) based on static single assignment (SSA), like in the MLIR compiler framework. Interactive theorem pr
Externí odkaz:
http://arxiv.org/abs/2407.03685
Compositional methods are central to the development and verification of software systems. They allow to break down large systems into smaller components, while enabling reasoning about the behaviour of the composed system. For concurrent and communi
Externí odkaz:
http://arxiv.org/abs/2011.05712
Autor:
KEIZER, ALEX C.1 alex@keizer.dev, BASOLD, HENNING2 h.basold@liacs.leidenuniv.nl, PÉREZ, JORGE A.3 j.a.perez@rug.nl
Publikováno v:
ACM Transactions on Programming Languages & Systems. Jul2022, Vol. 44 Issue 3, p1-45. 45p.
