课题基金 / 基金详情

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

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
关键词：
HigherorderConstrainedHornClauses

项目摘要

项目成果

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
Higher-Order MSL Horn Constraints
高阶 MSL 喇叭约束
DOI： 10.1145/3571262
发表时间： 2023
期刊： Proceedings of the ACM on Programming Languages
影响因子： --
作者： [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
影响因子： --
作者： [Jones E]
通讯作者： Jones E
CycleQ: an efficient basis for cyclic equational reasoning
CycleQ：循环方程推理的有效基础
DOI： 10.1145/3519939.3523731
发表时间： 2022
期刊：
影响因子： --
作者： [Jones E]
通讯作者： Jones E
Ill-Typed Programs Don't Evaluate
类型错误的程序不进行评估
DOI： 10.1145/3632909
发表时间： 2024
期刊： Proceedings of the ACM on Programming Languages
影响因子： --
作者： [Ramsay S]
通讯作者： Ramsay S
国内基金
海外基金
基于Order的SIS/LWE变体问题及其应用
  • 批准号：
    --
  • 项目类别：
    面上项目
  • 资助金额：
    53万元
  • 批准年份：
    2022
  • 负责人：
    杨少军
  • 依托单位：
    福建师范大学
体内亚核小体图谱的绘制及其调控机制研究
  • 批准号：
    32000423
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2020
  • 负责人：
    温增麒
  • 依托单位：
    中国科学院生物物理研究所
水稻H3K27me3标记基因的三维基因组结构解析及其调控抽穗期的机理研究
  • 批准号：
    32070612
  • 项目类别：
    面上项目
  • 资助金额：
    58.0万元
  • 批准年份：
    2020
  • 负责人：
    李兴旺
  • 依托单位：
    华中农业大学
CTCF/cohesin介导的染色质高级结构调控DNA双链断裂修复的分子机制研究
  • 批准号：
    32000425
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2020
  • 负责人：
    寿佳
  • 依托单位：
    上海交通大学