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:09] – [Lenguajes Específicos y sus formalizaciones] 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 + * Oxide: https://arxiv.org/abs/1903.00982 
-        * Otro formalismo: https://dl.acm.org/doi/abs/10.1145/3443420 + * Otro formalismo: https://dl.acm.org/doi/abs/10.1145/3443420 
-        * Stacked Borrows: https://plv.mpi-sws.org/rustbelt/stacked-borrows/ + * Stacked Borrows: https://plv.mpi-sws.org/rustbelt/stacked-borrows/ 
-        * GhostCell: https://plv.mpi-sws.org/rustbelt/ghostcell/+ * GhostCell: https://plv.mpi-sws.org/rustbelt/ghostcell/