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

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

基本信息

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

项目摘要

This research program investigates the theory and pragmatics of naming and sharing data and computation threads, using principles of optimal evaluation and linear logic. These tools explicitly highlight the operations of copying and discarding that are essential in procedure calling protocols.The project analyzes the algorithmics of optimal evaluation, the complexity of box management, and the evaluation pragmatics for languages with explicit control. Also included in the research agenda are intensional full abstraction theorems, where the meaning of a term includes operational information about how computations are shared, and the use of context semantics as a flow analysis tool, where the so-called "geometry of interaction" can give information about how procedures access their arguments. A further investigation of ``superposition'' phenomena that occur in high-level sharing is planned. The final component seeks a refined explanation of the bus system of graph reduction in terms of linear logic, in the hope of giving a new categorical rendition of the incremental computation that characterizes optimal evaluation.
本研究计划研究命名和共享数据和计算线程的理论和语用学,使用最佳评估和线性逻辑的原则。 这些工具显式地突出了过程调用协议中必不可少的复制和丢弃操作,分析了最优求值的算法、盒管理的复杂性以及显式控制语言的求值语用。 研究议程中还包括内涵的完全抽象定理,其中一个术语的含义包括有关计算如何共享的操作信息,以及使用上下文语义作为流分析工具,其中所谓的“交互几何”可以提供有关过程如何访问其参数的信息。 计划进一步调查高层共享中出现的“叠加”现象。 最后一部分寻求一个精细的解释的总线系统的图减少线性逻辑,希望给一个新的分类再现的增量计算的特点,最佳评价。

项目成果

期刊论文数量(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
  • 资助金额:
    $ 27万
  • 项目类别:
    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
  • 资助金额:
    $ 27万
  • 项目类别:
    Standard Grant
New Foundations for Control Flow Analysis
控制流分析的新基础
  • 批准号:
    0811297
  • 财政年份:
    2008
  • 资助金额:
    $ 27万
  • 项目类别:
    Standard Grant
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
最优还原的理论和语用:逻辑、线性命名和编程语言设计
  • 批准号:
    0098228
  • 财政年份:
    2001
  • 资助金额:
    $ 27万
  • 项目类别:
    Standard Grant
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
最优还原的理论和语用:逻辑、线性命名和编程语言设计
  • 批准号:
    0228901
  • 财政年份:
    2001
  • 资助金额:
    $ 27万
  • 项目类别:
    Standard Grant
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
最优还原的理论和语用:逻辑、线性命名和编程语言设计
  • 批准号:
    9988312
  • 财政年份:
    2000
  • 资助金额:
    $ 27万
  • 项目类别:
    Standard Grant
Experimental Software Systems: Linear Naming: Experimental Software for Optimizing Communication Protocols
实验软件系统:线性命名:优化通信协议的实验软件
  • 批准号:
    9806718
  • 财政年份:
    1998
  • 资助金额:
    $ 27万
  • 项目类别:
    Continuing Grant
CISE-PostDoc: Design and Analysis of Symmetric, Hybrid Procedure-calling Protocols
CISE-PostDoc:对称、混合过程调用协议的设计和分析
  • 批准号:
    9804662
  • 财政年份:
    1998
  • 资助金额:
    $ 27万
  • 项目类别:
    Standard Grant
Programming Language Foundations of Computation Theory
计算理论的编程语言基础
  • 批准号:
    9619638
  • 财政年份:
    1997
  • 资助金额:
    $ 27万
  • 项目类别:
    Standard Grant
CISE Postdoctoral Program: Computational Efficiency of Optimal Reduction in Lambda Calculus
CISE博士后项目:Lambda演算中最优约简的计算效率
  • 批准号:
    9504288
  • 财政年份:
    1995
  • 资助金额:
    $ 27万
  • 项目类别:
    Standard Grant

相似海外基金

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

作者:{{ showInfoDetail.author }}

知道了