Semantic Tools for Realistic Programming Languages

现实编程语言的语义工具

基本信息

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

项目摘要

This project addresses the problem of giving full and formal semantics to programming languages that combine a number of complex features, including memories, object-orientedness, rich notions of type, exceptions, and concurrency. An operational approach is taken to semantics since it is the only method with immediate potential for applicability to such rich languages. The resulting operational theory also includes a rich theory of equivalence on programs to aid compiler writers and language transformers. This research focuses on: (1) lifting concepts from domain theory, such as finiteness and omega-algebraicity, into full-featured languages, (2) giving semantic type descriptions of full-featured languages, in particular the difficult case of object-oriented languages, and (3) studying full-featured languages as one piece to discover interactions and conflicts, rather than addressing each feature in a separate study.
这个项目解决的问题,给予充分的和正式的语义,结合了联合收割机的一些复杂的功能,包括内存,面向对象,丰富的类型,异常和并发的概念的编程语言。 一个操作的方法是语义,因为它是唯一的方法,立即适用于这种丰富的语言的潜力。 由此产生的运算理论还包括丰富的等价理论,以帮助编译器编写人员和语言转换器。 这项研究的重点是:(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 }}

Scott Smith其他文献

On the correlation functions associated with polynomials of the diffusion operator
关于与扩散算子多项式相关的相关函数
Neural Responses to Mechanical Stimulation are Sensitized by Insulin in Thin Muscle Afferents and Dorsal Root Ganglion Neurons
薄肌传入神经和背根神经节中的胰岛素使机械刺激的神经反应敏感
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Norio Hotta;Kimiaki Katanosaka;Kazue Mizumura;Jere Mitchell;Scott Smith;Masaki Mizuno
  • 通讯作者:
    Masaki Mizuno
Southern Great Plains (SGP) Aerosol Observing System (AOS) Instrument Handbook
南部大平原 (SGP) 气溶胶观测系统 (AOS) 仪器手册
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    J. Uin;B. Pnnl;Scott Smith
  • 通讯作者:
    Scott Smith
ST Wavefront Sensing and Control
ST 波前传感和控制
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    L. Feinberg;B. Dean;D. Aronstein;C. Bowers;Bill Hayden;R. Lyon;R. Shiri;Scott Smith;Scott Acton;Larkin Carey;A. Contos;E. Sabatke;J. Schwenker;D. Shields;Timothy W. Towel
  • 通讯作者:
    Timothy W. Towel
EFFECTS OF ALTERNATING CURRENT ELECTRICAL STIMULATION ON THE CELLULAR CHEMISTRY AND PROLIFERATION OF C2C12 MUSCLE CELLS
交流电刺激对 C2C12 肌细胞的细胞化学和增殖的影响
  • DOI:
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    K. M. Koh;D. Nawarathna;D. Ewert;T. Gustad;Scott Smith;K. Hou
  • 通讯作者:
    K. Hou

Scott Smith的其他文献

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

{{ truncateString('Scott Smith', 18)}}的其他基金

GARDE: Design Projects to Enable Veteran Reintegration in an Educational System
GARDE:设计项目以帮助退伍军人重新融入教育系统
  • 批准号:
    1401507
  • 财政年份:
    2014
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Standard Grant
EAGER: Reconceiving Scripting Language Design
EAGER:重新构思脚本语言设计
  • 批准号:
    1347405
  • 财政年份:
    2013
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Standard Grant
REU Site: Summer Research Experiences in Wireless Sensor Networks - Design and Applications
REU 网站:无线传感器网络夏季研究经验 - 设计和应用
  • 批准号:
    1005106
  • 财政年份:
    2010
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Continuing Grant
Collaborative Research: Integrating Asynchronous Digital Design into the Undergraduate Computer Engineering Curriculum throughout the Nation
合作研究:将异步数字设计纳入全国本科计算机工程课程
  • 批准号:
    0717572
  • 财政年份:
    2007
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Standard Grant
Integrating Asynchronous Digital Design and Testing into the Undergraduate Computer Engineering Curriculum
将异步数字设计和测试融入本科计算机工程课程
  • 批准号:
    0536343
  • 财政年份:
    2006
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Standard Grant
Gearing for Success: Scholar-Leaders in Mathematics and Computing
为成功做好准备:数学和计算领域的学者领袖
  • 批准号:
    0324131
  • 财政年份:
    2003
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Standard Grant
MRI: Acquisition of Immersive WorkWall System for Campus-wide Visualization Research
MRI:购买沉浸式工作墙系统用于校园范围内的可视化研究
  • 批准号:
    0079557
  • 财政年份:
    2000
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Standard Grant
Type Systems for Secure Programming
用于安全编程的类型系统
  • 批准号:
    9988491
  • 财政年份:
    2000
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Continuing Grant
Types for Software Systems
软件系统的类型
  • 批准号:
    9619843
  • 财政年份:
    1997
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Continuing Grant
Collaborative Research: Reasoning About Open Systems
协作研究:关于开放系统的推理
  • 批准号:
    9312433
  • 财政年份:
    1995
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Standard Grant

