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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Martellotto, Paola, Novaira, Maria Marta, Bongiovanni, Mónica, Luna, Carlos Daniel
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
Coq
formación del profesorado
Real time
Teoría de Tipos
Learning
Enseñanza de Programación
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23200
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares