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
id I19-R120-10915-23200
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Coq
formación del profesorado
Real time
Teoría de Tipos
Learning
Enseñanza de Programación
spellingShingle Ciencias Informáticas
Coq
formación del profesorado
Real time
Teoría de Tipos
Learning
Enseñanza de Programación
Martellotto, Paola
Novaira, Maria Marta
Bongiovanni, Mónica
Luna, Carlos Daniel
Teoría de tipos y Coq en la enseñanza de programación funcional e imperativa
topic_facet Ciencias Informáticas
Coq
formación del profesorado
Real time
Teoría de Tipos
Learning
Enseñanza de Programación
description 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.
format Objeto de conferencia
Objeto de conferencia
author Martellotto, Paola
Novaira, Maria Marta
Bongiovanni, Mónica
Luna, Carlos Daniel
author_facet Martellotto, Paola
Novaira, Maria Marta
Bongiovanni, Mónica
Luna, Carlos Daniel
author_sort Martellotto, Paola
title Teoría de tipos y Coq en la enseñanza de programación funcional e imperativa
title_short Teoría de tipos y Coq en la enseñanza de programación funcional e imperativa
title_full Teoría de tipos y Coq en la enseñanza de programación funcional e imperativa
title_fullStr Teoría de tipos y Coq en la enseñanza de programación funcional e imperativa
title_full_unstemmed Teoría de tipos y Coq en la enseñanza de programación funcional e imperativa
title_sort teoría de tipos y coq en la enseñanza de programación funcional e imperativa
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/23200
work_keys_str_mv AT martellottopaola teoriadetiposycoqenlaensenanzadeprogramacionfuncionaleimperativa
AT novairamariamarta teoriadetiposycoqenlaensenanzadeprogramacionfuncionaleimperativa
AT bongiovannimonica teoriadetiposycoqenlaensenanzadeprogramacionfuncionaleimperativa
AT lunacarlosdaniel teoriadetiposycoqenlaensenanzadeprogramacionfuncionaleimperativa
bdutipo_str Repositorios
_version_ 1764820465882234880

Ejemplares similares