Work

A type-directed algorithm to generate random well-typed Java 8 programs

Year: 2020

Type: article

Source: Science of Computer Programming

DOI: 10.1016/j.scico.2020.102494

Authors: Samuel Feitosa, Rodrigo Ribeiro, Andre Du Bois

Institutions: Universidade Federal de Pelotas, Universidade Federal de Ouro Preto

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Award: G5249134567

OpenAlex ID: W3031408362

FWCI: 1.12

Cites: 40

Cited by: 9

Related to: 10