×
卢卡·卡德利;菲利普·加德纳;乔治·盖利

使用隐藏标签操作树。 （英语） Zbl 1277.68116号

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172177-201（2007）。
摘要：我们定义了操作语义和类型系统，用于操作包含隐藏信息的半结构化数据。数据模型是带有隐藏操作符的简单标记树。数据操作基于模式匹配，类型跟踪隐藏标签的使用。
关于整个系列，请参见[Zbl 1273.68018号].

MSC公司：

68问题55 计算理论中的语义学
68第05页 数据结构

关键词：

操作语义;类型系统;半结构化数据;信息隐藏

软件：

洛雷尔;SLMC公司;函数
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，《电子》。注释Theor。计算。科学。172177--201（2007；Zbl 1277.68116）
全文： 内政部

参考文献：

[1] Abiteboul，S。；Buneman，P。；Suciu，D.，《网络数据》（2000），摩根考夫曼出版社
[2] Abiteboul，S。；Kanellakis，P.，作为查询语言原语的对象标识，ACM杂志，45,5798-842（1998），第一版出现在SIGMOD'89·Zbl 1065.68522号
[3] Abiteboul，S。；奎斯·D·。；McHugh，J。；Widom，J。；Wiener，J.，《半结构化数据的Lorel查询语言》，《数字图书馆国际期刊》，第1期，第168-88页（1997年4月）
[4] M.P.Atkinson，F.Bancilhon等人：面向对象数据库系统宣言。《构建面向对象的数据库系统》，《O2的故事》，1992年，第3-20页；M.P.Atkinson，F.Bancilhon等人：面向对象数据库系统宣言。构建面向对象的数据库系统，《O2的故事》，1992年，第3-20页
[5] Benzaken，V。；卡斯塔尼亚，G。；Frisch，A.，CDuce：白皮书。PLAN-X：XML编程语言技术，宾夕法尼亚州匹兹堡，2002年10月
[6] 博格，S。；张伯林，D。；费尔南德斯，M.F。；Florescu，D。；罗比·J。；Siméon，J.，XQuery 1.0:一种XML查询语言，W3C工作草案，2002年
[7] Bray，T。；Paoli，J。；Sperberg-McQueen，C.M。；Maler，E.，可扩展标记语言（XML）1.0，（第二版），W3C文档
[8] P.Buneman，S.B.Davidson，G.G.Hillebrand，D.Suciu：非结构化数据的查询语言和优化技术。1996年SIGMOD会议，第505-516页；P.Buneman，S.B.Davidson，G.G.Hillebrand，D.Suciu：非结构化数据的查询语言和优化技术。1996年SIGMOD会议，第505-516页
[9] L.Caires：具有并发性和移动性的声明式编程和规范模型。里斯本诺维大学联邦贸易委员会信息系博士论文，1999年；L.Caires：具有并发性和移动性的声明式编程和规范模型。里斯本诺维德大学联邦贸易委员会信息系博士论文，1999年
[10] Caires，L。；Cardelli，L.，《并发的空间逻辑：第一部分，信息和计算》，186，2，194-235（2003年11月）·兹比尔1068.03022
[11] Caires，L。；Cardelli，L.，《并发的空间逻辑：第二部分，理论计算机科学》，322,3517-565（2004年9月）·Zbl 1050.68104号
[12] 加尔卡尼奥，C。；Cardelli，L。；Gordon，A.D.，《确定树的空间逻辑有效性》，《函数编程杂志》，15，543-572（2005），剑桥大学出版社·Zbl 1083.68021号
[13] C.Calcagno、P.Gardner和U.Zarfaty：上下文逻辑和树更新，Proc。POPL 2005；C.Calcagno、P.Gardner和U.Zarfaty：上下文逻辑和树更新，Proc。2005年·Zbl 1369.68132号
[14] C.Calcagno，H.Yang，P.W.O'Hearn：数据结构空间断言语言的可计算性和复杂性结果。程序。FSTTCS 2001，第108-119页；C.Calcagno，H.Yang，P.W.O'Hearn：数据结构空间断言语言的可计算性和复杂性结果。程序。FSTTCS 2001，第108-119页·Zbl 1052.68590号
[15] Cardelli，L。；加德纳，P。；Ghelli，G.，《查询图形的空间逻辑》（Widmayer，Peter；等，Proc.ICALP’02）。程序。ICALP’02，LNCS，2380（2002），Springer），597-610·Zbl 1057.68606号
[16] L.Cardelli、P.Gardner和G.Ghelli：用指针查询树。未发表的说明，2003年；2001年APPSEM演讲；L.Cardelli、P.Gardner和G.Ghelli：用指针查询树。未发表的说明，2003年；2001年APPSEM大会演讲
[17] Cardelli，L。；Ghelli，G.，《基于环境逻辑的查询语言》（Sands，David，Proc.ESOP’01）。程序。员工持股计划'01，LNCS，2028（2001），施普林格），1-22·Zbl 0977.68028号
[18] L.Cardelli，A.D.Gordon：随时随地。移动环境的模态逻辑。程序。2000年第27届ACM程序设计语言原理研讨会，第365-377页；L.Cardelli，A.D.Gordon：随时随地。移动环境的模态逻辑。程序。2000年第27届ACM程序设计语言原理研讨会，第365-377页·Zbl 1323.68405号
[19] L.Cardelli，A.D.Gordon：环境逻辑。出现在计算机科学的数学结构中；L.Cardelli，A.D.Gordon：环境逻辑。出现在计算机科学的数学结构中
[20] S.Cluet、S.Jackmin和J.Simeon：新YATL：设计和规范。INRIA，1999年；S.Cluet、S.Jackmin和J.Simeon：新YATL：设计和规范。INRIA，1999年
[21] E.Cohen：有限多集逻辑的有效性和模型检验。草案；E.Cohen：有限多集逻辑的有效性和模型检验。草稿
[22] Dam，M.，Pi微积分逻辑的证明系统，（de Queiroz，R.，并发与同步逻辑。并发与同步逻辑，逻辑趋势，Logica Library（2003），Kluwer），145-212·Zbl 1038.03034号
[23] D.Florescu、A.Deutsch、A.Levy、D.Suciu、M.Fernandez:XML的查询语言。程序中。第八届国际万维网会议，1999年；D.Florescu、A.Deutsch、A.Levy、D.Suciu、M.Fernandez:XML的查询语言。程序中。1999年第八届国际万维网会议
[24] Florescu，D。；利维，A。；费尔南德斯，M。；Suciu，D.，网站管理系统的查询语言，SIGMOD记录，26，3，4-11（1997年9月）
[25] M.J.Gabbay：具有A-等价性的归纳定义理论：语义、实现、编程语言。剑桥大学博士论文，2000年；M.J.Gabbay：具有A-等价性的归纳定义理论：语义、实现、编程语言。剑桥大学博士论文，2000年
[26] Gabbay，M.J。；Pitts，A.M.，《涉及活页夹的抽象语法新方法》（Proc.LICS1999（1999），IEEE计算机社会出版社），214-224
[27] M.J.Gabbay：FM-HOL，高阶名称理论。2002年4月，爱丁堡赫里奥特·沃特大学，《自动化三十五年》。信息处理。，2002; M.J.Gabbay：FM-HOL，高阶名称理论。2002年4月，爱丁堡赫里奥特·沃特大学，《自动化三十五年》。信息处理。，2002
[28] Gordon，A.D.，《安全性和移动性的名义演算注释》（Focardi，R.；Gorrieri，R.，《安全分析和设计基础》，LNCS，2171（1998），Springer）·Zbl 1007.68507号
[29] 戈登，A.D。；Jeffrey，A.，《为通信协议键入通信断言》。MFPS 17，《理论计算机科学中的爱思唯尔电子笔记》，45（2001）·兹比尔1260.94063
[30] H.Hosoya，B.C.Pierce:XDouce:一种类型化的XML处理语言（初步报告）。WebDB（论文选集）2000，pp:226-244；H.Hosoya，B.C.Pierce:XDouce:一种类型化的XML处理语言（初步报告）。WebDB（论文集）2000，pp:226-244
[31] Milner，R.，《通信和移动系统：（π）-微积分》（1999），剑桥大学出版社·Zbl 0942.68002号
[32] O'Hearn，P.W。；Pym，D.，《捆绑蕴涵的逻辑》，《符号逻辑公报》，5，2，215-244（1999）·Zbl 0930.03095号
[33] P.W.O'Hearn，J.C.Reynolds，H.Yang：关于改变数据结构的程序的局部推理。程序。CSL 2001，第1-19页；P.W.O'Hearn，J.C.Reynolds，H.Yang：关于改变数据结构的程序的局部推理。程序。CSL 2001，第1-19页·Zbl 0999.68045号
[34] Pitts，A.M.，《名义逻辑，名称和约束的一阶理论》，（小林，直纪；皮尔斯，本杰明C.，《TACS 2001年公报》。程序。TACS 2001，LNCS，2215（2001），Springer），219-242·Zbl 1087.03510号
[35] A.M.Pitts，M.J.Gabbay：一种使用边界名称模块重命名编程的元语言。R.Backhouse和J.N.Oliveira（编辑）：MPC 2000，LNCS 1837，Springer，第230-255页；A.M.Pitts，M.J.Gabbay：一种使用边界名称模块重命名编程的元语言。R.Backhouse和J.N.Oliveira（编辑）：MPC 2000，LNCS 1837，Springer，第230-255页·Zbl 0963.68502号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。