刷新
{{item.name}}会员
Interprocedural program analysis for modern object-oriented languages
现代面向对象语言的过程间程序分析
基本信息
- 批准号：462310-2014
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Accelerator Supplements
- 财政年份：2016
- 资助国家：加拿大
- 起止时间：2016-01-01 至 2017-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
现代面向对象语言的过程间程序分析
- 批准号：
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
Interprocedural program analysis for modern object-oriented languages
现代面向对象语言的过程间程序分析
- 批准号：
462310-2014 - 财政年份：2014
- 资助金额：
$ 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
JAX Diversity Action Plan (DAP) Post-Baccalaureate Program in Genomics (gDAP)
JAX 多样性行动计划 (DAP) 基因组学学士后计划 (gDAP)
- 批准号：
10555588 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
CAREER: Program Analysis with Precise Abstractions
职业：精确抽象的程序分析
- 批准号：
2237440 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Continuing Grant
Patient oriented research and mentoring program in dermatologic diseases
以患者为中心的皮肤病研究和指导计划
- 批准号：
10685455 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
A comparative evaluation of overdose prevention programs in New York City and Rhode Island
纽约市和罗德岛州药物过量预防计划的比较评估
- 批准号：
10629749 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Planning Study for the Development of Sigma 2 ligands as Analgesics
Sigma 2 配体镇痛药开发规划研究
- 批准号：
10641500 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
WashU-VAI Somatic Mosaicism across Human Tissues (SMaHT) Program Genome Characterization Center
WashU-VAI 人体组织体细胞嵌合 (SMaHT) 计划基因组表征中心
- 批准号：
10662065 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Move and Snooze: Adding insomnia treatment to an exercise program to improve pain outcomes in older adults with knee osteoarthritis
活动和小睡：在锻炼计划中添加失眠治疗，以改善患有膝骨关节炎的老年人的疼痛结果
- 批准号：
10797056 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Creating an advanced multi-ancestral resource and tools for short tandem repeat analysis in the AOURP researcher workbench
在 AOURP 研究人员工作台中创建先进的多祖先资源和工具，用于短串联重复分析
- 批准号：
10798717 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Development of an HPV stigma assessment scale and a stigma-reducing intervention to improve cervical cancer prevention in El Salvador
制定 HPV 耻辱评估量表和减少耻辱干预措施，以改善萨尔瓦多的宫颈癌预防
- 批准号：
10844859 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：