乔治·盖利
人员信息
附属: 意大利比萨大学
优化列表
2020年–今天
2024 [公元26年] Lyes Attouche公司 , 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 , 斯蒂芬妮·谢辛格 :
现代JSON模式的验证:形式化和复杂性。 程序。 ACM计划。 语言。 8 ( POPL公司 ) : 1451-1481 ( 2024 ) 2023 [公元25年] 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 , 斯蒂芬妮·谢辛格 :
JSON架构的对开闭包。 西奥。 计算。 科学。 955 : 113823 ( 2023 ) [公元74年] 安东尼奥·阿尔巴诺 , 卡拉·布拉西尼 , 米莲娜·迪奥塔列维 , 乔治·盖利 , 伦佐·奥西尼 :
斐波那契体系导览:时间的味道。 SEBD公司 2023 : 7-10 [i6] Lyes Attouche公司 , 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 , 斯蒂芬妮·谢辛格 :
现代JSON模式的验证:形式化和复杂性。 CoRR公司 abs/2307.10034 ( 2023 ) 2022 [公元24年] Lyes Attouche公司 , 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 , 斯蒂芬妮·谢辛格 :
JSON架构的见证生成。 程序。 荷兰VLDB。 15 ( 13 ) : 2014年4月4日 ( 2022 ) [公元73年] 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 , 斯蒂芬妮·谢辛格 :
现实世界JSON模式文档中否定的用法。 SEBD公司 2022 : 101-108 [i5] Lyes Attouche公司 , 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 , 斯蒂芬妮·谢辛格 :
JSON架构的见证生成。 CoRR公司 腹肌/2202.12849 ( 2022 ) [i4] 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 , 斯蒂芬妮·谢辛格 :
JSON架构的否定-关闭。 CoRR公司 abs/2202.13434 ( 2022 ) 2021 [公元72年] Lyes Attouche公司 , 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 弗朗西斯科·法莱尼 , 乔治·盖利 , 克里斯蒂亚诺·兰迪 , 卡洛·萨蒂亚尼 , 斯蒂芬妮·谢辛格 :
JSON模式见证生成工具。 EDBT公司 2021 : 694-697 [公元71年] Lyes Attouche公司 , 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 丁云晨 , 迈克尔·弗鲁斯 , 乔治·盖利 , 卡洛·萨蒂亚尼 , 斯蒂芬妮·谢辛格 :
JSON模式包含测试套件。 ER演示/海报 2021 : 19-24 [公元70年] 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 , 斯蒂芬妮·谢辛格 :
现实世界JSON模式文档中“Not用法”的实证研究。 急诊室 2021 : 102-112 [i3] 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 , 斯蒂芬妮·谢辛格 :
不是JSON模式的消除和见证生成。 CoRR公司 abs/2104.14828 ( 2021 ) [i2] 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 , 斯蒂芬妮·谢辛格 :
现实世界JSON模式文档(长版)中“Not用法”的实证研究。 CoRR公司 abs/2107.08677 ( 2021 ) 2020 [公元69年] 穆罕默德·阿明·巴齐齐 , Clément Berti公司 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 :
海量JSON数据集的人在回路模式推断。 EDBT公司 2020 : 635-638 [c68] 迈克尔·弗鲁斯 , 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 , 斯蒂芬妮·谢辛格 :
在不断演变的现实世界模式上检查JSON模式包含的挑战。 ER(车间) 2020 : 220-230
2010 – 2019
2019 [公元23年] 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 :
海量JSON数据集的参数化模式推断。 VLDB J。 28 ( 4 ) : 497-521 ( 2019 ) [公元67年] 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 :
JSON数据的模式和类型。 EDBT公司 2019 : 437-439 [公元66年] 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 :
交互式JSON模式推断的类型系统(扩展抽象)。 ICALP公司 2019 : 101:1-101:13 [公元65年] 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 :
JSON数据的模式和类型:从理论到实践。 SIGMOD会议 2019 : 2060-2063 2018 【r2】 乔治·盖利 :
XML更新。 数据库系统百科全书(第二版) 2018 2017 [公元22年] 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 :
一类具有计数、交错和无序连接的正则表达式中的线性时间成员关系。 ACM事务处理。 数据库系统。 42 ( 4 ) : 24:1-24:44 ( 2017 ) [公元64年] 穆罕默德·阿明·巴齐齐 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 :
计算海量JSON数据集的类型。 DBPL公司 2017 : 9:1-9:12 [公元63年] 穆罕默德·阿明·巴齐齐 , 侯赛姆·本·拉马尔 , 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 :
海量JSON数据集的模式推断。 EDBT公司 2017 : 222-233 2013 [公元21年] 达里奥·科拉佐 , 乔治·盖利 , 卢卡·帕迪尼 , 卡洛·萨蒂亚尼 :
高效的非对称包含正则表达式,并对XML类型检查进行交错和计数。 西奥。 计算。 科学。 492 : 88-116 ( 2013 ) [公元20年] 达里奥·科拉佐 , 乔治·盖利 , 卢卡·帕迪尼 , 卡洛·萨蒂亚尼 :
XML正则表达式类型的近似包含。 ACM事务处理。 数据库系统。 38 ( 三 ) : 15 ( 2013 ) 2011 [公元62年] 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 :
安全高效的XML处理模式。 集成电路驱动单元 2011 : 1378-1379
2000 – 2009
2009 [公元19年] 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 :
有效包含一类具有交错和计数功能的XML类型。 信息系统。 34 ( 7 ) : 643-656 ( 2009 ) [第61条] 达里奥·科拉佐 , 乔治·盖利 , 卢卡·帕迪尼 , 卡洛·萨蒂亚尼 :
XML正则表达式类型的线性包含。 CIKM公司 2009 : 137-146 [公元60年] 达里奥·科拉佐 , 乔治·盖利 , 卡洛·萨蒂亚尼 :
正则表达式类型之间的高效非对称包含。 ICDT公司 2009 : 174-182 【r1】 乔治·盖利 :
XML更新。 数据库系统百科全书 2009 : 电话:3654-3656 2008 [公元18年] 乔治·盖利 , 克里斯托弗·Högsbro Rose , 杰罗姆·西蒙 :
XML更新的交换性分析。 ACM事务处理。 数据库系统。 33 ( 4 ) : 29:1-29:47 ( 2008 ) [公元59年] 乔治·盖利 , 达里奥·科拉佐 , 卡洛·萨尔蒂亚尼 :
具有交错和计数的一类正则表达式中的线性时间成员关系。 CIKM公司 2008 : 389-398 [公元58年] 乔治·盖利 , 达里奥·科拉佐 , 卡洛·萨蒂亚尼 :
一类具有交错和计数的XML类型的线性时间成员身份。 平面图-X 2008 [公元57年] 乔治·盖利 , 达里奥·科拉佐 , 卡洛·萨蒂亚尼 :
通过交叉和计数有效地包含无冲突的XML类型。 SEBD公司 2008 : 390-397 [公元56年] 乔治·盖利 , 尼古拉·奥诺塞 , 克里斯托弗·Högsbro Rose , 杰罗姆·西蒙 :
存在副作用的XML查询优化。 SIGMOD会议 2008 : 339-352 2007 [公元17年] 阿努杰·达瓦尔 , 菲利普·加德纳 , 乔治·盖利 :
图形逻辑的表达性和复杂性。 Inf.计算。 205 ( 三 ) : 263-310 ( 2007 ) [c55] 乔治·盖利 , 尼古拉·奥诺塞 , 克里斯托弗·Högsbro Rose , 杰罗姆·西蒙 :
具有副作用的XQuery的更好语义。 DBPL公司 2007 : 81-96 [公元54年] 乔治·盖利 , 达里奥·科拉佐 , 卡洛·萨尔蒂亚尼 :
一类具有交错和计数的XML类型的高效包含。 DBPL公司 2007 : 231-245 [公元53年] 乔瓦尼·孔福尔蒂 , 乔治·盖利 , 保罗·曼吉 , 卡洛·萨蒂亚尼 :
XPeer中的可扩展查询分发。 EROW公司 2007 [第52条] 乔治·盖利 , 克里斯托弗·Högsbro Rose , 杰罗姆·西蒙 :
XML更新语言中的交换性分析。 ICDT公司 2007 : 374-388 [第51条] 乔瓦尼·康福尔蒂 , 乔治·盖利 , 保罗·曼吉 , 卡洛·萨蒂亚尼 :
XPeer中的可扩展查询传播。 思想 2007 : 199-207 [公元50年] 鲁卡·凯德利 , 菲利普·加德纳 , 乔治·盖利 :
使用隐藏标签操作树。 计算、意义和逻辑 2007 : 177-201 2006 [公元16年] 达里奥·科拉佐 , 乔治·盖利 , 保罗·曼吉 , 卡洛·萨尔蒂亚尼 :
XML查询路径正确性的静态分析。 J.功能。 程序。 16 ( 4-5 ) : 621-661 ( 2006 ) [c49] 乔治·盖利 , 克里斯托弗·雷 , 杰罗姆·西蒙 :
XQuery!: 带有副作用的XML查询语言。 EDBT研讨会 2006 : 178-191 2005 [公元15年] 鲁卡·凯德利 , 乔治·盖利 , 安德鲁·戈登 :
保密和创建组。 Inf.计算。 196 ( 2 ) : 127-155 ( 2005 ) [公元14年] 达里奥·科拉佐 , 乔治·盖利 :
内核乐趣中的子类型递归和参数多态性。 Inf.计算。 198 ( 2 ) : 71至147 ( 2005 ) [公元48年] 达里奥·科拉佐 , 乔治·盖利 , 保罗·曼吉 , 卡洛·萨蒂亚尼 :
XML查询的路径正确性类型。 SEBD公司 2005 : 264至271 2004 [j13] 鲁卡·凯德利 , 乔治·盖利 :
TQL:一种基于环境逻辑的半结构化数据查询语言。 数学。 结构。 计算。 科学。 14 ( 三 ) : 285-327 ( 2004 ) [公元47年] 卡洛·萨蒂亚尼 , 保罗·曼吉 , 乔治·盖利 , 乔瓦尼·孔福尔蒂 :
XPeer:一个自组织的XML P2P数据库系统。 EDBT研讨会 2004 : 456-465 [公元46年] 乔瓦尼·孔福尔蒂 , 乔治·盖利 :
新鲜的决定性,启示的不确定性。 FoSSaCS公司 2004 : 105-120 [公元45年] 阿努杰·达瓦尔 , 菲利普·加德纳 , 乔治·盖利 :
静态环境逻辑中通过游戏进行辅助消除。 FSTTCS公司 2004 : 211-223 [c44] 达里奥·科拉佐 , 乔治·盖利 , 保罗·曼吉 , 卡洛·萨蒂亚尼 :
XML查询的路径正确性类型。 ICFP公司 2004 : 126-137 [公元43年] 乔瓦尼·孔福尔蒂 , 乔治·盖利 , 保罗·曼吉 , 卡洛·萨蒂亚尼 :
一个自组织的XML P2P数据库系统。 SEBD公司 2004 : 394-401 2003 [公元42年] 鲁卡·凯德利 , 菲利普·加德纳 , 乔治·盖利 :
使用隐藏标签操作树。 FoSSaCS公司 2003 : 216-232 [公元41年] 乔瓦尼·孔福尔蒂 , 乔治·盖利 :
空间树逻辑对半结构化数据进行推理。 SEBD公司 2003 : 37-48 2002 [公元12年] 乔治·盖利 :
具有角色的可扩展对象的基础。 Inf.计算。 175 ( 1 ) : 50-75 ( 2002 ) [公元11年] 鲁卡·凯德利 , 乔治·盖利 , 安德鲁·戈登 :
环境微积分的类型。 Inf.计算。 177 ( 2 ) : 160-194 ( 2002 ) [j10] 达里奥·科拉佐 , 卡洛·萨蒂亚尼 , 安东尼奥·阿尔巴诺 , 保罗·曼吉 , 乔治·盖利 , 卢卡·利尼 , 米歇尔·保利 :
XML文档的类型化文本检索查询语言。 J.协会信息科学。 Technol公司。 53 ( 6 ) : 467-488 ( 2002 ) [公元40年] 鲁卡·凯德利 , 菲利普·加德纳 , 乔治·盖利 :
查询图形的空间逻辑。 ICALP公司 2002 : 597-610 [公元39年] 乔瓦尼·康福尔蒂 , 奥兰多·费拉拉 , 乔治·盖利 :
TQL代数及其实现。 IFIP TCS 2002 : 422-434 [公元38年] 乔瓦尼·孔福尔蒂 , 乔治·盖利 , 安东尼奥·阿尔巴诺 , 达里奥·科拉佐 , 保罗·曼吉 , 卡洛·萨蒂亚尼 :
查询语言TQL-演示演示。 SEBD公司 2002 : 427-431 [公元37年] 乔瓦尼·孔福尔蒂 , 乔治·盖利 , 安东尼奥·阿尔巴诺 , 达里奥·科拉佐 , 保罗·曼吉 , 卡洛·萨蒂亚尼 :
查询语言TQL。 网络数据库 2002 : 13-18 [公元36年] 达里奥·科拉佐 , 乔治·盖利 , 保罗·曼吉 , 卡洛·萨蒂亚尼 :
半结构化数据查询的正确性类型。 网络数据库 2002 : 19-24 [电子1] 乔治·盖利 , Gösta Grahne公司 :
数据库编程语言,第八届国际研讨会,DBPL 2001,意大利弗拉斯卡蒂,2001年9月8日至10日,修订论文。 计算机科学课堂讲稿 2397, 施普林格 2002 ,国际标准图书编号 3-540-44080-1 [目录] 2001 [公元35年] 朱塞佩·卡斯塔尼亚 , 乔治·盖利 , 弗朗西斯科·扎帕·纳德利 :
印章演算中的打字移动性。 CONCUR公司 2001 : 82-101 [公元34年] 鲁卡·凯德利 , 乔治·盖利 :
基于环境逻辑的查询语言。 员工持股计划 2001 : 1-22 [公元33年] 鲁卡·凯德利 , 乔治·盖利 :
基于环境逻辑的查询语言。 SEBD公司 2001 : 95-104 2000 [公元9年] 安东尼奥·阿尔巴诺 , 朱塞佩·安托诺尼 , 乔治·盖利 :
查看静态类型数据库语言中具有角色的对象的操作。 IEEE传输。 知识。 数据工程。 12 ( 4 ) : 548-567 ( 2000 ) [公元32年] 鲁卡·凯德利 , 乔治·盖利 , 安德鲁·戈登 :
保密和组创建。 CONCUR公司 2000 : 365-379 [公元31年] 鲁卡·凯德利 , 乔治·盖利 , 安德鲁·戈登 :
环境组和移动类型。 IFIP TCS 2000 : 333-347 [c30] 鲁卡·凯德利 , 安迪·戈登 , 乔治·盖利 :
保密,团队创建。 MFCSIT公司 2000 : 7
1990 – 1999
1999 [j8] 保罗·巴尔丹 , 乔治·盖利 , 亚历山德拉·拉斐塔 :
F有界量化的基本理论。 Inf.计算。 153 ( 1 ) : 173-237 ( 1999 ) [公元29年] 鲁卡·凯德利 , 安德鲁·戈登 , 乔治·盖利 :
移动环境的移动类型。 ICALP公司 1999 : 230-239 [公元28年] 达里奥·科拉佐 , 乔治·盖利 :
在Kernel Fun中键入递归类型。 低收入国家 1999 : 137-146 1998 [j7] 乔治·盖利 , 本杰明·皮尔斯 :
有界存在与最小类型。 西奥。 计算。 科学。 193 ( 1-2 ) : 75至96 ( 1998 ) [公元27年] 乔治·盖利 , F.南尼 , G.普格利利 , 安东尼奥·阿尔巴诺 :
斐波那契指数。 SEBD公司 1998 : 377-397 1997 [j6] 乔治·盖利 :
系统F有界的终止:一个完整的证明。 Inf.计算。 139 ( 1 ) : 39-56 ( 1997 ) 1996 [公元26年] 乔治·盖利 , 伊戈尔·普奇 :
斐波那契图形系统。 DEXA研讨会 1996 : 237-242 [公元25年] 乔治·盖利 :
内核趣味子类型检查的复杂性。 ICFP公司 1996 : 134-145 [公元24年] 理查德·康纳 , 乔治·盖利 , 保罗·曼吉 :
持久性、模块和类型抽象。 销售时点情报系统 1996 : 48-59 【c23】 乔治·盖利 , 伊戈尔·普奇 :
我是菲波纳契的姐妹。 SEBD公司 1996 : 35-50 1995 [j5] 朱塞佩·卡斯塔尼亚 , 乔治·盖利 , 朱塞佩·隆戈 :
带子类型的重载函数的微积分。 Inf.计算。 117 ( 1 ) : 115-135 ( 1995 ) 【j4】 乔治·盖利 :
F<类型检查的分歧。 西奥。 计算。 科学。 139 ( 1&2 ) : 131-162 ( 1995 ) [j3] 安东尼奥·阿尔巴诺 , 乔治·盖利 , 伦佐·奥西尼 :
斐波那契:对象数据库的编程语言。 VLDB J。 4 ( 三 ) : 403-444 ( 1995 ) [公元22年] 安东尼奥·阿尔巴诺 , 米莱娜·迪奥塔列维 , 乔治·盖利 :
数据库演化的可扩展对象:语言特性和实现问题。 DBPL公司 1995 : 10 【c21】 安东尼奥·阿尔巴诺 , 朱塞佩·安托诺尼 , 吉安卢卡·巴拉蒂 , 乔治·盖利 , 伦佐·奥西尼 :
伊尔·伽利略95。 SEBD公司 1995 : 247-272 1994 [注2] 皮埃尔·路易斯·居里 , 乔治·盖利 :
F_\le中β\eta\hboxtop_\le还原的决定性和合流性。 Inf.计算。 109 ( 1/2 ) : 57-114 ( 1994 ) [公元20年] 安东尼奥·阿尔巴诺 , 卡拉·布拉西尼 , 米莲娜·迪奥塔列维 , 乔治·盖利 , 伦佐·奥西尼 :
斐波那契体系导览。 SEBD公司 1994 : 371-394年 1993 [第19条] 安东尼奥·阿尔巴诺 , 罗伯托·贝尔加米尼 , 乔治·盖利 , 伦佐·奥西尼 :
数据库编程语言斐波那契简介。 SEBD公司 1993 : 247-266 [第18条] 朱塞佩·卡斯塔尼亚 , 乔治·盖利 , 朱塞佩·隆戈 :
Lambda&-eearly的语义:重载和早期绑定的微积分。 薄层色谱分析 1993 : 107-123 [第17条] 乔治·盖利 :
递归类型对F不保守。 薄层色谱分析 1993 : 146-162 [第16条] 安东尼奥·阿尔巴诺 , 罗伯托·贝加米尼 , 乔治·盖利 , 伦佐·奥西尼 :
具有角色的对象数据模型。 超大规模数据库 1993 : 39-51 1992 [j1] 皮埃尔·路易斯·居里 , 乔治·盖利 :
F中包含、最小类型和类型检查的一致性 <= . 数学。 结构。 计算。 科学。 2 ( 1 ) : 55至91 ( 1992 ) [第15条] 朱塞佩·卡斯塔尼亚 , 乔治·盖利 , 朱塞佩·隆戈 :
带子类型的重载函数的微积分。 LISP与函数编程 1992 : 182-192 [第14条] 乔治·盖利 :
持久语言中对层次记录的运行时支持。 位置 1992 : 107-123 [第13条] 理查德·康纳 , 马尔科姆·P·阿特金森 , 乔治·盖利 , 大森Atsushi Ohori :
关于持久型系统的主题讨论会。 销售时点情报系统 1992 : 216-221 1991 [第12条] 安东尼奥·阿尔巴诺 , 乔治·盖利 , 伦佐·奥西尼 :
数据库编程语言的对象。 DBPL公司 1991 : 236-253 [第11条] 乔治·盖利 :
消息传递的静态类型系统。 乌普斯拉 1991 : 129-145 [第10条] 皮埃尔·路易斯·居里 , 乔治·盖利 :
弱正规化系统的汇流。 区域贸易协定 1991 : 215-225 【c9】 皮埃尔·路易斯·居里 , 乔治·盖利 :
分型+扩展性:F中β-eta-top减少的融合 <= . 节气门执行器控制系统 1991 : 731-749 【c8】 安东尼奥·阿尔巴诺 , 乔治·盖利 , 伦佐·奥西尼 :
一种强类型面向对象数据库编程语言的关系机制。 视频数据库 1991 : 565-575 [第1页] 安东尼奥·阿尔巴诺 , 乔治·盖利 , 尤金妮娅·奥奇乌托(M.Eugenia Occhiuto) , 伦佐·奥西尼 :
面向对象的伽利略。 面向对象数据库系统研究 1991 : 87-104 1990 【c7】 皮埃尔·路易斯·居里 , 乔治·盖利 :
承诺的一致性。 CAAP公司 1990 : 132-146 【c6】 乔治·盖利 :
层次型系统的类抽象。 ICDT公司 1990 : 56-71 【c5】 乔治·盖利 :
具有子类型的二阶函数语言中面向对象语言的建模特征。 REX研讨会 1990 : 311-340
1980 – 1989
1989 【c4】 安东尼奥·阿尔巴诺 , 阿兰·迪尔 , 乔治·盖利 , 克里斯·马林 , 罗纳德·莫里森 , 伦佐·奥西尼 , 大卫·W·斯坦普尔 :
用于比较数据库编程语言的类型系统的框架。 DBPL公司 1989 : 170-178 【c3】 安东尼奥·阿尔巴诺 , 乔治·盖利 , 伦佐·奥西尼 :
数据库类型:Galileo体验。 DBPL公司 1989 : 196-206 1986 【c2】 安东尼奥·阿尔巴诺 , 乔治·盖利 , 尤金妮娅·奥奇乌托(M.Eugenia Occhiuto) , 伦佐·奥西尼 :
一种强类型、交互式面向对象的数据库编程语言。 好的 1986 : 94年至103年 1985 【c1】 安东尼奥·阿尔巴诺 , 乔治·盖利 , 伦佐·奥西尼 :
伽利略持久价值观的实现。 数据类型和持久性(Appin) 1985 : 253-263 [i1] 安东尼奥·阿尔巴诺 , 乔治·盖利 , 伦佐·奥西尼 :
伽利略持久价值观的实现。 数据类型和持久性(Appin),非正式程序 1985 : 197-208