刷新
{{item.name}}会员
Foundations of Object-Oriented Languages Workshop; June 24-26, l993; Williamstown, MA.
面向对象语言基础研讨会；
基本信息
- 批准号：9302344
- 负责人：
- 金额：$ 0.91万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1993
- 资助国家：美国
- 起止时间：1993-03-01 至 1994-08-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
This project will support collaborative research by American and European researchers on the foundations of object-oriented programming languages by providing funding for a joint NSF/ESPRIT workshop to be held in Williamstown, Massachusetts, USA, in the summer of 1993. Topics to be covered in the workshop include the design, semantics, type systems, and verification of object-oriented programming languages.
该项目将支持美国的合作研究 和欧洲的研究人员在面向对象的基础上， 编程语言提供资金的联合 NSF/ESPRIT研讨会将在马萨诸塞州威廉斯敦举行， 美国，1993年夏天。 会议将讨论的主题 研讨会包括设计，语义，类型系统， 面向对象编程语言的验证。
项目成果
期刊论文数量（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 }}
Kim Bruce其他文献
Measurement of segmental pulmonary blood flow velocity using a loop doppler catheter
- DOI：
10.1016/0735-1097(90)92580-u - 发表时间：
1990-02-01 - 期刊：
- 影响因子：
- 作者：
Steven J. Bailin;Keith Wyche;Kim Bruce;Carl White;Robert F. Wilson - 通讯作者：
Robert F. Wilson
Kim Bruce的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Kim Bruce', 18)}}的其他基金
RUI: Modules and Parallel Specialization of Object Types
RUI：对象类型的模块和并行专业化
- 批准号：
0632458 - 财政年份：2006
- 资助金额：
$ 0.91万 - 项目类别：
Continuing Grant
RUI: Modules and Parallel Specialization of Object Types
RUI：对象类型的模块和并行专业化
- 批准号：
0306486 - 财政年份：2003
- 资助金额：
$ 0.91万 - 项目类别：
Continuing Grant
Making Interaction Fundamental in Object-oriented CS1: Programming Tools and Curricular Materials to Support Concurrency and Event-driven Programming
让交互成为面向对象 CS1 的基础：支持并发和事件驱动编程的编程工具和课程材料
- 批准号：
0088895 - 财政年份：2001
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant
RUI: Design of Object-Oriented Programming Languages
RUI：面向对象编程语言的设计
- 批准号：
9988210 - 财政年份：2000
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant
RUI: Design of Object-Oriented Programming Languages
RUI：面向对象编程语言的设计
- 批准号：
9870253 - 财政年份：1998
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant
RUI: Semantics and Design of Object-Oriented Languages
RUI：面向对象语言的语义和设计
- 批准号：
9424123 - 财政年份：1995
- 资助金额：
$ 0.91万 - 项目类别：
Continuing Grant
RUI: Semantics of Object-Oriented Languages
RUI：面向对象语言的语义
- 批准号：
9121778 - 财政年份：1992
- 资助金额：
$ 0.91万 - 项目类别：
Continuing Grant
Type Structures in Programming Languages
编程语言中的类型结构
- 批准号：
9105316 - 财政年份：1991
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant
The Semantics of Types and Polymorphism in Programming
编程中类型和多态性的语义
- 批准号：
8603890 - 财政年份：1986
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant
RUI: Models of Typed and Untyped Lambda Calculus (Computer Research)
RUI：类型化和非类型化 Lambda 演算模型（计算机研究）
- 批准号：
8402700 - 财政年份：1984
- 资助金额：
$ 0.91万 - 项目类别：
Continuing Grant
相似海外基金
Robust Three-Dimensional Pattern Recognition based on Object Oriented Data Analysis
基于面向对象数据分析的鲁棒三维模式识别
- 批准号：
23K16900 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
CRII: SHF: Codata: A Logical Fusion of Object-Oriented and Functional Programming
CRII：SHF：Codata：面向对象和函数式编程的逻辑融合
- 批准号：
2245516 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant
RINGS: Object-Oriented Video Analytics for Next-Generation Mobile Environments
RINGS：下一代移动环境的面向对象视频分析
- 批准号：
2147909 - 财政年份：2022
- 资助金额：
$ 0.91万 - 项目类别：
Continuing Grant
Collaborative Research: An Object-Oriented Approach to Assess the Rainfall Evolution of Tropical Cyclones in Varying Moisture Environments
协作研究：一种面向对象的方法来评估不同湿度环境下热带气旋的降雨演变
- 批准号：
2011981 - 财政年份：2020
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant
Collaborative Research: An Object-Oriented Approach to Assess the Rainfall Evolution of Tropical Cyclones in Varying Moisture Environments
协作研究：一种面向对象的方法来评估不同湿度环境下热带气旋的降雨演变
- 批准号：
2012008 - 财政年份：2020
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant
Aliasing Control in an Object-Oriented Programming Language with Typestate Annotations
使用类型状态注释的面向对象编程语言中的别名控制
- 批准号：
2469547 - 财政年份：2020
- 资助金额：
$ 0.91万 - 项目类别：
Studentship
Object-oriented programming education support system utilizing learning analytics
利用学习分析的面向对象的编程教育支持系统
- 批准号：
20K03265 - 财政年份：2020
- 资助金额：
$ 0.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Collaborative Research: An Object-Oriented Approach to Assess the Rainfall Evolution of Tropical Cyclones in Varying Moisture Environments
协作研究：一种面向对象的方法来评估不同湿度环境下热带气旋的降雨演变
- 批准号：
2011812 - 财政年份：2020
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant
Interprocedural program analysis for modern object-oriented languages
现代面向对象语言的过程间程序分析
- 批准号：
RGPIN-2014-05645 - 财政年份：2019
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Object Oriented Data Analysis for Untargeted Metabolomics
非目标代谢组学的面向对象数据分析
- 批准号：
10010882 - 财政年份：2019
- 资助金额：
$ 0.91万 - 项目类别：