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:06] – [CC7110 - Presentaciones finales] 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 160: | Line 161: | ||
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:// |