权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order Programs

高阶约束 Horn 子句：验证高阶程序的新方法

基本信息

批准号：
EP/T006595/1
负责人：
Steven Ramsay
金额：
$ 46.75万
依托单位：
University of Bristol
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2020
资助国家：
英国
起止时间：
2020 至无数据
项目状态：
已结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FT006595%2F1
关键词：
Higher order Constrained Horn Clauses

项目摘要

Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.

目前，所有资助研究的摘要都不能在GTR中找到。这通常是因为在提交提案时并不需要摘要，但可能是因为它包含了个人详细信息等敏感信息。

项目成果

期刊论文数量（5）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Higher-Order MSL Horn Constraints

高阶 MSL 喇叭约束

DOI：
10.1145/3571262
发表时间：
2023
期刊：
Proceedings of the ACM on Programming Languages
影响因子：
0
作者：
Jochems J
通讯作者：
Jochems J

Intensional datatype refinement: with application to scalable verification of pattern-match safety

内涵数据类型细化：应用于模式匹配安全性的可扩展验证

DOI：
10.1145/3434336
发表时间：
2021
期刊：
Proceedings of the ACM on Programming Languages
影响因子：
0
作者：
Jones E
通讯作者：
Jones E

CycleQ: an efficient basis for cyclic equational reasoning

CycleQ：循环方程推理的有效基础

DOI：
10.1145/3519939.3523731
发表时间：
2022
期刊：
影响因子：
0
作者：
Jones E
通讯作者：
Jones E

Ill-Typed Programs Don't Evaluate

类型错误的程序不进行评估

DOI：
10.1145/3632909
发表时间：
2024
期刊：
Proceedings of the ACM on Programming Languages
影响因子：
0
作者：
Ramsay S
通讯作者：
Ramsay S

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses

初始限制数据记录：可判定约束 Horn 子句的新可扩展类

DOI：
10.1109/lics52264.2021.9470527
发表时间：
2021
期刊：
影响因子：
0
作者：
Burn T
通讯作者：
Burn T

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Steven Ramsay其他文献

Marked method differences in the measurement of thyroid function tests support the need for standardisation

DOI：
10.1016/j.pathol.2022.12.270
发表时间：
2023-02-01
期刊：
Conference abstract
影响因子：
作者：
Daniella Angeleski;Catherine Lynch;Warren Louey;Alan McNeil;Amir Naimi;Intissar Bittar;Joel Smith;Angela Chiriano;Steven Ramsay;Christina Trambas
通讯作者：
Christina Trambas