刷新
{{item.name}}会员
Investigations in Language Design, Formal Semantics and Program Verification
语言设计、形式语义和程序验证研究
基本信息
- 批准号：7901048
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1979
- 资助国家：美国
- 起止时间：1979-06-15 至 1984-01-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Alan Demers其他文献
Smarter , more powerful scripting languages will improve game performance while making gameplay development more efficient
更智能、更强大的脚本语言将提高游戏性能，同时使游戏开发更加高效。
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
Walker M. White;Christoph Koch;Johannes Gehrke;Alan Demers - 通讯作者：
Alan Demers
Alan Demers的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Alan Demers', 18)}}的其他基金
Hilda: A High-Level Language for Data-Driven Web Applications
Hilda：数据驱动 Web 应用程序的高级语言
- 批准号：
0534404 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Continuing Grant
Petabyte Storage Services For Data-Driven Science
用于数据驱动科学的 PB 存储服务
- 批准号：
0403340 - 财政年份：2004
- 资助金额：
-- - 项目类别：
Continuing Grant
相似海外基金
CAREER: Data-driven design of graphene oxide for environmental applications enabled by natural language processing and machine learning techniques
职业：通过自然语言处理和机器学习技术实现氧化石墨烯环境应用的数据驱动设计
- 批准号：
2238415 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Continuing Grant
NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLMW@PLDI), 2023-2025
NSF 学生旅费补助金，用于 ACM SIGPLAN 编程语言设计与实现会议 (PLMW@PLDI) 编程语言指导研讨会，2023-2025 年
- 批准号：
2310964 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
Preparing Pre-service Science Teachers to Integrate Engineering Design, Language, and Literacy in Science Teaching
培养职前科学教师将工程设计、语言和读写能力融入科学教学
- 批准号：
2243516 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Continuing Grant
Disability DCL: Transforming the Chemistry Experience for Deaf and Hard of Hearing Students via the Design, Implementation, and Evaluation of a Descriptive Sign Language Lexicon
残疾 DCL：通过描述性手语词典的设计、实施和评估来改变失聪和听力障碍学生的化学体验
- 批准号：
2314708 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
Architectural Design Across Spaces and Cultures: Technology and Language
跨空间和文化的建筑设计：技术和语言
- 批准号：
DP230100605 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Discovery Projects
Collaborative Research: FMitF: Track I: End-usser Programming for CAD Systems via Language Design and Synthesis
协作研究：FMitF：第一轨：通过语言设计和综合进行 CAD 系统的最终用户编程
- 批准号：
2219865 - 财政年份：2022
- 资助金额：
-- - 项目类别：
Standard Grant
Collaborative Research: FMitF: Track I: End-usser Programming for CAD Systems via Language Design and Synthesis
协作研究：FMitF：第一轨：通过语言设计和综合进行 CAD 系统的最终用户编程
- 批准号：
2219864 - 财政年份：2022
- 资助金额：
-- - 项目类别：
Standard Grant
Evaluation and design research of robot hands to generate American Sign Language
生成美国手语的机械手评估与设计研究
- 批准号：
563580-2021 - 财政年份：2021
- 资助金额：
-- - 项目类别：
University Undergraduate Student Research Awards
Cross-Border Learning Environment Design for Japanese Language Education Based on the High Flex Model
基于高弹性模型的日语教育跨境学习环境设计
- 批准号：
21K00609 - 财政年份：2021
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (C)
Machine learning for extracting design and artificial intelligence concepts from natural language
用于从自然语言中提取设计和人工智能概念的机器学习
- 批准号：
562735-2021 - 财政年份：2021
- 资助金额：
-- - 项目类别：
University Undergraduate Student Research Awards