当前位置:
X-MOL 学术
›
arXiv.cs.PL
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
A Visual Language for Composable Inductive Programming
arXiv - CS - Programming Languages Pub Date : 2020-09-18 , DOI: arxiv-2009.08700 Edward McDaid, Sarah McDaid
arXiv - CS - Programming Languages Pub Date : 2020-09-18 , DOI: arxiv-2009.08700 Edward McDaid, Sarah McDaid
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. Programming with Zoea Visual involves the definition of
a data flow model of test case inputs, optional intermediate values, and
outputs. Data elements are represented visually and can be combined to create
structures of any complexity. Data flows between elements provide additional
information that allows the Zoea compiler to generate larger programs in less
time. This paper includes an overview of the language. The benefits of the
approach and some possible future enhancements are also discussed.
中文翻译:
可组合归纳编程的可视化语言
我们提出了 Zoea Visual,它是一种基于 Zoea 可组合归纳编程语言的可视化编程语言。Zoea Visual 允许用户直接从类似于一组功能测试用例的规范中创建软件。使用 Zoea Visual 编程涉及定义测试用例输入、可选中间值和输出的数据流模型。数据元素以视觉方式表示,可以组合以创建任何复杂性的结构。元素之间的数据流提供了额外的信息,允许 Zoea 编译器在更短的时间内生成更大的程序。本文包括该语言的概述。还讨论了该方法的好处和一些可能的未来改进。
更新日期:2020-09-21
中文翻译:
可组合归纳编程的可视化语言
我们提出了 Zoea Visual,它是一种基于 Zoea 可组合归纳编程语言的可视化编程语言。Zoea Visual 允许用户直接从类似于一组功能测试用例的规范中创建软件。使用 Zoea Visual 编程涉及定义测试用例输入、可选中间值和输出的数据流模型。数据元素以视觉方式表示,可以组合以创建任何复杂性的结构。元素之间的数据流提供了额外的信息,允许 Zoea 编译器在更短的时间内生成更大的程序。本文包括该语言的概述。还讨论了该方法的好处和一些可能的未来改进。