Zobrazeno 1 - 10
of 21
pro vyhledávání: '"McDaid, Edward"'
Autor:
McDaid, Edward, McDaid, Sarah
Instruction subsets are heuristics that can reduce the size of the inductive programming search space by tens of orders of magnitude. Comprising many overlapping subsets of different sizes, they serve as predictions of the instructions required to co
Externí odkaz:
http://arxiv.org/abs/2407.00519
Autor:
McDaid, Edward, McDaid, Sarah
Overlapping instruction subsets derived from human originated code have previously been shown to dramatically shrink the inductive programming search space, often by many orders of magnitude. Here we extend the instruction subset approach to consider
Externí odkaz:
http://arxiv.org/abs/2305.13347
Autor:
McDaid, Edward, McDaid, Sarah
Inductive programming frequently relies on some form of search in order to identify candidate solutions. However, the size of the search space limits the use of inductive programming to the production of relatively small programs. If we could somehow
Externí odkaz:
http://arxiv.org/abs/2302.05226
Autor:
McDaid, Edward, McDaid, Sarah
We present an update on the current architecture of the Zoea knowledge-based, Composable Inductive Programming system. The Zoea compiler is built using a modern variant of the black-board architecture. Zoea integrates a large number of knowledge sour
Externí odkaz:
http://arxiv.org/abs/2212.12320
Autor:
McDaid, Edward, McDaid, Sarah
It is believed that mechanisms including intermediate values enable composable inductive programming (CIP) to be used to produce software of any size. We present the results of a study that investigated the relationships between program size, the num
Externí odkaz:
http://arxiv.org/abs/2107.01621
Autor:
McDaid, Edward, McDaid, Sarah
We present Zoea Visual which is a visual programming language based on the Zoea composable inductive programming language. Zoea Visual allows users to create software directly from a specification that resembles a set of functional test cases. Progra
Externí odkaz:
http://arxiv.org/abs/2009.08700
Autor:
McDaid, Edward, McDaid, Sarah
Composable inductive programming as implemented in the Zoea programming language is a simple declarative approach to software development. At the language level it is evident that Zoea is significantly simpler than all mainstream languages. However,
Externí odkaz:
http://arxiv.org/abs/2005.08211
Autor:
McDaid, Edward, McDaid, Sarah
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
Externí odkaz:
http://arxiv.org/abs/1911.08286