Navegando por Autor Feitosa, Samuel da Silva
Mostrando resultados 1 a 6 de 6
| Data do documento | Título | Autor(es) |
|---|---|---|
| 2022 | An intrinsically-typed solution for the list-machine benchmark. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo |
| 2018 | Formal semantics for java-like languages and research opportunities. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
| 2019 | Generating random well-typed Featherweight Java Programs using quickcheck. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
| 2021 | The design of a verified derivative-based parsing tool for regular expressions. | Cardoso, Elton Máximo; Amaro, Maycon José Jorge; Feitosa, Samuel da Silva; Reis, Leonardo Vieira dos Santos; Bois, André Rauber Du; Ribeiro, Rodrigo Geraldo |
| 2020 | Towards an extrinsic formalization of featherweight Java in Agda. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
| 2020 | A type-directed algorithm to generate random well-typed Java 8 programs. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |