Pest: From the lab to the classroom

Automated software verification is an active field of research which has made enormous progress both in theoretical and practical aspects. In recent years, an important effort has been put into applying these techniques on top of mainstream programming languages. These languages typically provide po...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	De Caso, G., Garbervetsky, D., Gorín, D.
Formato:	CONF
Materias:	Eclipse plug-in Language design Teaching Verifiability Active field Aliasing Design drivers First-year Key parts Language features Plug-ins Programming language Software verification Teaching tools Undergraduate students Equipment testing School buildings Students Verification
Acceso en línea:	http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p5_DeCaso
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	todo:paper_02705257_v_n_p5_DeCaso
record_format	dspace
spelling	todo:paper_02705257_v_n_p5_DeCaso2023-10-03T15:14:32Z Pest: From the lab to the classroom De Caso, G. Garbervetsky, D. Gorín, D. Eclipse plug-in Language design Teaching Verifiability Active field Aliasing Design drivers First-year Key parts Language design Language features Plug-ins Programming language Software verification Teaching tools Undergraduate students Verifiability Equipment testing School buildings Students Verification Teaching Automated software verification is an active field of research which has made enormous progress both in theoretical and practical aspects. In recent years, an important effort has been put into applying these techniques on top of mainstream programming languages. These languages typically provide powerful features such as reflection, aliasing and polymorphism which are handy for practitioners but, in contrast, make verification a real challenge. The Pest programming language, on the other hand, was conceived with verifiability as one of its main design drivers. Although its main purpose is to serve as a test bed for new language features, its bare-bones syntax and strong support for annotations suggested early on in its development that it could also serve as a teaching tool for first-year undergraduate students. Developing an Eclipse plug-in for Pest proved to be both cost-effective and a key part to its adoption in the classroom. In this paper, we report on this experience. Copyright 2011 ACM. Fil:De Caso, G. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Garbervetsky, D. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Gorín, D. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p5_DeCaso
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic	Eclipse plug-in Language design Teaching Verifiability Active field Aliasing Design drivers First-year Key parts Language design Language features Plug-ins Programming language Software verification Teaching tools Undergraduate students Verifiability Equipment testing School buildings Students Verification Teaching
spellingShingle	Eclipse plug-in Language design Teaching Verifiability Active field Aliasing Design drivers First-year Key parts Language design Language features Plug-ins Programming language Software verification Teaching tools Undergraduate students Verifiability Equipment testing School buildings Students Verification Teaching De Caso, G. Garbervetsky, D. Gorín, D. Pest: From the lab to the classroom
topic_facet	Eclipse plug-in Language design Teaching Verifiability Active field Aliasing Design drivers First-year Key parts Language design Language features Plug-ins Programming language Software verification Teaching tools Undergraduate students Verifiability Equipment testing School buildings Students Verification Teaching
description	Automated software verification is an active field of research which has made enormous progress both in theoretical and practical aspects. In recent years, an important effort has been put into applying these techniques on top of mainstream programming languages. These languages typically provide powerful features such as reflection, aliasing and polymorphism which are handy for practitioners but, in contrast, make verification a real challenge. The Pest programming language, on the other hand, was conceived with verifiability as one of its main design drivers. Although its main purpose is to serve as a test bed for new language features, its bare-bones syntax and strong support for annotations suggested early on in its development that it could also serve as a teaching tool for first-year undergraduate students. Developing an Eclipse plug-in for Pest proved to be both cost-effective and a key part to its adoption in the classroom. In this paper, we report on this experience. Copyright 2011 ACM.
format	CONF
author	De Caso, G. Garbervetsky, D. Gorín, D.
author_facet	De Caso, G. Garbervetsky, D. Gorín, D.
author_sort	De Caso, G.
title	Pest: From the lab to the classroom
title_short	Pest: From the lab to the classroom
title_full	Pest: From the lab to the classroom
title_fullStr	Pest: From the lab to the classroom
title_full_unstemmed	Pest: From the lab to the classroom
title_sort	pest: from the lab to the classroom
url	http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p5_DeCaso
work_keys_str_mv	AT decasog pestfromthelabtotheclassroom AT garbervetskyd pestfromthelabtotheclassroom AT gorind pestfromthelabtotheclassroom
_version_	1807320786336219136

Pest: From the lab to the classroom

Ejemplares similares