刷新
{{item.name}}会员
RUI: Semantics of Object-Oriented Languages
RUI：面向对象语言的语义
基本信息
- 批准号：9121778
- 负责人：
- 金额：$ 14.37万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1992
- 资助国家：美国
- 起止时间：1992-03-15 至 1995-08-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
This project involves research on the design and semantics of statically-typed object-oriented programming languages. The main goals include: 1. The design of a statically typed, type-safe programming language supporting subtyping, inheritance, and information-hiding. 2. Creation of a denotational semantics, including a mathematical model, of this language. 3. The development of an axiomatic semantics for this language which will allow programmers to reason accurately about their programs.
该项目涉及的设计和语义的研究 静态类型的面向对象编程语言。 主要 目标包括： 1. 静态类型的类型安全编程语言的设计 支持子类型、继承和信息隐藏。 2. 创建指称语义，包括数学 模型，这种语言。 3. 这种语言的公理语义学的发展， 将允许程序员对他们的程序进行准确的推理。
项目成果
期刊论文数量（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
- 资助金额：
$ 14.37万 - 项目类别：
Continuing Grant
RUI: Modules and Parallel Specialization of Object Types
RUI：对象类型的模块和并行专业化
- 批准号：
0306486 - 财政年份：2003
- 资助金额：
$ 14.37万 - 项目类别：
Continuing Grant
Making Interaction Fundamental in Object-oriented CS1: Programming Tools and Curricular Materials to Support Concurrency and Event-driven Programming
让交互成为面向对象 CS1 的基础：支持并发和事件驱动编程的编程工具和课程材料
- 批准号：
0088895 - 财政年份：2001
- 资助金额：
$ 14.37万 - 项目类别：
Standard Grant
RUI: Design of Object-Oriented Programming Languages
RUI：面向对象编程语言的设计
- 批准号：
9988210 - 财政年份：2000
- 资助金额：
$ 14.37万 - 项目类别：
Standard Grant
RUI: Design of Object-Oriented Programming Languages
RUI：面向对象编程语言的设计
- 批准号：
9870253 - 财政年份：1998
- 资助金额：
$ 14.37万 - 项目类别：
Standard Grant
RUI: Semantics and Design of Object-Oriented Languages
RUI：面向对象语言的语义和设计
- 批准号：
9424123 - 财政年份：1995
- 资助金额：
$ 14.37万 - 项目类别：
Continuing Grant
Foundations of Object-Oriented Languages Workshop; June 24-26, l993; Williamstown, MA.
面向对象语言基础研讨会；
- 批准号：
9302344 - 财政年份：1993
- 资助金额：
$ 14.37万 - 项目类别：
Standard Grant
Type Structures in Programming Languages
编程语言中的类型结构
- 批准号：
9105316 - 财政年份：1991
- 资助金额：
$ 14.37万 - 项目类别：
Standard Grant
The Semantics of Types and Polymorphism in Programming
编程中类型和多态性的语义
- 批准号：
8603890 - 财政年份：1986
- 资助金额：
$ 14.37万 - 项目类别：
Standard Grant
RUI: Models of Typed and Untyped Lambda Calculus (Computer Research)
RUI：类型化和非类型化 Lambda 演算模型（计算机研究）
- 批准号：
8402700 - 财政年份：1984
- 资助金额：
$ 14.37万 - 项目类别：
Continuing Grant
相似海外基金
SAFER - Secure Foundations: Verified Systems Software Above Full-Scale Integrated Semantics
SAFER - 安全基础：高于全面集成语义的经过验证的系统软件
- 批准号：
EP/Y035976/1 - 财政年份：2024
- 资助金额：
$ 14.37万 - 项目类别：
Research Grant
SHF: SMALL: A New Semantics for Type-Level Programming in Haskell
SHF：SMALL：Haskell 中类型级编程的新语义
- 批准号：
2345580 - 财政年份：2024
- 资助金额：
$ 14.37万 - 项目类别：
Standard Grant
The theory of meaning via dependent type semantics and its automatic verification
基于依赖类型语义的意义理论及其自动验证
- 批准号：
23H03452 - 财政年份：2023
- 资助金额：
$ 14.37万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Relaxed Semantics Across the Data Analytics Stack
整个数据分析堆栈的宽松语义
- 批准号：
EP/X029174/1 - 财政年份：2023
- 资助金额：
$ 14.37万 - 项目类别：
Research Grant
Collaborative Research: FMitF: Track I: Knitting Semantics
合作研究：FMitF：第一轨：针织语义
- 批准号：
2319182 - 财政年份：2023
- 资助金额：
$ 14.37万 - 项目类别：
Standard Grant
Doctoral Dissertation Research: The Semantics, Pragmatics, and Social Meaning of Additive Expressions
博士论文研究：附加表达的语义、语用和社会意义
- 批准号：
2235062 - 财政年份：2023
- 资助金额：
$ 14.37万 - 项目类别：
Standard Grant
Categorical Duality and Semantics Across Mathematics, Informatics and Physics and their Applications to Categorical Machine Learning and Quantum Computing
数学、信息学和物理领域的分类对偶性和语义及其在分类机器学习和量子计算中的应用
- 批准号：
23K13008 - 财政年份：2023
- 资助金额：
$ 14.37万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Collaborative Research: SHF: Medium: Learning Semantics of Code To Automate Software Assurance Tasks
协作研究：SHF：媒介：学习代码语义以自动化软件保障任务
- 批准号：
2313054 - 财政年份：2023
- 资助金额：
$ 14.37万 - 项目类别：
Standard Grant
A study on the semantics-prosody interface
语义-韵律接口研究
- 批准号：
23K00478 - 财政年份：2023
- 资助金额：
$ 14.37万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
The Semantics of Mandarin Decomposition Adverbs
普通话分解副词的语义
- 批准号：
2885599 - 财政年份：2023
- 资助金额：
$ 14.37万 - 项目类别：
Studentship