Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
| teaching:cc7110:2023:presentaciones [2023/11/21 12:57] – [Lenguajes Específicos y sus formalizaciones] smalewski | teaching:cc7110:2023:presentaciones [2023/12/01 09:09] – [Lenguajes Específicos y sus formalizaciones] smalewski | ||
|---|---|---|---|
| Line 8: | Line 8: | ||
| ===Presentaciones=== | ===Presentaciones=== | ||
| * Cada presentación es individual | * Cada presentación es individual | ||
| - | * Las presentaciones deben durar 15 minutos | + | * Las presentaciones deben durar al rededor de 15 minutos |
| - introducción (3 min) | - introducción (3 min) | ||
| - motivación (5 min): Demostración de la utilidad del sistema/ | - motivación (5 min): Demostración de la utilidad del sistema/ | ||
| Line 15: | Line 15: | ||
| ===Evaluación=== | ===Evaluación=== | ||
| - | * se considerará su presentación (50%), manejo de las preguntas (25%), y su participación general en el workshop (25%) | + | * Se considerará su presentación (50%), manejo de las preguntas (25%), y su participación general en el workshop (25%) |
| + | * Deben demostrar que son capaces de leer, entender, explicar y presentar sobre sistemas formales, por lo que no se aceptarán presentaciones que no incluyan reglas de tipado o reducción. | ||
| ---- | ---- | ||
| Line 113: | Line 114: | ||
| * https:// | * https:// | ||
| * https:// | * https:// | ||
| + | * Oxide: https:// | ||
| + | * Otro formalismo: https:// | ||
| + | * Stacked Borrows: https:// | ||
| + | * GhostCell: https:// | ||
| Line 160: | Line 165: | ||
| Featherweight Java (FJ) es una formalización de una versión muy simplificada de Java usada para investigar y demostrar conceptos fundamentales de la programación orientada a objetos, como herencia y polimorfismo. | Featherweight Java (FJ) es una formalización de una versión muy simplificada de Java usada para investigar y demostrar conceptos fundamentales de la programación orientada a objetos, como herencia y polimorfismo. | ||
| - | * Featherweight Java: A minimal core calculus for Java and GJ [[https:// | + | * Featherweight Java: A minimal core calculus for Java and GJ [[https:// |