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
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万 - 项目类别: