课题基金 / 基金详情

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
海外基金