FJQuantum–A quantum object oriented language SS Feitosa, JK Vizzotto, EK Piveta, AR Du Bois Electronic Notes in Theoretical Computer Science 324, 67-77, 2016 | 10 | 2016 |
A type-directed algorithm to generate random well-typed Java 8 programs S Feitosa, R Ribeiro, A Du Bois Science of Computer Programming 196, 102494, 2020 | 6 | 2020 |
Generating Random Well-Typed Featherweight Java Programs Using QuickCheck S da Silva Feitosa, RG Ribeiro, AR Du Bois Electronic Notes in Theoretical Computer Science 342, 3-20, 2019 | 4 | 2019 |
Uma linguagem de programação quântica orientada a objetos baseada no Featherweight Java SS Feitosa | 4 | 2016 |
Towards Typed Semantics for Parsing Expression Grammars R Ribeiro, LVS Reis, S Feitosa, EM Cardoso Proceedings of the XXIII Brazilian Symposium on Programming Languages, 70-77, 2019 | 3 | 2019 |
An intrinsically-typed solution for the list-machine benchmark S Feitosa, R Ribeiro Journal of Computer Languages 68, 101085, 2022 | 2 | 2022 |
Desenvolvimento de um gerador de programas aleatórios em java LF Kraus, B Schafaschek, S da Silva Feitosa Anais do Computer on the Beach 12, 485-487, 2021 | 2 | 2021 |
The design of a verified derivative-based parsing tool for regular expressions. EM Cardoso, MJJ Amaro, SS Feitosa, LVS Reis, ARD Bois, RG Ribeiro | 2 | 2021 |
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs SS Feitosa, RG Ribeiro, A Rauber Du Bois Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF …, 2018 | 2 | 2018 |
Representing Intuistionistic Fuzzy Bi-implications Using Quantum Computing L Agostini, S Feitosa, A Avila, R Reiser, A DuBois, M Pilla Fuzzy Information Processing: 37th Conference of the North American Fuzzy …, 2018 | 2 | 2018 |
Mecânica Quântica: da Física para a Computação SS Feitosa, CL Nogueira, JK Vizzotto Revista ComInG-Communications and Innovations Gazette 1 (1), 46-56, 2016 | 2 | 2016 |
A Monadic Semantics for Quantum Computing in Featherweight Java S da Silva Feitosa, JK Vizzotto, EK Piveta, AR Du Bois Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil …, 2016 | 2 | 2016 |
A sound strategy to compile general recursion into finite depth pattern matching MJJ Amaro, SS Feitosa, RG Ribeiro Brazilian Symposium on Formal Methods, 39-54, 2022 | 1 | 2022 |
Synthesis of random real-world java programs from preexisting libraries LF Kraus, B Schafaschek, RG Ribeiro, S da Silva Feitosa Proceedings of the 25th Brazilian Symposium on Programming Languages, 108-115, 2021 | 1 | 2021 |
An Intrinsically-Typed Solution for the List-Machine Benchmark S Feitosa, R Ribeiro Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming …, 2020 | 1 | 2020 |
Aprendendo Conceitos de Orientação a Objetos Usando as Ferramentas Scratch e Snap! S da Silva Feitosa, RL Comarella Anais do Computer on the Beach 11 (1), 490-496, 2020 | 1 | 2020 |
Latinder-Modernizando Adoções de Animais Pets B Musskopf, F de Souza, I Schmidt, L Silva, N Wojeicchowski, N Abatti, ... Anais do Computer on the Beach 11 (1), 571-575, 2020 | 1 | 2020 |
A monadic semantics for quantum computing in an object oriented language S da Silva Feitosa, JK Vizzotto, EK Piveta, AR Du Bois Science of Computer Programming 173, 37-55, 2019 | 1 | 2019 |
Property-based testing for lambda expressions semantics in featherweight Java S da Silva Feitosa, RG Ribeiro, AR Du Bois Proceedings of the XXII Brazilian Symposium on Programming Languages, 43-50, 2018 | 1 | 2018 |
Formal semantics for java-like languages and research opportunities. SS Feitosa, RG Ribeiro, ARD Bois | 1 | 2018 |