首页 > 《计算机科学技术学报：英文版》 > 1991年1期 > A Knowledge—Based Approach to Program Synthesis from Examples

A Knowledge—Based Approach to Program Synthesis from Examples

打印

在线阅读下载PDF 导出详情

摘要 ThispaperproposesanapproachtosynthesizefunctionalprogramsofBackus'FPsystem^[1,2]frominput/outputinstances.Basedonatheoryoforthogonalexpansionofprograms^3[,4],thetaskofprogramsynthesisisexpressedinprogramequations,andfulfilledbysolvingthemaccordingtotheknowledgeabouttheequivalencebetweenprograms.Somegeneralknowledgeofsolvingprogramequationswithanumberofexamplesaregiveninthepaper.

DOI 2d3wq787j9/1916919

作者朱鸿;金凌紫

机构地区不详

出处《计算机科学技术学报：英文版》 1991年1期

关键词程序设计程序合成程序方程式

分类 [自动化与计算机技术][计算机科学与技术]

出版日期 1991年01月11日（中国Betway体育网页登陆平台首次上网日期，不代表论文的发表时间）

相关文献

1Zhang Jing Hu Xuegang Zhang Bin.AN EVALUATION APPROACH FOR THE PROGRAM OF ASSOCIATION RULES ALGORITHM BASED ON METAMORPHIC RELATIONS.物理电子学,2011-04.
2Yukihiro YAMASHITA;Yoshiteru NAKAMORI;Andrzej P. WIERZBICKI.KNOWLEDGE SYNTHESIS IN TECHNOLOGY DEVELOPMENT.系统科学,2009-02.
3Hung-Chih Hsueh;Jung-Yi Jiang;Jen-Sheng Tsai;Wen-Hao Tsai;Kuan-Rong Lee;Yau-Hwang Kuo.Fuzzy-Based Knowledge Discovery from Heterogeneous Data in Planting Systems for Elderly LOHAS.物理电子学,2015-01.
4ZHOU Su-zhen;ZHOU Hua.Framework of knowledge management in education based on knowledge grid.计算机应用技术,2009-06.
5.A microbially based approach for the asymmetric synthesis of both enantiomers of R-and S-fluoxetine.化学,1992-04.
6Irena Hejduk;Waldemar Karwowski.A Knowledge Management Framework of the Information Technology-Based Approach for Improving Occupational Safety Training of Young Workers.政治经济学,2016-01.
7Xiaoyu Wang;Wei Chen;Zheng Li;Xianhai Zeng;Xing Tang;Yong Sun;Tingzhou Lei;Lu Lin.Synthesis of bis（amino）furans from biomass based 5-hydroxymethyl furfural.物理,2018-01.
8Jin Wang Jiansheng Tang Chundong Zheng.Research on Knowledge Sharing Behavior Based on Knowledge Convening and Fermenting Model.政治经济学,2006-05.
9YING Shuang ZHANG Qiang ZHO U Dongsheng.Performance driven expression mapping based on segmented examples.计算机应用技术,2012-03.
10YANGYang CHENLiaoyuan LIQiang.The Program of Getting the Data from the Vacuum Meter.物理,2003-01.

来源期刊

计算机科学技术学报：英文版

计算机科学技术学报：英文版

相关推荐

同分类资源更多

相关关键词

程序设计程序合成程序方程式

返回顶部