刷新
{{item.name}}会员
Interprocedural program analysis for modern object-oriented languages
现代面向对象语言的过程间程序分析
基本信息
- 批准号：462310-2014
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Accelerator Supplements
- 财政年份：2014
- 资助国家：加拿大
- 起止时间：2014-01-01 至 2015-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Lhotak, Ondrej其他文献
Static Analysis of Event-Driven Node.js JavaScript Applications
- DOI：
10.1145/2858965.2814272 - 发表时间：
2015-10-01 - 期刊：
- 影响因子：0
- 作者：
Madsen, Magnus;Tip, Frank;Lhotak, Ondrej - 通讯作者：
Lhotak, Ondrej
A Semantics for the Essence of React
React 本质的语义
- DOI：
- 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
Madsen, Magnus;Lhotak, Ondrej;Tip, Frank - 通讯作者：
Tip, Frank
A Study of Call Graph Construction for JVM-Hosted Languages
JVM 托管语言的调用图构建研究
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：7.4
- 作者：
Ali, Karim;Lai, Xiaoni;Luo, Zhaoyi;Lhotak, Ondrej;Dolby, Julian;Tip, Frank - 通讯作者：
Tip, Frank
Lhotak, Ondrej的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Lhotak, Ondrej', 18)}}的其他基金
Type Systems and Static Analyses for Programs with Mutable Data
具有可变数据的程序的类型系统和静态分析
- 批准号：
RGPIN-2020-04021 - 财政年份：2022
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Type Systems and Static Analyses for Programs with Mutable Data
具有可变数据的程序的类型系统和静态分析
- 批准号：
RGPIN-2020-04021 - 财政年份：2021
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Type Systems and Static Analyses for Programs with Mutable Data
具有可变数据的程序的类型系统和静态分析
- 批准号：
RGPIN-2020-04021 - 财政年份：2020
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Interprocedural program analysis for modern object-oriented languages
现代面向对象语言的过程间程序分析
- 批准号：
RGPIN-2014-05645 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Interprocedural program analysis for modern object-oriented languages
现代面向对象语言的过程间程序分析
- 批准号：
RGPIN-2014-05645 - 财政年份：2018
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Interprocedural program analysis for modern object-oriented languages
现代面向对象语言的过程间程序分析
- 批准号：
RGPIN-2014-05645 - 财政年份：2017
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Interprocedural program analysis for modern object-oriented languages
现代面向对象语言的过程间程序分析
- 批准号：
RGPIN-2014-05645 - 财政年份：2016
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Interprocedural program analysis for modern object-oriented languages
现代面向对象语言的过程间程序分析
- 批准号：
462310-2014 - 财政年份：2016
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
Interprocedural program analysis for modern object-oriented languages
现代面向对象语言的过程间程序分析
- 批准号：
RGPIN-2014-05645 - 财政年份：2015
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Individual
Interprocedural program analysis for modern object-oriented languages
现代面向对象语言的过程间程序分析
- 批准号：
462310-2014 - 财政年份：2015
- 资助金额：
$ 2.91万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
相似国自然基金
凯莱流形上的几何流
- 批准号：11771301
- 批准年份：2017
- 资助金额：48.0 万元
- 项目类别：面上项目
秘密共享及其在安全多方计算中的应用
- 批准号：60573004
- 批准年份：2005
- 资助金额：21.0 万元
- 项目类别：面上项目
相似海外基金
Conference: CRM Thematic Program in Geometric Analysis
会议：几何分析中的 CRM 主题课程
- 批准号：
2401549 - 财政年份：2024
- 资助金额：
$ 2.91万 - 项目类别：
Standard Grant
CAREER: Program Analysis with Precise Abstractions
职业：精确抽象的程序分析
- 批准号：
2237440 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Continuing Grant
JAX Diversity Action Plan (DAP) Post-Baccalaureate Program in Genomics (gDAP)
JAX 多样性行动计划 (DAP) 基因组学学士后计划 (gDAP)
- 批准号：
10555588 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
A multicenter study in bronchoscopy combining Stimulated Raman Histology with Artificial intelligence for rapid lung cancer detection - The ON-SITE study
支气管镜检查结合受激拉曼组织学与人工智能快速检测肺癌的多中心研究 - ON-SITE 研究
- 批准号：
10698382 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
The Role of Glycosyl Ceramides in Heart Failure and Recovery
糖基神经酰胺在心力衰竭和恢复中的作用
- 批准号：
10644874 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Sex-specific Impact of Prenatal Opioids on Brain Reward Signaling and Neonatal Feeding Regulation
产前阿片类药物对大脑奖赏信号和新生儿喂养调节的性别特异性影响
- 批准号：
10506345 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Whole genome sequence interpretation for lipids to discover new genes and mechanisms for coronary artery disease
脂质的全基因组序列解释，以发现冠状动脉疾病的新基因和机制
- 批准号：
10722515 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Towards equitable early identification of autism spectrum disorders in females
实现女性自闭症谱系障碍的公平早期识别
- 批准号：
10722011 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Vesicle Epitope Transcript sequencing (VET-seq): Droplet-based Multiomic Profiling Platform for Single Vesicle Analysis
囊泡表位转录本测序 (VET-seq)：用于单囊泡分析的基于液滴的多组学分析平台
- 批准号：
10613257 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Identification of Genetic Variants that Influence Compulsive Alcohol Intake in Outbred Rats
影响近交系大鼠强迫性饮酒的遗传变异的鉴定
- 批准号：
10585109 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：