尼古拉·曼苏洛夫 基于MSC的SDL自动合成及其在正向和逆向工程中的应用。 (英语) Zbl 0997.68078号 计算。语言。 27,编号1-3115-136(2001).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Mansurov},计算。Lang.27,No.1--3,115-136(2001;Zbl 0997.68078) 全文: DOI程序
罗布·范·奥默林;雷内·克里卡尔;洛伊·费伊斯 用于形式化、可视化和验证软件架构的语言。 (英语) Zbl 0997.68012号 计算。语言。 27,编号1-3,3-18(2001).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.van Ommering}等人,计算。Lang.27,No.1--3,3--18(2001;Zbl 0997.68012) 全文: DOI程序
马可·卡多利;乔瓦姆巴蒂斯塔·伊安尼;路易吉·帕洛波利;安德烈亚·沙尔夫;多梅尼科·瓦西莱 NP-SPEC:一种用于解决NP中所有问题的可执行规范语言。 (英语) Zbl 0995.68025号 计算。语言。 26,第2-4号,165-195(2000).MSC公司:第68页第17页 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoli}等人,计算。Lang.26,No.2--4,165--195(2000;Zbl 0995.68025) 全文: DOI程序
A.C.里夫斯。;托盘,C。 一种基于草图的自我解释推导技术。 (英语) 兹伯利0948.68117 计算。语言。 25,第1期,第1-37页(1999年).MSC公司:60年第68季度 68N20型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Reeves}和\textit{C.Rattray},计算。Lang.25,No.1,1--37(1999;Zbl 0948.68117) 全文: DOI程序
R.奈杰尔·霍斯普尔;维泰克,简 PostScript代码的静态分析。 (英语) Zbl 0778.68026号 计算。语言。 19,第2期,65-78(1993).MSC公司:68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.N.Horspool}和\textit{J.Vitek},计算。Lang.19,No.2,65--78(1993;Zbl 0778.68026) 全文: DOI程序
卡洛·盖齐;迪诺·曼德里奥利;桑德罗·莫拉斯卡;毛罗·佩泽尔 使用Petri网的并发系统的符号执行。 (英语) Zbl 0689.68008号 计算。语言。 14,第4期,263-281(1989).MSC公司:60年第68季度 68N25号 68问题85 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Ghezzi}等人,计算。Lang.14,No.4,263--281(1989;Zbl 0689.68008) 全文: DOI程序
M.E.萨博。;E.J.法卡斯。 循环程序的概率分析。 (英语) Zbl 0677.68010号 计算。语言。 14,第2期,125-136(1989). 审核人:N.斯坦诺洛夫 MSC公司:60年第68季度 65年第68季度 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Szabo}和\textit{E.J.Farkas},计算。语言14,编号2125-136(1989;Zbl 0677.68010) 全文: DOI程序
Paul A.Bailes。 G: 具有通用抽象数据类型的函数语言。 (英语) Zbl 0617.68007号 计算。语言。 12, 69-94 (1987).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Bailes},计算。语言12,69-94(1987;Zbl 0617.68007) 全文: DOI程序
巴雷特·R·布莱恩特。;Edupuganty,巴兰贾尼纳特;Lee S.赫尔。 作为公理语义的可实现元语言的两级语法。 (英语) Zbl 0631.68070号 计算。语言。 11, 173-191 (1986).MSC公司:68问题55 60年第68季度 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Bryant}等人,《计算》。语言11,173--191(1986;Zbl 0631.68070) 全文: DOI程序
肯特·彼得森;史密斯,简·M。 类型理论中的程序派生:一个划分问题。 (英语) Zbl 0603.68011号 计算。语言。 11, 161-172 (1986).MSC公司:60年第68季度 68磅05分 PDF格式BibTeX公司 XML格式引用 \textit{K.Peterson}和\textit{J.M.Smith},计算。Lang.11,161--172(1986;Zbl 0603.68011) 全文: DOI程序
Paul A.Bailes。 Dijkstra保护命令语言中变量处理的静态检查。 (英语) 兹比尔0603.68006 计算。语言。 11, 123-142 (1986).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Bailes},计算。Lang.11,123--142(1986;Zbl 0603.68006) 全文: DOI程序
沙赫扎德·马扎赫;贝里,丹尼尔·M。 从用VDL编写的操作语义派生编译器。 (英语) Zbl 0561.68023号 计算。语言。 10, 147-164 (1985).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Mazaher}和\textit{D.M.Berry},计算。Lang.10,147--164(1985;Zbl 0561.68023) 全文: DOI程序
蒂莫西·巴德(Timothy A.Budd)。;阿杰·戈帕尔。 通过规范变异进行程序测试。 (英语) Zbl 0551.68015号 计算。语言。 10, 63-73 (1985).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Budd}和\textit{A.S.Gopal},计算。语言10,63--73(1985;Zbl 0551.68015) 全文: DOI程序
理查德·基伯茨。;本特·诺德斯特伦 苹果的设计——一种用于模块化程序的语言。 (英语) Zbl 0551.68009号 计算。语言。 10, 1-22 (1985).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.B.Kieburtz}和\textit{B.Nordström},计算。语言10,1-22(1985;Zbl 0551.68009) 全文: DOI程序
艾扬加,S.Sitharama;北卡罗来纳州帕拉梅斯瓦兰。;富勒,约翰 程序逻辑复杂性的度量。 (英语) Zbl 0495.68017号 计算。语言。 7, 147-160 (1982).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Iyengar}等人,计算。Lang.7,147--160(1982;Zbl 0495.68017) 全文: DOI程序
北卡罗来纳州科科。;杜利,S。 异常处理机制及其验证规则。 (英语) Zbl 0489.68012号 计算。语言。 7, 89-102 (1982).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{N.Cocco}和\textit{S.Dulli},计算。Lang.7,89--102(1982;Zbl 0489.68012) 全文: DOI程序
梅塞施密特,简;莱因哈德·威廉 组合对象的构造函数。 (英语) Zbl 0489.68004号 计算。语言。 7, 53-59 (1982).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Messerschmidt}和\textit{R.Wilhelm},计算。语言7,53-59(1982年;Zbl 0489.68004) 全文: DOI程序
米查·谢里尔 形式化集成:一种程序转换技术。 (英语) Zbl 0461.68018号 计算。语言。 6, 35-46 (1981).MSC公司:60年第68季度 68N99型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Sharir},计算。语言6,35-46(1981;Zbl 0461.68018) 全文: DOI程序
奥古斯托·塞勒坦诺;德尔拉·维格纳(Della Vigna)、皮埃尔路易吉(Pierluigi);卡洛·盖齐;迪诺·曼德里奥利 简单:程序开发系统。 (英语) Zbl 0433.68015号 计算。语言。 5, 103-114 (1980).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Celentano}等人,《计算》。语言5,103--114(1980;Zbl 0433.68015) 全文: DOI程序
贝里,医学博士。;R.A.凯默勒。;冯·斯塔,A。;耶米尼,S。 朝向模块化可验证异常处理。 (英语) Zbl 0433.68009号 计算。语言。 5, 77-101 (1980).MSC公司:68号01 60年第68季度 68磅05分 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Berry}等人,计算。语言5,77--101(1980;Zbl 0433.68009) 全文: DOI程序
威廉姆斯,M.H。 用于指定静态语义规则的形式化表示法。 (英语) Zbl 0431.68080号 计算。语言。 5, 37-55 (1980).MSC公司:68问题55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Williams},计算。语言5,37-55(1980;Zbl 0431.68080) 全文: DOI程序
约翰·克劳福德。;贾萨耶里,梅迪 一种新的代码运动方法及其在吊装中的应用。 (英语) Zbl 0431.68019号 计算。语言。 5, 29-36 (1980).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Crawford}和\textit{M.Jazayeri},计算。语言5,29-36(1980;Zbl 0431.68019) 全文: DOI程序
安东尼·瓦瑟曼。 类Pascal语言的测试和验证方面。 (英语) Zbl 0425.68011号 计算。语言。 4, 155-169 (1979).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Wasserman},计算。Lang.4,155--169(1979;Zbl 0425.68011) 全文: DOI程序
D.M.贝里。 高级语言中的指针和数据抽象。二: 正确性证明。 (英语) Zbl 0433.68013号 计算。语言。 2, 149-170 (1977).MSC公司:68号01 60年第68季度 68磅05分 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Berry},计算。语言2,149--170(1977;Zbl 0433.68013) 全文: DOI程序
D.M.贝里。;Z.埃利希。;卢塞纳,C.J。 高级语言中的指针和数据抽象。一: 语言建议。 (英语) Zbl 0433.68012号 计算。语言。 2, 135-148 (1977).MSC公司:68号01 60年第68季度 68磅05分 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Berry}等人,计算。语言2,135--148(1977;Zbl 0433.68012) 全文: DOI程序