普拉特·T·W·。 使用层次图语法定义编程语言语义。 (英语) Zbl 0495.68076号 图文法及其在计算机科学和生物学中的应用,Bad Honneff国际研讨会,1978年,Lect。票据计算。科学。73, 389-400 (1979).MSC公司:68问题55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
Anatolij布达 顺序程序机器的语言是共规则的。 (俄语) Zbl 0455.68035号 数学与数学教育,Proc。第八届春季Conf.Union Bulg。数学。,《阳光海滩》1979,93-100(1979)。MSC公司:65年第68季度 70年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
亨特,H.B.III 观察正则表达式问题的复杂性。 (英语) Zbl 0453.68015号 J.计算。系统。科学。 19222-236(1979年).MSC公司:65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Hunt III},J.计算。系统。科学。19、222--236(1979年;Zbl 0453.68015) 全文: DOI程序
大卫·C·勒克姆。;铃木、诺里希萨 验证Pascal中的数组、记录和指针操作。 (英语) Zbl 0452.68014号 ACM事务处理。程序。语言系统。 1, 226-244 (1979).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.C.Luckham}和\textit{N.铃木},ACM Trans。程序。语言系统。1226--244(1979;Zbl 0452.68014) 全文: DOI程序
利迪亚·鲁蒂诺夫斯卡 使用H图对Pascal子集进行语义描述。 (英语) Zbl 0449.68042号 斯普拉夫。仪表信息Uniw。瓦兹。80,52 P.(1979)。MSC公司:68问题55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
艾克·哈根·里德曼 用标记Petri网控制并行计算:关于多文件自动机和并行程序模式的研究。 (英语) Zbl 0449.68023号 多特蒙德大学Abteilung Informatik der Universityät Dortmund。四、 290斯波尔滕(1979)。MSC公司:68问题85 65年第68季度 99年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
安德烈·哈纳尔;内梅蒂,I。 泛代数、模型理论和范畴在计算机科学中的应用。 (英语) Zbl 0446.68021号 计算。语言学家。计算。语言。 13, 251-282 (1979).MSC公司:68问题65 68-02 00年1月15日 65年第68季度 18B20型 08C15号 60年第68季度 68第05页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Hajnal}和\textit{I.Nemeti},计算。语言学家。计算。Lang.13,251--282(1979;Zbl 0446.68021)
巴萨拉布,I.A。 元线性LA(1)文法和一元递归格式的等价变换。 (英语。俄文原件) Zbl 0444.68071号 控制论 15476-481(1980年); 译自Kibernetika 1979年,第4期,第36-40页(1979年)。MSC公司:68N20型 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Basarab},控制论15,476--481(1979;Zbl 0444.68071);译自Kibernetika 1979年,第4期,36-40(1979) 全文: DOI程序
D.兰考。(编辑) 操作系统。理论与实践。第二届操作系统理论与实践国际研讨会论文集,由IRIA和卡内基梅隆大学组织,法国罗克森科特,1978年10月2日至4日。 (英语) 兹伯利0431.68001 阿姆斯特丹、纽约、牛津:北荷兰出版公司。八、 398页48.75美元;英国国防部。100.00 (1979).MSC公司:68-06 00亿Bxx 60年第68季度 68N25号 68平方米 65年第68季度 PDF格式BibTeX公司 XML格式
佩奎诺,T.H。;C.J.卢塞纳。 数据类型规范的一种方法及其在程序验证中的使用。 (英语) Zbl 0428.68026号 信息处理。莱特。 8, 98-103 (1979).MSC公司:68第05页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{T.H.Pequeno}和\textit{C.J.Lucena},Inf.Process。莱特。8、98——103(1979年;Zbl 0428.68026) 全文: DOI程序
格雷戈·波希曼。 覆盖属性文法的语义等价。 (英语) Zbl 0426.68077号 国际计算机杂志。通知。科学。 8,523-539(1979年).MSC公司:68问题55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Bochmann},国际计算机杂志。通知。科学。8523-539(1979年;Zbl 0426.68077) 全文: DOI程序
索林·伊斯特拉尔 递归可数语言的一个不动点定理和关于一元程序不动点语义的一些考虑。 (英语) Zbl 0424.68049号 《自动化、语言和编程》,第六届Colloq.出版社,格拉茨,1979年,莱克托。票据计算。科学。71, 289-303 (1979).MSC公司:68问题55 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
M.尼瓦特。 无限的单词,无限的树,无限的计算。 (英语) Zbl 0423.68012号 计算机科学基础。三、 第2部分:语言、逻辑、语义;数学。美分。第109、1-52卷(1979年)。MSC公司:99年第68季度 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
汉斯·朗马克;沃尔夫拉姆·利普;弗兰茨·瓦格纳 有限ALGOL 68模程序的形式终止问题。 (英语) Zbl 0421.68018号 信息处理。莱特。 9, 155-159 (1979).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{H.Langmack}等人,《Inf.过程》。莱特。9、155--159(1979年;Zbl 0421.68018) 全文: DOI程序
苏珊·康里(Susan E.Conry)。;J.Robert跳 关于并行计算模型中的函数等价性。 (英语) Zbl 0418.68051号 Inf.控制 41, 247-274 (1979).MSC公司:99年第68季度 65年第68季度 60年第68季度 68N99型 68瓦99 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.E.Conry}和\textit{J.R.Jump},Inf.Control 41,247--274(1979;Zbl 0418.68051) 全文: DOI程序
汉斯·克莱恩·勃宁 具有有限异常集的广义向量加法系统。 (英语) Zbl 0418.03029号 计算理论基础’79,Proc。Conf.,柏林/Windisch-Rietz 1979,237-242(1979)。MSC公司:03年3月 05年3月 03日第10天 68问题85 03年2月25日 03天35分 60年第68季度 PDF格式BibTeX公司 XML格式
医学硕士Arbib。;马内斯,E.G。 部分加幺半群、图增长和递归调用的代数语义。 (英语) Zbl 0414.68055号 图文法及其在计算机科学和生物学中的应用,Bad Honnef国际研讨会,1978年,Lect。票据计算。科学。73, 127-138 (1979).MSC公司:68问题55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
沃尔夫冈布伦德尔 正式Beschreibung von Programmiersprachen durch Graph-Grammatiken。 (德语) Zbl 0413.68077号 GI,9。贾勒斯塔格。,1979年波恩,Inf.-Fachber。19, 218-230 (1979).MSC公司:65年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式
莱因哈德·威廉 在优化编译器时计算和使用数据流信息。 (英语) 兹伯利0413.68014 学报信息。 12209-225(1979年).MSC公司:60年第68季度 65年第68季度 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Wilhelm},《信息学报》12,209--225(1979;Zbl 0413.68014) 全文: DOI程序
英格丽德·格拉斯纳;雅克·勒克斯 证明while-programs性质的微积分。 (英语) Zbl 0413.68009号 信息处理的数学研究。国际会议,1978年京都,Lect。票据计算。科学。75, 252-281 (1979).MSC公司:60年第68季度 68问题65 03B10号机组 PDF格式BibTeX公司 XML格式
Sklyarevich,A.N.公司。 自动机测试逻辑方法的基础。(Osnovy logicheskikh metodov proverki avtomatov)。 (俄语) Zbl 0412.94027号 Akademiya Nauk Latvijskoj苏维埃社会主义共和国。埃勒克特罗尼基研究所(Institute Ehlektroniki i Vychislitel’noj Tekhniki)。里加:Izdatel的电视节目“Zinatne”。191 p.R.1.00(1979年)。MSC公司:94立方厘米 94-01 94-02 65年第68季度 PDF格式BibTeX公司 XML格式
爱德华·阿什克罗夫特。;Fich,Faith E。 不动点理论的广义设置。 (英语) Zbl 0409.68013号 西奥。计算。科学。 9, 243-256 (1979).MSC公司:68问题65 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Ashcroft}和\textit{F.E.Fich},Theor。计算。科学。9、243--256(1979年;Zbl 0409.68013) 全文: DOI程序
伊莱恩·韦尤克。 项目方案模型的修改。 (英语) Zbl 0407.68013号 J.计算。系统。科学。 18, 281-293 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Weyuker},J.计算。系统。科学。18、281--293(1979;Zbl 0407.68013) 全文: DOI程序
彼得·帕达维茨 图形语法和操作语义。 (英语) Zbl 0406.68059号 图文法及其在计算机科学和生物学中的应用,Bad Honnef国际研讨会,1978年,Lect。票据计算。科学。73, 350-366 (1979).MSC公司:68问题55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
布鲁诺·库塞尔 Arbres infinis和systèmes d’équations。 (法语) Zbl 0406.68017号 RAIRO,Inf.Théor公司。 13, 31-48 (1979).MSC公司:60年第68季度 18秒20 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},RAIRO,Inf.Théor(信息科技)。13、31——48(1979年;Zbl 0406.68017) 全文: 欧洲DML
沃恩·R·普拉特。 公理或算法。 (英语) Zbl 0404.68044号 计算机科学数学基础。第八交响曲。,奥洛穆克语/捷克语。1979年,Lect。票据计算。科学。74, 160-169 (1979).MSC公司:68问题65 03年2月25日 68瓦99 03F99型 65年第68季度 60年第68季度 03B20型 PDF格式BibTeX公司 XML格式
丹尼尔·弗里德曼(Daniel P.Friedman)。;大卫·S·怀斯。 公平应用多道程序设计的一种方法。 (英语) Zbl 0402.68018号 并发计算语义。国际交响乐团。,埃维昂/法国1979年,Lect。票据计算。科学。70, 203-225 (1979).MSC公司:68N25号 68号01 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式
沃伊迪洛,B。 从代数的角度来看编程语言。 (英语) Zbl 0401.68048号 对普通代数的贡献,Proc。克拉根福会议,1978,405-421(1979)。MSC公司:65年第68季度 60年第68季度 68问题55 68问题65 08A05号 06B23号 PDF格式BibTeX公司 XML格式
范·兰斯维德(Axel van Lamsweerde);米歇尔·辛佐夫 强正确并发程序的形式化推导。 (英语) Zbl 0389.68012号 学报信息。 12, 1-31 (1979).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.van Lamsweerde}和\textit{M.Sintzoff},《学报》第12期,第1-31期(1979年;Zbl 0389.68012) 全文: DOI程序