R.Geoff,Dromey 程序派生。根据规范开发程序。 (英语) Zbl 0781.68084号 波恩等:Addison-Wesley出版公司。十六、 第630页(1989年)。 审核人:H.Zeitler(慕尼黑) MSC公司:60年第68季度 68-01 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Dromey},程序推导。根据规范开发程序。波恩等:Addison Wesley出版公司(1989年;Zbl 0781.68084)
Mehdi T.哈兰迪。;桑贾·邦萨利 使用类比进行程序推导。 (英语) Zbl 0708.68036号 IJCAI-89,程序。国际会议,密歇根州底特律,美国1989,389-394(1989)。 审核人:N.Curteanu公司 MSC公司:60年第68季度 68T20型 68T05型 PDF格式BibTeX公司 XML格式
何继峰 过程模拟和细化。 (英语) Zbl 0696.68099号 形式方面计算。 1,第3期,229-241(1989).MSC公司:68岁20岁 68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Jifeng},正式Asp。计算。1,第3号,229--241(1989;Zbl 0696.68099) 全文: 内政部
阿米尔·普努利;罗尼·罗斯纳 关于异步反应模块的综合。 (英语) Zbl 0686.68015号 自动化、语言和编程、Proc。第16国际学院,斯特雷萨/意大利1989年,法律。注释计算。科学。372, 652-671 (1989).MSC公司:60年第68季度 68N25号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式
阿尔贝托·佩特罗西;安德烈·斯科伦 用于程序派生的lambda抽象策略的威力。 (英语) Zbl 0682.68014号 J.信息处理。赛博。 25,编号5-6,263-281(1989). 审核人:S.Miura公司 MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}和\textit{A.Skowron},J.Inf.过程。赛博。25、编号5--6、263--281(1989;Zbl 0682.68014)
蔡家珍;罗伯特·佩奇 通过定点计算进行程序推导。 (英语) Zbl 0681.68020号 科学。计算。程序。 11,第3期,197-261(1989).MSC公司:60年第68季度 68号01 68瓦99 68第05页 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{J.Cai}和\textit{R.Paige},科学。计算。程序。11,第3号,197--261(1989;Zbl 0681.68020) 全文: 内政部
雅普·范德沃德 玩花样,搜索字符串。 (英语) Zbl 0679.68018号 科学。计算。程序。 第12卷第3期,177-190(1989).MSC公司:68号01 68页第10页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.van der Woude},科学。计算。程序。12,第3号,177--190(1989;Zbl 0679.68018) 全文: 内政部
R.S.伯德。;吉本斯,J。;琼斯,G。 模式匹配算法的形式化推导。 (英语) Zbl 0679.68011号 科学。计算。程序。 12,第2期,93-104(1989). 审核人:L.布里姆 MSC公司:68号01 60年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Bird}等人,科学。计算。程序。12,第2号,93-104(1989年;Zbl 0679.68011) 全文: 内政部