Special-Purpose Functional Languages

专用函数式语言

基本信息

  • 批准号:
    9619644
  • 负责人:
  • 金额:
    $ 15.88万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1997
  • 资助国家:
    美国
  • 起止时间:
    1997-05-15 至 2000-10-31
  • 项目状态:
    已结题

项目摘要

9619644 Kamin The goal of this project is to promote technology transfer from the functional programming community into the wider programming community, by concentrating on special-purpose functional languages. The proposed work focuses on the design and implementation of a functional language for ASCII file processing, tentatively called FPERL. This addresses the goal in two mutually-reinforcing ways. First, FPERL is to be a functional alternative to languages like AWK and PERL; its development will shed light on this domain and will, it is hoped, garner a user community of new functional programmers. Second, the construction of the FPERL processor will be based on a unique class of special- purpose languages: meta-programming languages (also called program generators). The components of the processor - lexical analyzer, parser, de-sugarer, and so on - will each be written in a functional meta-programming language specially designed for that type of component. These meta-programming languages will be developed as extensions to FPERL, resulting in an unusual boot- strapping process. This research will produce new knowledge about a variety of special-purpose language domains - file processing, parsing, and so on; about meta-programming as a generally applicable programming methodology; and about the design of languages to support meta-programming. ***
9619644 Kamin这个项目的目标是通过专注于特殊用途的函数式语言,促进从函数式编程社区向更广泛的编程社区的技术转移。建议的工作重点是设计和实现一种用于ASCII文件处理的函数式语言,暂定为FPERL。这以两种相辅相成的方式解决了这一目标。首先,FPERL将成为AWK和Perl等语言的函数式替代语言;它的开发将阐明这一领域,并有望获得新的函数式程序员的用户社区。其次,FPERL处理器的构建将基于一类独特的专用语言:元编程语言(也称为程序生成器)。处理器的组件--词法分析器、解析器、解析器等等--都将用专门为该类型组件设计的函数式元编程语言编写。这些元编程语言将被开发为FPERL的扩展,导致一个不寻常的引导过程。这项研究将产生关于各种专用语言领域的新知识--文件处理、解析等;关于元编程作为一种普遍适用的编程方法的新知识;以及关于支持元编程的语言的设计。***

项目成果

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

Samuel Kamin其他文献

The expressive theory of stacks
  • DOI:
    10.1007/bf00282622
  • 发表时间:
    1987-11-01
  • 期刊:
  • 影响因子:
    0.500
  • 作者:
    Samuel Kamin
  • 通讯作者:
    Samuel Kamin

Samuel Kamin的其他文献

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

{{ truncateString('Samuel Kamin', 18)}}的其他基金

Collaborative Research: BPC-A: Improving Metropolitan Participation to Accelerate Computing Throughput and Success
协作研究:BPC-A:提高大都市的参与度以加速计算吞吐量和成功
  • 批准号:
    0837636
  • 财政年份:
    2008
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Standard Grant
Collaborative Research: ITWF: Building Communities: Recruiting and Retention of Underrepresented Groups in Computer Science
合作研究:ITWF:建设社区:计算机科学领域代表性不足群体的招募和保留
  • 批准号:
    0420505
  • 财政年份:
    2004
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Continuing Grant
Run-time Code Generation for the Masses
面向大众的运行时代码生成
  • 批准号:
    0306221
  • 财政年份:
    2003
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Standard Grant
Technologies for Lightweight, Generative, Binary Software Components
轻量级、生成式、二进制软件组件技术
  • 批准号:
    9988307
  • 财政年份:
    2000
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Standard Grant
Parametricity, Abstraction and Objects
参数化、抽象和对象
  • 批准号:
    9804087
  • 财政年份:
    1998
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Standard Grant
Termination of Rewrite Systems
重写系统的终止
  • 批准号:
    9700070
  • 财政年份:
    1997
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Standard Grant
Workshop on Future Directions in Programming Languages and Compilers; Charleston, S.C.; January 13-14, 1993
编程语言和编译器未来方向研讨会;
  • 批准号:
    9304990
  • 财政年份:
    1993
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Standard Grant
Functional Programming and Scientific Computing
函数式编程和科学计算
  • 批准号:
    9303043
  • 财政年份:
    1993
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Continuing Grant
The Pragmatics of Final Data Type Specifications
最终数据类型规范的语用学
  • 批准号:
    8110087
  • 财政年份:
    1981
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Continuing Grant
Design and Optimization Problems in Relational Database Theory
关系数据库理论中的设计和优化问题
  • 批准号:
    8003308
  • 财政年份:
    1980
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Standard Grant

