刷新
{{item.name}}会员
Type soundness without runtime checks: From gradually to fully typed programs via type inference
无需运行时检查的类型健全性：通过类型推断从逐渐类型化程序到完全类型化程序
基本信息
- 批准号：518831-2018
- 负责人：
- 金额：$ 1.53万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postgraduate Scholarships - Doctoral
- 财政年份：2019
- 资助国家：加拿大
- 起止时间：2019-01-01 至 2020-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Programming languages, Type theory, Gradual typing, TypeScript, Typesystems
编程语言，类型理论，渐进式类型，TypeScript，类型系统
项目成果
期刊论文数量（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 }}
Arteca, Ellen其他文献
npm-filter: Automating the mining of dynamic information from npm packages
npm-filter：自动从 npm 包中挖掘动态信息
- DOI：
10.1145/3524842.3528501 - 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Arteca, Ellen;Turcotte, Alexi - 通讯作者：
Turcotte, Alexi
Stubbifier: debloating dynamic server-side JavaScript applications
Stubbifier：消除动态服务器端 JavaScript 应用程序
- DOI：
10.1007/s10664-022-10195-6 - 发表时间：
2022 - 期刊：
- 影响因子：4.1
- 作者：
Turcotte, Alexi;Arteca, Ellen;Mishra, Ashish;Alimadadi, Saba;Tip, Frank - 通讯作者：
Tip, Frank
The Effects of Computational Resources on Flaky Tests (Artifact)
计算资源对 Flaky 测试的影响（工件）
- DOI：
10.5281/zenodo.10015434 - 发表时间：
2023 - 期刊：
- 影响因子：0
- 作者：
Silva, Denini;Gruber, Martin;Gokhale, Satyajit;Arteca, Ellen;Turcotte, Alexi;D'Amorim, Marcelo;Lam, Wing;Winter, Stefan;Bell, Jonathan - 通讯作者：
Bell, Jonathan
Enabling Additional Parallelism in Asynchronous JavaScript Applications
在异步 JavaScript 应用程序中启用额外的并行性
- DOI：
10.4230/lipics.ecoop.2021.7 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Arteca, Ellen;Tip, Frank;Schaefer, Max - 通讯作者：
Schaefer, Max
Arteca, Ellen的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Arteca, Ellen', 18)}}的其他基金
Type soundness without runtime checks: From gradually to fully typed programs via type inference
无需运行时检查的类型健全性：通过类型推断从逐渐类型化程序到完全类型化程序
- 批准号：
518831-2018 - 财政年份：2020
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
Type soundness without runtime checks: From gradually to fully typed programs via type inference
无需运行时检查的类型健全性：通过类型推断从逐渐类型化程序到完全类型化程序
- 批准号：
518831-2018 - 财政年份：2018
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
Sound gradual typing with structural type contracts via the virtual machine
通过虚拟机使用结构类型合约进行声音渐进式打字
- 批准号：
515090-2017 - 财政年份：2017
- 资助金额：
$ 1.53万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
Task-based parallel implementation of MEAM potentials
基于任务的 MEAM 潜力并行实施
- 批准号：
462798-2014 - 财政年份：2014
- 资助金额：
$ 1.53万 - 项目类别：
University Undergraduate Student Research Awards
相似海外基金
Rapid evaluation of structural soundness of steel frames using a coupling coefficient (CC)-based method
使用基于耦合系数 (CC) 的方法快速评估钢框架的结构稳定性
- 批准号：
22KF0221 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Development of new soundness evaluation method using sensor function of anchor
利用锚的传感器功能开发新的稳健性评估方法
- 批准号：
23K04026 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Establishment of a soundness evaluation method for cable supported bridges
索支撑桥梁健全性评价方法的建立
- 批准号：
23K13397 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Validating the type soundness of a programming language through translation into a logical system
通过翻译成逻辑系统来验证编程语言的类型健全性
- 批准号：
22K11902 - 财政年份：2022
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Prediction of Corrosion Rate of Steel Rebars in Carbonated Reinforced Concrete Members and Proposal of a Soundness Assessment Method
碳化钢筋混凝土构件中钢筋腐蚀速率的预测及健全性评估方法的提出
- 批准号：
22J14094 - 财政年份：2022
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Elucidation of the Causal Relationship between Judgment Indicators for Local Public Finance Soundness and New Local Public Accounting Information
地方公共财政稳健性判断指标与新地方公共会计信息之间因果关系的阐释
- 批准号：
21K01791 - 财政年份：2021
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Type soundness without runtime checks: From gradually to fully typed programs via type inference
无需运行时检查的类型健全性：通过类型推断从逐渐类型化程序到完全类型化程序
- 批准号：
518831-2018 - 财政年份：2020
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
Analysis of damaged transmission tower due to natural hazards: Evaluation of soundness recovery after restoration
因自然灾害而受损的输电铁塔分析：修复后的健全性恢复评估
- 批准号：
19K04566 - 财政年份：2019
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Study on effects of slaking on seismic behaviour of embankments including mudstones and their soundness evaluation indexes
崩解对泥岩路堤抗震性能影响及其健全性评价指标研究
- 批准号：
19K15083 - 财政年份：2019
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Study on Accuracy Improvement of Deflection Measurement in Evaluating the Soundness of Road Bridge Slabs Using FWD
FWD评价公路桥板健全性时挠度测量精度提高的研究
- 批准号：
19K04561 - 财政年份：2019
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Scientific Research (C)