刷新
{{item.name}}会员
Paramatricity and possible worlds
副母性和可能的世界
基本信息
- 批准号：8990-2007
- 负责人：
- 金额：$ 1.09万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2008
- 资助国家：加拿大
- 起止时间：2008-01-01 至 2009-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
"Representation independence" is of primary importance in modern programming methodology: it is at the heart of the specification/implementation distinction for such linguistic features as modules, abstract data types, classes, and application-programmer interfaces. However we still lack a completely satisfactory *theoretical* foundation for this fundamental concept.
“表示独立性”在现代编程方法中至关重要：它是模块、抽象数据类型、类和应用程序接口等语言特征的规范/实现区别的核心。然而，我们仍然缺乏一个完全令人满意的 * 理论 * 基础，这一基本概念。
项目成果
期刊论文数量（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 }}
Tennent, Robert其他文献
Tennent, Robert的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Tennent, Robert', 18)}}的其他基金
Paramatricity and possible worlds
副母性和可能的世界
- 批准号：
8990-2007 - 财政年份：2009
- 资助金额：
$ 1.09万 - 项目类别：
Discovery Grants Program - Individual
Paramatricity and possible worlds
副母性和可能的世界
- 批准号：
8990-2007 - 财政年份：2007
- 资助金额：
$ 1.09万 - 项目类别：
Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
- 批准号：
8990-2001 - 财政年份：2006
- 资助金额：
$ 1.09万 - 项目类别：
Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
- 批准号：
8990-2001 - 财政年份：2005
- 资助金额：
$ 1.09万 - 项目类别：
Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
- 批准号：
8990-2001 - 财政年份：2004
- 资助金额：
$ 1.09万 - 项目类别：
Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
- 批准号：
8990-2001 - 财政年份：2003
- 资助金额：
$ 1.09万 - 项目类别：
Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
- 批准号：
8990-2001 - 财政年份：2001
- 资助金额：
$ 1.09万 - 项目类别：
Discovery Grants Program - Individual
Semantics-directed design of programming languages and logics
编程语言和逻辑的语义导向设计
- 批准号：
8990-1996 - 财政年份：2000
- 资助金额：
$ 1.09万 - 项目类别：
Discovery Grants Program - Individual
Semantics-directed design of programming languages and logics
编程语言和逻辑的语义导向设计
- 批准号：
8990-1996 - 财政年份：1999
- 资助金额：
$ 1.09万 - 项目类别：
Discovery Grants Program - Individual
Semantics-directed design of programming languages and logics
编程语言和逻辑的语义导向设计
- 批准号：
8990-1996 - 财政年份：1998
- 资助金额：
$ 1.09万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
Modal Semantics without Possible Worlds:A Study of Hierarchical Non-deterministic Many-valuedSemantics
没有可能世界的模态语义:分层非确定性多值语义研究
- 批准号：
438073380 - 财政年份：2020
- 资助金额：
$ 1.09万 - 项目类别：
Research Grants
One-World Semantics for Modals and Attitudes
模态和态度的同一个世界语义
- 批准号：
20K00613 - 财政年份：2020
- 资助金额：
$ 1.09万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Constructing a semantic theory of modal expressions without the concept of possible worlds - evidence from Japanese
在没有可能世界概念的情况下构建模态表达的语义理论——来自日语的证据
- 批准号：
20K00586 - 财政年份：2020
- 资助金额：
$ 1.09万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Modality analysis of Japanese texts which are accessible to both of a real world and possible worlds
现实世界和可能世界均可访问的日语文本的情态分析
- 批准号：
18K11427 - 财政年份：2018
- 资助金额：
$ 1.09万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Toward an Integrated Theory of Narrative Renewal Based on Cognitive Narratology and Possible Worlds Theory
基于认知叙事学和可能世界理论的叙事更新综合理论
- 批准号：
17K02660 - 财政年份：2017
- 资助金额：
$ 1.09万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Modelling in the best of all possible worlds: Exploiting the advantages of Density Functional Theory and correlated wavefunctions in an efficient 1-electron Reduced Density Matrix approach based on th
在所有可能的世界中进行最好的建模：在基于密度泛函理论和相关波函数的高效单电子降低密度矩阵方法中利用密度泛函理论和相关波函数的优势
- 批准号：
405677-2011 - 财政年份：2013
- 资助金额：
$ 1.09万 - 项目类别：
Vanier Canada Graduate Scholarships - Doctoral
Modelling in the best of all possible worlds: Exploiting the advantages of Density Functional Theory and correlated wavefunctions in an efficient 1-electron Reduced Density Matrix approach based on th
在所有可能的世界中进行最好的建模：在基于密度泛函理论和相关波函数的高效单电子降低密度矩阵方法中利用密度泛函理论和相关波函数的优势
- 批准号：
405677-2011 - 财政年份：2012
- 资助金额：
$ 1.09万 - 项目类别：
Vanier Canada Graduate Scholarships - Doctoral
Modelling in the best of all possible worlds: Exploiting the advantages of Density Functional Theory and correlated wavefunctions in an efficient 1-electron Reduced Density Matrix approach based on th
在所有可能的世界中进行最好的建模：在基于密度泛函理论和相关波函数的高效单电子降低密度矩阵方法中利用密度泛函理论和相关波函数的优势
- 批准号：
405677-2011 - 财政年份：2011
- 资助金额：
$ 1.09万 - 项目类别：
Vanier Canada Graduate Scholarships - Doctoral
Paramatricity and possible worlds
副母性和可能的世界
- 批准号：
8990-2007 - 财政年份：2009
- 资助金额：
$ 1.09万 - 项目类别：
Discovery Grants Program - Individual
Paramatricity and possible worlds
副母性和可能的世界
- 批准号：
8990-2007 - 财政年份：2007
- 资助金额：
$ 1.09万 - 项目类别：
Discovery Grants Program - Individual