相似海外基金

Next Generation Fluorescent Tools for Measuring Autophagy Dynamics in Cells
用于测量细胞自噬动态的下一代荧光工具
  • 批准号:
    DP240100465
  • 财政年份:
    2024
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Discovery Projects
e-health tools to promote Equality in Quality of Life for childhood to young adulthood cancer patients, survivors and their families - a PanEuropean project supported by PanCare and Harmonic consortia
电子医疗工具可促进儿童到成年癌症患者、幸存者及其家人的生活质量平等 - 这是由 PanCare 和 Harmonic 联盟支持的 PanEuropean 项目
  • 批准号:
    10098114
  • 财政年份:
    2024
  • 资助金额:
    $ 16.85万
  • 项目类别:
    EU-Funded
Unlocking the sensory secrets of predatory wasps: towards predictive tools for managing wasps' ecosystem services in the Anthropocene
解开掠食性黄蜂的感官秘密:开发用于管理人类世黄蜂生态系统服务的预测工具
  • 批准号:
    NE/Y001397/1
  • 财政年份:
    2024
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Research Grant
Sustaining Innovative Tools to Expand Youth-Friendly HIV Self-Testing (S-ITEST)
维持创新工具以扩大青少年友好型艾滋病毒自我检测 (S-ITEST)
  • 批准号:
    10933892
  • 财政年份:
    2024
  • 资助金额:
    $ 16.85万
  • 项目类别:
CAREER: Foundations, Algorithms, and Tools for Browser Invalidation
职业:浏览器失效的基础、算法和工具
  • 批准号:
    2340192
  • 财政年份:
    2024
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Continuing Grant
Tools to Control and Monitor Van der Waals Forces between Nanoparticles: Quantitative Insights on Biological, Environmental, and Fungal Cell Interactions.
控制和监测纳米颗粒之间范德华力的工具:对生物、环境和真菌细胞相互作用的定量见解。
  • 批准号:
    2335597
  • 财政年份:
    2024
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Continuing Grant
Developing Teaching Tools to Promote Transfer of Core Concept Knowledge Across Biological Scales and Sub-disciplines.
开发教学工具以促进跨生物尺度和子学科的核心概念知识的转移。
  • 批准号:
    2336776
  • 财政年份:
    2024
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Standard Grant
Feedback Literacy and AI Ethics: Leveraging Auto-Peer for Productive Interaction with Generative AI Tools in L2 Writing Education in Japan
反馈素养和人工智能道德:在日本二语写作教育中利用 Auto-Peer 与生成式人工智能工具进行富有成效的互动
  • 批准号:
    24K04103
  • 财政年份:
    2024
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Shaping Competition in the Digital Age (SCiDA) - Principles, tools and institutions of digital regulation in the UK, Germany and the EU
塑造数字时代的竞争 (SCiDA) - 英国、德国和欧盟的数字监管原则、工具和机构
  • 批准号:
    AH/Y007549/1
  • 财政年份:
    2024
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Research Grant
2022BBSRC-NSF/BIO Generating New Network Analysis Tools for Elucidating the Functional Logic of 3D Vision Circuits of the Drosophila Brain
2022BBSRC-NSF/BIO 生成新的网络分析工具来阐明果蝇大脑 3D 视觉电路的功能逻辑
  • 批准号:
    BB/Y000234/1
  • 财政年份:
    2024
  • 资助金额:
    $ 16.85万
  • 项目类别:
    Research Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了