Browsing by Author Bois, André Rauber Du

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 4 of 4
Issue DateTitleAuthor(s)
2018Formal semantics for java-like languages and research opportunities.Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2019Generating random well-typed Featherweight Java Programs using quickcheck.Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2020A mechanized proof of a textbook type unification algorithm.Amaro, Maycon José Jorge; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2020A type-directed algorithm to generate random well-typed Java 8 programs.Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du