Teoría de tipos y Coq en la enseñanza de programación funcional e imperativa
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una currícula de grado, usando el asistente de pruebas Coq y conceptos del área de Teoría de Tipos. Proponemos un curso/taller de especificación, derivación y verificación de sistemas en los paradigmas de progr...
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2001
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23200 |
| Aporte de: |
| Sumario: | En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una currícula de grado, usando el asistente de pruebas Coq y conceptos del área de Teoría de Tipos. Proponemos un curso/taller de especificación, derivación y verificación de sistemas en los paradigmas de programación funcional e imperativo, que puede también ser adaptado a sistemas reactivos y de tiempo real. |
|---|