×

约翰·加拉赫(John P.Gallagher)。

作者ID: 加拉赫.john-p最近的zbMATH文章由“Gallagher,John P.”撰写
发布日期: 约翰·加拉赫(John P.Gallagher)。约翰·加拉赫加拉赫,J.P。
编入索引的文档: 38出版物自1969年起
8作为编辑的贡献
合著者: 42位合著者具有42联合出版物
798合著作者

按年份列出的出版物

zbMATH Open中包含的引文

35出版物有被引用92中的次68文件 引用人 年份
逻辑编程中的元程序设计。 Zbl 0900.68137号
希尔,P.M。J·加拉赫。
10
1998
使用约束Horn子句进行前提推理的迭代方法。 Zbl 1451.68075号
比肖克桑·卡夫约翰·加拉赫(John P.Gallagher)。格雷姆·恒河彼得·沙赫特哈拉尔德·森德加德彼得·斯图基(Peter J.Stuckey)。
6
2018
使用凸多面体抽象和基于树自动机的细化进行Horn子句验证。 Zbl 1379.68239号
比肖克桑·卡夫约翰·加拉赫(John P.Gallagher)。
6
2017
逻辑程序良好类型的推断及其在终止分析中的应用。 Zbl 1141.68360号
莫里斯·布吕诺格约翰·加拉赫沃特·范·汉贝克
6
2005
带有不纯正谓词的逻辑程序部分求值中的非左端展开。 Zbl 1156.68324号
艾尔维拉·阿尔伯特德国普埃布拉约翰·加拉赫(John P.Gallagher)。
6
2006
CLP中线性混合系统的分析。 Zbl 1185.68406号
古里纳斯·班达约翰·加拉赫(John P.Gallagher)。
6
2009
通过部分评估对控制流进行细化,并将其应用于终止和成本分析。 Zbl 1434.68104号
杜梅内克,杰苏斯·J·。约翰·加拉赫(John P.Gallagher)。萨米尔·根奈姆
5
2019
程序专业化算法的推导。 Zbl 0742.68044号
约翰·加拉赫莫里斯·布吕诺格
4
1991
基于类型的同胚嵌入用于在线终止。 Zbl 1205.68508号
艾尔维拉·阿尔伯特约翰·加拉赫米盖尔·戈梅斯·扎马洛亚德国普埃布拉
4
2009
约束Horn子句验证中的树维度。 Zbl 1478.68165号
比肖克桑·卡夫约翰·加拉赫(John P.Gallagher)。皮埃尔·甘蒂
2018
基于正则类型的抽象域。 Zbl 1104.68377号
约翰·加拉赫(John P.Gallagher)。亨利克森,Kim S。
2004
参数累积成本静态分析的转换方法。 Zbl 1475.68087号
哈默雷,R。López-García,P。美国利卡特。M.克莱门。加拉格尔,J.P。M.V.Hermenegildo。
2016
时态逻辑的基于约束的抽象语义:设计和实现的直接方法。 Zbl 1253.68218号
古里纳斯·班达约翰·加拉赫(John P.Gallagher)。
2010
CLP程序专业化中的凸包抽象。 兹比尔1278.68052
朱利奥·佩拉尔塔。约翰·加拉赫(John P.Gallagher)。
2003
结合规范证明终止。 Zbl 1057.68585号
萨米尔·根奈姆迈克尔·科迪什约翰·加拉赫维塔利湖
2002
从大步骤到小步骤语义,再到解释器专业化。 Zbl 07453190号
约翰·加拉赫(John P.Gallagher)。曼纽尔·赫尔梅内吉尔多比肖克桑·卡夫马克西米利亚诺·克莱门佩德罗·洛佩斯·加西亚何塞·莫拉莱斯
2020
用于程序验证的约束Horn子句的分析和转换。 Zbl 07776353号
伊曼纽尔·德·安吉利斯法比奥·菲奥拉万蒂约翰·加拉赫(John P.Gallagher)。曼努埃尔五世(Manuel V.Hermenegildo)。阿尔贝托·佩特罗西毛里齐奥·普罗埃蒂
2022
逻辑程序分析和转换在定理证明中的适用性。 Zbl 1433.68543号
德瓦尔,D.A。加拉赫,J.P。
2
1994
使用抽象解释对Prolog和FCP程序进行专门化。 Zbl 0654.68025号
约翰·加拉赫迈克尔·科迪什埃胡德·夏皮罗
2
1988
Prolog的全自动绑定时间分析。 兹比尔1134.68330
斯蒂芬·克雷格约翰·加拉赫(John P.Gallagher)。Michael Leuschel先生亨利克森,Kim S。
2
2005
Horn子句验证中的凸多面体抽象、专门化和基于属性的谓词分裂。 Zbl 1464.68208号
比肖克桑·卡夫约翰·加拉赫(John P.Gallagher)。
2
2014
近似术语重写系统:Horn子句规范及其实现。 Zbl 1182.68093号
约翰·加拉赫(John P.Gallagher)。罗森达尔,麦兹
2
2008
非歧视性论据及其使用。 Zbl 1251.68055号
海宁·克里斯蒂安森约翰·加拉赫(John P.Gallagher)。
2
2009
从单态到多态的良好类型,甚至更远。 Zbl 1185.68180号
汤姆·施里杰弗斯莫里斯·布吕诺格约翰·加拉赫(John P.Gallagher)。
2
2009
并行逻辑程序静态成本分析的一般框架。 Zbl 1502.68068号
马克西米利亚诺·克莱门佩德罗·洛佩兹·加西亚约翰·加拉赫(John P.Gallagher)。JoséF·莫拉莱斯。曼努埃尔五世(Manuel V.Hermenegildo)。
2
2020
关于一个拓扑Erdős相似问题。 Zbl 07738040号
约翰·加拉赫赖春杰埃里克·韦伯
1
2023
强制性项目专业化:一种使用CLP的方法。 Zbl 0964.68557号
朱利奥·佩拉尔塔。约翰·加拉赫(John P.Gallagher)。
1
2000
基于逻辑的程序合成和转换。第27届国际研讨会,2017年LOPSTR,2017年10月10日至12日,比利时纳穆尔。修订了选定的论文。 Zbl 1392.68017号
1
2018
叠加在新霍克材料有限三轴拉伸上的小变形的基本积分。 Zbl 0201.28005号
加拉赫,J.P。J.N.弗拉文。
1
1969
基于树自动机的精化,应用于Horn子句验证。 Zbl 1432.68263号
比肖克桑·卡夫约翰·加拉赫(John P.Gallagher)。
1
2015
各向异性弹性整体空间中的刚性椭圆夹杂。 Zbl 0357.73019号
J.N.弗拉文。加拉赫,J.P。
1
1976
基于预解释的放大分析技术。 Zbl 1165.68332号
约翰·加拉赫(John P.Gallagher)。亨利克森,Kim S。古里纳斯·班达
1
2005
基于类型的同胚嵌入及其在在线部分评估中的应用。 Zbl 1179.68031号
艾尔维拉·阿尔伯特约翰·加拉赫米盖尔·戈梅斯·扎马洛亚德国普埃布拉
1
2008
特刊:PEPM 2010,ACM SIGPLAN 2010部分评估和程序操作研讨会,西班牙马德里,2010年1月18-19日。精选论文。 Zbl 1254.68029号
1
2010
使用线性Horn子句求解器求解非线性Horn子句。 Zbl 1482.68141号
比肖克桑·卡夫约翰·加拉赫(John P.Gallagher)。皮埃尔·甘蒂
1
2016
关于一个拓扑Erdős相似问题。 Zbl 07738040号
约翰·加拉赫赖春杰埃里克·韦伯
1
2023
用于程序验证的约束Horn子句的分析和转换。 Zbl 07776353号
伊曼纽尔·德·安吉利斯法比奥·菲奥拉万蒂约翰·加拉赫(John P.Gallagher)。曼努埃尔五世(Manuel V.Hermenegildo)。阿尔贝托·佩特罗西毛里齐奥·普罗埃蒂
2022
从大步骤到小步骤语义,再到解释器专业化。 Zbl 07453190号
约翰·加拉赫(John P.Gallagher)。曼纽尔·赫尔梅内吉尔多比肖克桑·卡夫马克西米利亚诺·克莱门佩德罗·洛佩斯·加西亚何塞·莫拉莱斯
2020
并行逻辑程序静态成本分析的一般框架。 Zbl 1502.68068号
马克西米利亚诺·克莱门佩德罗·洛佩兹·加西亚约翰·加拉赫(John P.Gallagher)。JoséF·莫拉莱斯。曼努埃尔五世(Manuel V.Hermenegildo)。
2
2020
通过部分评估对控制流进行细化,并将其应用于终止和成本分析。 Zbl 1434.68104号
杜梅内克,杰苏斯·J·。约翰·加拉赫(John P.Gallagher)。萨米尔·根奈姆
5
2019
使用约束Horn子句进行前提推理的迭代方法。 Zbl 1451.68075号
比肖克桑·卡夫约翰·加拉赫(John P.Gallagher)。格雷姆·恒河彼得·沙赫特哈拉尔德·森德加德彼得·斯图基(Peter J.Stuckey)。
6
2018
约束Horn子句验证中的树维度。 Zbl 1478.68165号
比肖克桑·卡夫约翰·加拉赫(John P.Gallagher)。皮埃尔·甘蒂
2018
基于逻辑的程序合成和转换。第27届国际研讨会,2017年LOPSTR,2017年10月10日至12日,比利时纳穆尔。修订了选定的论文。 兹比尔1392.68017
1
2018
使用凸多面体抽象和基于树自动机的细化进行Horn子句验证。 Zbl 1379.68239号
比肖克桑·卡夫约翰·加拉赫(John P.Gallagher)。
6
2017
参数累积成本静态分析的转换方法。 兹比尔1475.68087
哈默雷,R。López-García,P。美国利卡特。M.克莱门。加拉赫,J.P。M.V.Hermenegildo。
2016
使用线性Horn子句求解器求解非线性Horn子句。 Zbl 1482.68141号
比肖克桑·卡夫约翰·加拉赫(John P.Gallagher)。皮埃尔·甘蒂
1
2016
基于树自动机的精化,应用于Horn子句验证。 Zbl 1432.68263号
比肖克桑·卡夫约翰·加拉赫(John P.Gallagher)。
1
2015
Horn子句验证中的凸多面体抽象、专门化和基于属性的谓词分裂。 Zbl 1464.68208号
比肖克桑·卡夫约翰·加拉赫(John P.Gallagher)。
2
2014
时态逻辑的基于约束的抽象语义:设计和实现的直接方法。 Zbl 1253.68218号
古里纳斯·班达约翰·加拉赫(John P.Gallagher)。
2010
特刊:PEPM 2010,ACM SIGPLAN 2010部分评估和程序操作研讨会,西班牙马德里,2010年1月18-19日。精选论文。 Zbl 1254.68029号
1
2010
CLP中线性混合系统的分析。 Zbl 1185.68406号
古里纳斯·班达约翰·加拉赫(John P.Gallagher)。
6
2009
基于类型的同胚嵌入用于在线终止。 Zbl 1205.68508号
艾尔维拉·阿尔伯特约翰·加拉格尔米盖尔·戈梅斯·扎马洛亚德国普埃布拉
4
2009
非歧视性论据及其使用。 Zbl 1251.68055号
海宁·克里斯蒂安森约翰·加拉赫(John P.Gallagher)。
2
2009
从单态到多态的良好类型,甚至更远。 Zbl 1185.68180号
汤姆·施里杰弗斯莫里斯·布吕诺格约翰·加拉赫(John P.Gallagher)。
2
2009
近似术语重写系统:Horn子句规范及其实现。 Zbl 1182.68093号
约翰·加拉赫(John P.Gallagher)。罗森达尔,麦兹
2
2008
基于类型的同胚嵌入及其在在线部分评估中的应用。 Zbl 1179.68031号
艾尔维拉·阿尔伯特约翰·加拉赫米盖尔·戈梅斯·扎马洛亚德国普埃布拉
1
2008
带有不纯正谓词的逻辑程序部分求值中的非左端展开。 Zbl 1156.68324号
艾尔维拉·阿尔伯特德国普埃布拉约翰·加拉赫(John P.Gallagher)。
6
2006
逻辑程序良好类型的推断及其在终止分析中的应用。 Zbl 1141.68360号
莫里斯·布吕诺格约翰·加拉赫沃特·范·汉贝克
6
2005
Prolog的全自动绑定时间分析。 Zbl 1134.68330号
斯蒂芬·克雷格约翰·加拉赫(John P.Gallagher)。Michael Leuschel先生亨利克森,Kim S。
2
2005
基于预解释的放大分析技术。 Zbl 1165.68332号
约翰·加拉赫(John P.Gallagher)。亨利克森,Kim S。古里纳斯·班达
1
2005
基于正则类型的抽象域。 Zbl 1104.68377号
约翰·加拉赫(John P.Gallagher)。亨利克森,Kim S。
2004
CLP程序专业化中的凸包抽象。 Zbl 1278.68052号
朱利奥·佩拉尔塔。约翰·加拉赫(John P.Gallagher)。
2003
结合规范证明终止。 Zbl 1057.68585号
萨米尔·根奈姆迈克尔·科迪什约翰·加拉赫维塔利湖
2002
强制性专业化:一种使用CLP的方法。 Zbl 0964.68557号
朱利奥·佩拉尔塔。约翰·加拉赫(John P.Gallagher)。
1
2000
逻辑编程中的元程序设计。 Zbl 0900.68137号
希尔,P.M。J·加拉赫。
10
1998
逻辑程序分析和转换在定理证明中的适用性。 Zbl 1433.68543号
德瓦尔,D.A。加拉赫,J.P。
2
1994
程序专业化算法的推导。 Zbl 0742.68044号
约翰·加拉赫莫里斯·布吕诺格
4
1991
使用抽象解释对Prolog和FCP程序进行专门化。 Zbl 0654.68025号
约翰·加拉赫迈克尔·科迪什埃胡德·夏皮罗
2
1988
各向异性弹性整体空间中的刚性椭圆夹杂。 Zbl 0357.73019号
J.N.弗拉文。加拉赫,J.P。
1
1976
叠加在新霍克材料有限三轴拉伸上的小变形基本积分。 兹比尔0201.28005
加拉赫,J.P。J.N.弗拉文。
1
1969
全部的 前5名

