jStar: making java verification practical
jStar: making java verification practical
jStar：让java验证变得实用
批准号：
EP/H011749/1
负责人：
Dino Distefano
金额：
$27.94万
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2010
资助国家：
英国
项目状态：
已结题
起止时间：
2010 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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)
会议论文
ECOOP 2012 - Object-Oriented Programming
ECOOP 2012 - 面向对象编程
ECOOP 2012 - 面向对象编程
DOI：
10.1007/978-3-642-31057-7_28
发表时间：
2012
期刊：
影响因子：
--
作者：
[Dias R]
通讯作者：
Dias R
DOI：
10.1145/2049697.2049700
发表时间：
2011-12-01
期刊：
JOURNAL OF THE ACM
影响因子：
2.5
作者：
[Calcagno, Cristiano, Distefano, Dino, Yang, Hongseok]
通讯作者：
Yang, Hongseok
DOI：
10.1007/978-3-642-54804-8_6
发表时间：
2014
期刊：
影响因子：
--
作者：
[Fiadeiro J]
通讯作者：
Fiadeiro J
Adaptive Heap Analysis
-
批准号：EP/G006245/1
-
项目类别：Research Grant
-
资助金额：$32.24万
-
财政年份：2009
-
负责人：Dino Distefano
-
依托单位：
国内基金
海外基金
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
-
批准号：--
-
项目类别：合作创新研究团队
-
资助金额：--
-
批准年份：2024
-
负责人：姚韬
-
依托单位：
补偿性还是非补偿性规则：探析风险决策的行为与神经机制
-
批准号：31170976
-
项目类别：面上项目
-
资助金额：64.0万元
-
批准年份：2011
-
负责人：李纾
-
依托单位：
