ManyTypes4TypeScript

Jesse, Kevin; Dévanbu, Prémkumar

doi:10.1145/3524842.3528507

Cited by 5 publications

(1 citation statement)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While initial results appear promising, the long-term operational effectiveness of these tools remains to be seen. At the same time, there is a growing list of concerns about this technology including allegations of intellectual property misuse, bias, lack of transparency, veracity, security, stability, scalability, environmental and social impact [4,5,6]. In this context, the continued investigation of complementary and alternative approaches is prudent.…”

Section: Introduction 11 Backgroundmentioning

confidence: 99%

Knowledge-Based Composable Inductive Programming

McDaid

2021

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Automatic generation of software from some form of specification has been a long standing goal of computer science research. To date successful results have been reported for the production of relatively small programs. This paper presents Zoea which is a simple programming language that allows software to be generated from a specification format that closely resembles a set of automated functional tests. Zoea incorporates a number of advances that enable it to generate software that is large enough to have commercial value. Zoea also allows programs to be composed to form still larger programs. As a result Zoea can be used to produce software of any size and complexity. An overview of the core Zoea language is provided together with a high level description of the symbolic AI based Zoea compiler.

show abstract

Section: Introduction 11 Backgroundmentioning

confidence: 99%