相似海外基金

AI4HOPE: ARTIFICIAL INTELLIGENCE BASED HEALTH, OPTIMISM, PURPOSE, AND ENDURANCE IN PALLIATIVE CARE FOR DEMENTIA
AI4HOPE:基于人工智能的痴呆症姑息治疗中的健康、乐观、目标和耐力
  • 批准号:
    10103129
  • 财政年份:
    2024
  • 资助金额:
    $ 15.88万
  • 项目类别:
    EU-Funded
Conference: What, where, and for what purpose is the mathematics in mathematics teacher education?
会议:数学教师教育中的数学是什么、在哪里、目的是什么?
  • 批准号:
    2408993
  • 财政年份:
    2024
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Standard Grant
Development of a multi-purpose three-arm aerial manipulator system
多用途三臂空中机械手系统的研制
  • 批准号:
    23K13298
  • 财政年份:
    2023
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Further development of a unique dual-purpose real-time monitor of Tritium (Beta radiation) in Air & Tritium in Water at environmental levels.
进一步开发空气中氚(β辐射)的独特双用途实时监测仪
  • 批准号:
    10074646
  • 财政年份:
    2023
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Collaborative R&D
PSM and the Digital Challenge: Purpose, Value and Funding
PSM 和数字挑战:目的、价值和资金
  • 批准号:
    ES/X005690/1
  • 财政年份:
    2023
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Research Grant
Establishment of STEAM competency development program based on general-purpose logical thinking
基于通用逻辑思维的STEAM能力培养方案建立
  • 批准号:
    23K02151
  • 财政年份:
    2023
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Development of Tractor Driving Simulator for Safety Training Purpose using XR Technology
利用 XR 技术开发用于安全培训的拖拉机驾驶模拟器
  • 批准号:
    23K14043
  • 财政年份:
    2023
  • 资助金额:
    $ 15.88万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Extraction of Vital Signs using a Telehealth Application for Asthma - EViTA-AThe purpose of this grant is to evaluate mobile devices to extract vitals signs to monitor patients with Asthma
使用哮喘远程医疗应用程序提取生命体征 - EViTA-A 这项拨款的目的是评估移动设备提取生命体征以监测哮喘患者
  • 批准号:
    10699530
  • 财政年份:
    2023
  • 资助金额:
    $ 15.88万
  • 项目类别:
THE PURPOSE OF THIS REQUIREMENT IS TO PROVIDE REGULATORY SERVICES AND TECHNICAL SUPPORT TO THE DIVISION OF CANCER PREVENTION (DCP) AT THE NATIONAL CANCER INSTITUTE (NCI). NCI AND DCP HAVE A RECURRING
此要求的目的是为国家癌症研究所 (NCI) 的癌症预防部门 (DCP) 提供监管服务和技术支持。
  • 批准号:
    10974513
  • 财政年份:
    2023
  • 资助金额:
    $ 15.88万
  • 项目类别:
Development and Validation of a Multi-functional, Multi-purpose Quantitative Tool for Dermal Physiologically-Based Pharmacokinetic Modeling
用于基于皮肤生理学的药代动力学建模的多功能、多用途定量工具的开发和验证
  • 批准号:
    10811799
  • 财政年份:
    2023
  • 资助金额:
    $ 15.88万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了