Simposio Latinoamericano de Teoría Computacional
09:00 – 09:30 – SLTC – Z
- ID: 86
Autor: Samuel Feitosa, Rodrigo Geraldo Ribeiro and Andre Rauber Du Bois
Artículo: Towards an Extrinsic Formalization of Featherweight Java in Agda - ID: 95
Autor: Elton Máximo Cardoso, Rodrigo Ribeiro, Samuel Feitosa, Leonardo Vieira Dos Santos Reis and Andre Rauber Du Bois
Artículo: The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions - ID: 141
Autor: Guillermo Calderón
Artículo: Formalizing Affinization of a Projective Plane in Agda