Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design

最优还原的理论和语用:逻辑、线性命名和编程语言设计

基本信息

  • 批准号:
    0228901
  • 负责人:
  • 金额:
    $ 9.07万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2001
  • 资助国家:
    美国
  • 起止时间:
    2001-12-01 至 2003-08-31
  • 项目状态:
    已结题

项目摘要

This research program investigates the theory and pragmatics of naming andsharing data and computation threads, using principles of optimalevaluation and linear logic. These tools explicitly highlight theoperations of copying and discarding that are essential in procedurecalling protocols. We will analyze the algorithmics of optimal evaluation, the complexity ofbox management, and the evaluation pragmatics for languages with explicitcontrol. Also included in the research agenda are intensional fullabstraction theorems, where the meaning of a term includes operationalinformation about how computations are shared, and the use of contextsemantics as a flow analysis tool, where the so-called "geometry ofinteraction" can give information about how procedures access theirarguments. Finally, we want to give a refined explanation of the bussystem of graph reduction in terms of linear logic, in the hope of giving anew categorical rendition of the incremental computation in optimalevaluation.
本研究计划探讨命名和共享数据和计算线程的理论和语用学,使用最优评估和线性逻辑的原则。 这些工具明确强调了复制和丢弃的操作,这在过程调用协议中是必不可少的。 我们将分析最优求值的算法,盒子管理的复杂性,以及显式控制语言的求值语用学。 研究议程中还包括内涵的全实验室提取定理,其中一个术语的含义包括关于计算如何共享的操作信息,以及使用上下文语义作为流分析工具,其中所谓的“交互几何”可以提供关于过程如何访问其参数的信息。 最后,我们希望用线性逻辑的观点对图归约的总线系统给出一个精细的解释,以期对最优求值中的增量计算给出一个新的范畴化的表述。

项目成果

期刊论文数量(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 }}

Harry Mairson其他文献

Harry Mairson的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Harry Mairson', 18)}}的其他基金

RAISE: Software for Making: Programmable Geometry for Mathematics Education, Classical Stringed Instrument Design, and its Material Culture
RAISE:制作软件:用于数学教育的可编程几何、古典弦乐器设计及其物质文化
  • 批准号:
    1836965
  • 财政年份:
    2018
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Standard Grant
SHF:small:Functional geometry and the Traite de Lutherie: Domain-specific languages for computational thinking about the science of art
SHF:small:泛函几何和 Traite de Lutherie:用于艺术科学计算思维的特定领域语言
  • 批准号:
    1422029
  • 财政年份:
    2014
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Standard Grant
New Foundations for Control Flow Analysis
控制流分析的新基础
  • 批准号:
    0811297
  • 财政年份:
    2008
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Standard Grant
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
最优还原的理论和语用:逻辑、线性命名和编程语言设计
  • 批准号:
    0098228
  • 财政年份:
    2001
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Standard Grant
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
最优还原的理论和语用:逻辑、线性命名和编程语言设计
  • 批准号:
    0228951
  • 财政年份:
    2001
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Standard Grant
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
最优还原的理论和语用:逻辑、线性命名和编程语言设计
  • 批准号:
    9988312
  • 财政年份:
    2000
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Standard Grant
Experimental Software Systems: Linear Naming: Experimental Software for Optimizing Communication Protocols
实验软件系统:线性命名:优化通信协议的实验软件
  • 批准号:
    9806718
  • 财政年份:
    1998
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Continuing Grant
CISE-PostDoc: Design and Analysis of Symmetric, Hybrid Procedure-calling Protocols
CISE-PostDoc:对称、混合过程调用协议的设计和分析
  • 批准号:
    9804662
  • 财政年份:
    1998
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Standard Grant
Programming Language Foundations of Computation Theory
计算理论的编程语言基础
  • 批准号:
    9619638
  • 财政年份:
    1997
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Standard Grant
CISE Postdoctoral Program: Computational Efficiency of Optimal Reduction in Lambda Calculus
CISE博士后项目:Lambda演算中最优约简的计算效率
  • 批准号:
    9504288
  • 财政年份:
    1995
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Standard Grant

相似海外基金

Doctoral Dissertation Research: The Semantics, Pragmatics, and Social Meaning of Additive Expressions
博士论文研究:附加表达的语义、语用和社会意义
  • 批准号:
    2235062
  • 财政年份:
    2023
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Standard Grant
CAREER: The Rational Programmer, An Investigative Method for Programming Language Pragmatics
职业:理性程序员,编程语言语用学的一种研究方法
  • 批准号:
    2237984
  • 财政年份:
    2023
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Continuing Grant
GRASP: Greater awareness of social pragmatics in ageing
GRASP:提高对老龄化社会语用学的认识
  • 批准号:
    EP/Y023366/1
  • 财政年份:
    2023
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Fellowship
The standardization of the Test of Pragmatics of Japanese for Children
儿童日语语用测试标准化
  • 批准号:
    22H01032
  • 财政年份:
    2022
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Forming the foundation of dialect pragmatics through the development of "100 scene conversations"
通过“百场对话”的开展,奠定方言语用基础
  • 批准号:
    22H00664
  • 财政年份:
    2022
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
The Semantics and Pragmatics of Taboo Words
禁忌词的语义和语用
  • 批准号:
    2772131
  • 财政年份:
    2022
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Studentship
Enhancing professional development for language teachers implementing pragmatics-focused instruction
加强语言教师的专业发展,实施以实用为中心的教学
  • 批准号:
    22K00774
  • 财政年份:
    2022
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
The Role of Pragmatics in Cyclic Language Change
语用学在循环语言变化中的作用
  • 批准号:
    AH/V008080/1
  • 财政年份:
    2021
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Research Grant
Doctoral Dissertation Research: Developing a scalable theory of alternatives in pragmatics
博士论文研究:发展语用学中替代方案的可扩展理论
  • 批准号:
    2116918
  • 财政年份:
    2021
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Standard Grant
Cross-linguistic comparison of interactional modality-Towards the construction of the theory of pragmatics of ba
交互模态的跨语言比较——浅谈汉语语用学理论的构建
  • 批准号:
    21H00527
  • 财政年份:
    2021
  • 资助金额:
    $ 9.07万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了