×
库塞尔，B。;拉文迪尔，F。

Dédefinitions ré草书par cas。 （法语） Zbl 0562.68004号

RAIRO，Inf.Théor公司。 18, 91-129 (1984).
作者研究了一类不显式使用if…then…的递归定义。。。其他建筑。该方法与PROLOG中的一些构造相关，主要针对产生唯一结果的非确定性程序和所谓的半解释（仅适用于断言的左侧）。
审核人：C.冷静

引用于1文件

MSC公司：

68号01 软件理论中的一般主题
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

指称语义学;递归定义;构件;非确定性程序
PDF格式BibTeX公司 XML格式引用
\textit{B.Courcelle}和\textit{F.Lavandier}，RAIRO，Inf.Théor。18、91——129（1984年；Zbl 0562.68004）
全文： 欧洲DML

参考文献：

[1] 1.S.BLOOM et R.TINDELL，《如果是Then-else的变化》，暹罗J.Compute。第12卷，1983年，第677-707页。兹比尔0518.68010 MR721007·Zbl 0518.68010号 ·数字对象标识代码：10.1137/021247
[2] 2.G.BOUDOL，Calculs maximaux et sémantique opérationnelle des programmes non déterministes，巴黎大学博士，1980年7月。
[3] 3.B.COURCELLE，正规形式的无限树和具有唯一解的递归方程，数学。《系统论》，第13卷，1979年，第131-180页。Zbl0418.68013 MR553879号·Zbl 0418.68013号 ·doi:10.1007/BF01744293
[4] 4.B.COURCELLE，无限树的基本性质，Theor。计算。Sc.，第25卷，1984年，第95-169页。兹伯利0521.68013 MR693076·Zbl 0521.68013号 ·doi:10.1016/0304-3975（83）90059-2
[5] 5.B.COURCELLE，Korenjak-Hopcroft算法公理化方法，数学。《系统论》，第16卷，1983年，第191-231页。兹伯利0581.68032 MR702448·Zbl 0581.68032号 ·doi:10.1007/BF01744577
[6] 6.B.COURCELLE et P.FRANCHI-ZANNETTACCI，属性语法和递归程序方案，Theor。计算。Sc.，第17卷，1982年，第163-191页和第235-257页。Zbl0481.68068号·Zbl 0481.68068号 ·doi:10.1016/0304-3975（82）90003-2
[7] 7.B.COURCELLE et F.LAVANDIER，一类基于树重写系统的程序方案，第八届C.A.A.P.，L'Aquila，Lec。票据构成。斯普林格，第159卷，1983年，第191-204页，Zbl0518.68015 MR744210·Zbl 0518.68015号
[8] 8.B.COURCELLE，M.NIVAT，递归程序方案的代数语义：MFCS’78，Lec。注释计算。第64卷，第16-30页。Zbl0384.68016 MR519827·Zbl 0384.68016号
[9] 9.J.DARLINGTON，R.BURSTALL，《自动改进程序的系统》，《信息学报》，第6卷，1976年，第41-60页。Zbl0323.68008号·Zbl 0323.68008号 ·doi:10.1007/BF00263742
[10] 10.E.FRIEDMAN，确定性上下文无关语言和一元递归方案的等价问题，J.Compute。《系统科学》，1977年第14期，第334-359页。兹比尔0358.68109 MR443445·Zbl 0358.68109号 ·doi:10.1016/S0022-0000（77）80019-6
[11] 11.S.GARLAND和D.LUCKHAM，程序方案、递归方案和形式语言，J.Compute。《系统科学》，第7卷，1973年，第119-160页。Zbl0277.68010 MR315930号·Zbl 0277.68010号 ·doi:10.1016/S0022-0000（73）80040-6
[12] 12.J.GOGUEN、J.THATCHER、E.WAGNER和J.WRIGHT，《初始代数语义和连续代数》，J.Assoc.Compute。机器。，第24卷，1977年，第68-95页。Zbl0359.68018 MR520711号·兹比尔0359.68018 ·数字对象标识代码：10.1145/321992.321997
[13] 13.I.GUESARIAN，代数语义学，Lec。注释计算。Sc.，第99卷，Springer-Verlag，1981年。Zbl0474.68010 MR617908号·兹伯利0474.68010
[14] 14.G.HUET，汇流约简，抽象属性和术语重写系统的应用，J.Assoc.Compute。机器。，第27卷，1980年，第797-821页。Zbl0458.68007 MR594700号·Zbl 0458.68007号 ·doi:10.1145/322217.32230
[15] 15.G.HUET和J.M.HULLOT，《等式理论与构式的归纳证明》，I.Compt。《系统科学》，第25卷，1982年，第239-266页。Zbl0532.68041 MR680519号·Zbl 0532.68041号 ·doi:10.1016/0022-0000（82）90006-X
[16] 16.G.HUET et B.LANG，用二阶模式表示的程序转换的证明和应用，《信息学报》，1978年第11卷，第31-55页。Zbl0389.68008 MR514752·Zbl 0389.68008号 ·doi:10.1007/BF00264598
[17] 17.G.HUET et J.J.LEVY，《非模糊线性术语重写系统中的按需调用计算》，Laboria报告，第359卷，1979年。
[18] 18.G.HUET et D.OPPEN，方程和重写规则，调查，形式语言理论国际研讨会论文集，加利福尼亚州圣巴巴拉（1979年12月10日至14日），
[19] 19.F.LAVANDIER，《定义体系报告》。Applicationála sémantique dénotationnelle，《循环理论》，波尔多大学，1982年。
[20] 20.Z.MANNA，A.SHAMIR，最佳不动点的理论方面，S.I.A.M.，J.Compute。，第5卷，1976年，第414-426页。Zbl0358.68017 MR440995号·兹比尔0358.68017 ·数字对象标识代码：10.1137/0205033
[21] 21.B.MAYOH，属性语法和数学语义；S.I.A.M.J.计算。，第10卷，1981年，第503-518页。Zbl0462.68062 MR623062号·Zbl 0462.68062号 ·数字对象标识代码：10.1137/021037
[22] 22.M.NIVAT，《关于多元递归程序方案的解释》，《数学专题讨论会》，第15卷，学术出版社，1975年，第255-281页。Zbl0346.68041 MR391563号·Zbl 0346.68041号
[23] 23.J.C.RAOULT和J.VUILLEMIN，递归程序之间的操作和语义等价，J.Assoc.Comput。机器。，第27卷，1980年，第772-796页。Zbl0447.68004 MR594699号·Zbl 0447.68004号 ·doi:10.1145/322217.32229
[24] 24.B.ROSEN，树木操纵系统和丘吉尔-罗森定理，J.Assoc.Compute。机器。，第20卷，1973年，第160-187页。Zbl0267.68013 MR331850·Zbl 0267.68013号 ·数字对象标识代码：10.1145/321738.321750
[25] 25.J.STOY，语义模型，《编程方法论的理论基础》，M.BROY和G.SCHMIDT，éd。，D.Reidel出版社。Co.，荷兰多德雷赫特，1982年，第293-325页。Zbl0513.68072 MR696964号·Zbl 0513.68072号
[26] 26.R.TENNENT，《程序设计语言的指称语义》，A.C.M.Comm.，第19-8卷，1976年，第437-453页。Zbl0337.68010 MR428771号·Zbl 0337.68010号 ·数字对象标识代码：10.1145/360303.360308
[27] 27.S.WALKER et H.STRONG，《流动可分割递归的特征》，J.Compute。《系统科学》，第7卷，1973年，第404-447页。Zbl0266.68011 MR331854号·Zbl 0266.68011号 ·doi:10.1016/S0022-0000（73）80032-7
[28] 28.J.ENGELFRIET，关于树传感器和树语言的一些开放性问题和最新结果，méme volume que[18]
[29] 29.P.FRANCHI-ZANNETTACCI，Attributs sémantiques et schémas de programmes，法国波尔多大学，1982年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。