134位作者引用

13 约翰·加拉赫(John P.Gallagher)。
10 曼努埃尔五世(Manuel V.Hermenegildo)。
6 艾尔维拉·阿尔伯特
6 伊曼纽尔·德·安吉利斯
6 法比奥·菲奥拉万蒂
6 何塞·弗朗西斯科·莫拉莱斯
6 毛里齐奥·普罗埃蒂
5 比肖克桑·卡夫
5 佩德罗·洛佩兹·加西亚
5 阿尔贝托·佩特罗西
5 德国普埃布拉
4 Michael Leuschel先生
4 德国维达尔
维托尔·桑托斯·科斯塔
萨米尔·根奈姆
米盖尔·戈梅斯·扎马洛亚
马克西米利亚诺·克莱门
马丁·马丁,恩里克
2 莫里斯·布吕诺格
2 丹尼·德·施雷耶
2 圣地亚哥埃斯科瓦尔
2 马里奥弗洛里多
2 格雷姆·恒河
2 皮埃尔·甘蒂
2 伊莎贝尔·加西亚·孔特雷拉斯
2 罗伯特·格莱克
2 劳尔·古铁雷斯
2 克劳迪奥·奥乔亚
2 安德烈·里巴尔琴科
2 彼得·沙赫特
2 哈拉尔德·森德加德
2 彼得·詹姆斯·斯塔基
1 萨尔瓦多阿布雷乌
1 克里希纳什里·阿楚坦
1 艾哈迈迪、赛义德·法扎德
1 玛丽亚·阿尔普特
1 保罗·巴尔丹
1 黛米斯·巴利斯
1 古里纳斯·班达
1 波登,泰国
1 Tewodros A.Beyene。
1 尼古拉·S·比约纳。
1 米克尔波菲尔
1 波纳蒂,皮耶罗·安德里亚
1 克里斯蒂娜·博拉莱拉斯
1 德米特里·布朗格
1 弗兰克·卡塞兹
1 伊格纳西奥·卡索
1 阿齐姆·查德哈里
1 利迪亚·切尔尼戈夫斯卡娅
1 海宁·克里斯蒂安森
1 乔瓦尼·西亚托
1 维罗妮卡·达尔
1 德瓦尔,D.A。
1 丹尼尔·迪亚兹
1 丹尼尔·迪特施
1 杜梅内克,杰苏斯·J·。
1 阿戈斯蒂诺·多维尔
1 弗朗西斯科·杜兰
1 史蒂文·艾克
1 莫特扎·埃斯坎达里
1 格里戈里·费迪尤科维奇
1 安德烈亚·福米萨诺
1 卡斯滕·福斯
1 托马斯·杰奈特
1 罗伯托·贾科巴齐
1 吉尔根·吉斯尔
1 劳雷·贡诺德
1 丹尼尔·卡贝扎(Daniel Cabeza),格拉斯(Gras)
1 拉森·金(Larsen Kim Guldstrand)
1 戈帕尔·古普塔
1 阿里·古芬克尔
1 洛朗·哈斯科特
1 马蒂亚斯·海兹曼
1 Jochen Hoenicke公司
1 侯赛因霍贾特
1 塔马斯·霍瓦思。
1 巴拉特·贾亚拉曼
1 彼得·格约尔·詹森
1 Jinesh M.卡尼穆拉。
1 安迪·金
1 巴巴拉·科尼格
1 菲利普·科纳
1 马蒂斯·克鲁斯
1 维克多·昆卡
1 奥利·托普·拉森
1 乔治·劳森
1 乌默·利卡特
1 尼尔斯·洛曼
1 洛佩斯·弗拉瓜斯,弗朗西斯科·哈维尔
1 卢、伦金
1 萨尔瓦多卢卡斯
1 伯尔尼马滕斯
1 马丁·奥列特,纳西索
1 肯尼思·麦克米兰。
1 迈克尔·迈尔
1 何塞·梅塞盖尔·瓜伊塔
1 弗雷德·梅斯纳德
1 费比安·梅耶
1 新几内亚莫罗兹。
…还有34位作者

按年份列出的引文