Typechecking and Implementation Properties of Programming Languages With Extended Type Structure
具有扩展类型结构的编程语言的类型检查和实现属性
基本信息
- 批准号：8004219
- 负责人：
- 金额：$ 4.01万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1980
- 资助国家：美国
- 起止时间：1980-06-01 至 1982-11-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Nancy McCracken其他文献
Nancy McCracken的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Nancy McCracken', 18)}}的其他基金
SOCS: Socially Intelligent Computing for Coding of Qualitative Data
SOCS：用于定性数据编码的社会智能计算
- 批准号：
1111107 - 财政年份：2011
- 资助金额：
$ 4.01万 - 项目类别：
Continuing Grant
The Design, Definition, and Implementation of Programming Languages
编程语言的设计、定义和实现
- 批准号：
8604177 - 财政年份：1986
- 资助金额：
$ 4.01万 - 项目类别：
Standard Grant
相似国自然基金
具有执行器特性的无人机系统受限跟踪控制方法研究
- 批准号：
- 批准年份：2020
- 资助金额：24 万元
- 项目类别：青年科学基金项目
考虑执行器瞬态动力学特性的混合动力智能耦合能量管理机制研究：基于分层深度强化学习
- 批准号：51905061
- 批准年份：2019
- 资助金额：25.0 万元
- 项目类别：青年科学基金项目
执行器受非光滑特性和故障约束的非线性系统网络控制设计
- 批准号：61803090
- 批准年份：2018
- 资助金额：27.0 万元
- 项目类别：青年科学基金项目
基于永磁复合磁路的新型高速电磁执行器的动态特性理论研究
- 批准号：51679048
- 批准年份：2016
- 资助金额：63.0 万元
- 项目类别：面上项目
针对执行器不确定非光滑约束特性的模糊建模和控制方法
- 批准号：61573108
- 批准年份：2015
- 资助金额：66.0 万元
- 项目类别：面上项目
相似海外基金
A Novel Fiber Embedded Hydrogel Temporomandibular Joint Disc Replacement
新型纤维嵌入水凝胶颞下颌关节盘置换术
- 批准号：
10893071 - 财政年份：2023
- 资助金额：
$ 4.01万 - 项目类别：
A Novel Spray-On Sensing Platform Technology that Enables Wearable Visual Monitoring of Physiological Data and Environmental Exposure
一种新型喷涂传感平台技术，可实现生理数据和环境暴露的可穿戴视觉监测
- 批准号：
10578579 - 财政年份：2023
- 资助金额：
$ 4.01万 - 项目类别：
Optimizing therapeutic peptide presentation within polymers
优化聚合物内治疗性肽的呈现
- 批准号：
10654058 - 财政年份：2022
- 资助金额：
$ 4.01万 - 项目类别：
Development and implementation of segmentation nudge approaches based on bevavioral data and health data
基于行为数据和健康数据的分段助推方法的开发和实施
- 批准号：
22H03314 - 财政年份：2022
- 资助金额：
$ 4.01万 - 项目类别：
Grant-in-Aid for Scientific Research (B)