Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
teaching:cc7110:2023:presentaciones [2023/12/01 09:06] – [CC7110 - Presentaciones finales] smalewskiteaching:cc7110:2023:presentaciones [2023/12/01 09:09] – [Lenguajes Específicos y sus formalizaciones] smalewski
Line 114: Line 114:
  * https://www.rust-lang.org/  * https://www.rust-lang.org/
  * https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf  * https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf
 +        * Oxide: https://arxiv.org/abs/1903.00982
 +        * Otro formalismo: https://dl.acm.org/doi/abs/10.1145/3443420
 +        * Stacked Borrows: https://plv.mpi-sws.org/rustbelt/stacked-borrows/
 +        * GhostCell: https://plv.mpi-sws.org/rustbelt/ghostcell/