课题基金 / 基金详情

Analysis and Classification of Programming Languages

Analysis and Classification of Programming Languages
编程语言分析与分类
批准号：
9302962
负责人：
David Schmidt
金额：
$22.1万
依托单位：
Kansas State University
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1993
资助国家：
美国
项目状态：
已结题
起止时间：
1993-09-01 至 1997-08-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9302962&HistoricalAwards=false
关键词：
AnalysisClassificationProgrammingLanguages

项目摘要

项目成果

David Schmidt的其他基金

相似基金

相关文献

中文摘要
翻译
这个项目研究编程语言的语义定义的结构。首先对程序设计语言的核心模型进行了分析和分类，然后分析了核心的扩展的协调性(对应)和正交性，这些扩展的模型相互关联，并与核心的模型相关。最终目标是一个“设计和分析工作台”，在这个工作台中可以对一种语言进行综合、分类和原型化。这样的工作台将帮助语言设计人员，并提供实验证据，证明具有和谐设计的语言具有干净而正确的实现。
英文摘要
This project investigates the structure of semantics definitions of programming languages. First, models of the ``core'' of a programming language are analyzed and classified; next, extensions of the core are analyzed for their harmony (correspondence) and orthogonality, and models of these extensions are related to each other and to models of the core. The ultimate goal is a ``design and analysis workbench,'' in which a language can be synthesized, classified, and prototyped. Such a workbench will aid language designers and provide experimental evidence that languages with harmonious designs have clean and correct implementations.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: Near-Trench Community Geodetic Experiment
  • 批准号：
    2232640
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $82.04万
  • 财政年份：
    2023
  • 负责人：
    David Schmidt
  • 依托单位：
    University of Washington
Collaborative Research: Constraints on Interseismic Locking near the Trench on the Oregon Segment of the Cascadia Subduction Zone Using Seafloor Geodesy (GNSS-A)
  • 批准号：
    2127140
  • 项目类别：
    Standard Grant
  • 资助金额：
    $27.2万
  • 财政年份：
    2021
  • 负责人：
    David Schmidt
  • 依托单位：
    University of Washington
GeoPRISMS Synthesis Workshop: The Geological Fingerprints of Slow Earthquakes
  • 批准号：
    2025105
  • 项目类别：
    Standard Grant
  • 资助金额：
    $3.82万
  • 财政年份：
    2020
  • 负责人：
    David Schmidt
  • 依托单位：
    University of Washington
CoPe RCN: Cascadia Coastal Hazards Research Coordination Network
  • 批准号：
    1940034
  • 项目类别：
    Standard Grant
  • 资助金额：
    $48.62万
  • 财政年份：
    2020
  • 负责人：
    David Schmidt
  • 依托单位：
    University of Washington
海外基金