Special-Purpose Functional Languages
Special-Purpose Functional Languages
批准号:
9619644
负责人:
Samuel Kamin
金额:
$15.88万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1997
资助国家:
美国
项目状态:
已结题
起止时间:
1997-05-15 至 2000-10-31
中文摘要
9619644 Kamin该项目的目标是通过专注于特殊用途的函数式语言,促进技术从函数式编程社区转移到更广泛的编程社区。建议的工作重点是设计和实现的功能语言的ASCII文件处理,暂称为FPERL。这以两种相互加强的方式实现了这一目标。首先,FPERL将成为AWK和PERL等语言的函数式替代品;它的开发将为这个领域带来光明,并希望获得新的函数式程序员用户社区。其次,FPERL处理器的构造将基于一类独特的专用语言:元编程语言(也称为程序生成器)。处理器的组件--词法分析器、解析器、去糖器等等--都将用专门为该类型组件设计的函数式元编程语言编写。这些元编程语言将作为FPERL的扩展开发,从而导致不寻常的靴子过程。这项研究将产生关于各种专用语言领域的新知识-文件处理,解析等;关于元编程作为一种普遍适用的编程方法;以及关于支持元编程的语言设计。 ***
英文摘要
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. ***
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: BPC-A: Improving Metropolitan Participation to Accelerate Computing Throughput and Success
-
批准号:0837636
-
项目类别:Standard Grant
-
资助金额:$5.84万
-
财政年份:2008
-
负责人:Samuel Kamin
-
依托单位:
Collaborative Research: ITWF: Building Communities: Recruiting and Retention of Underrepresented Groups in Computer Science
-
批准号:0420505
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Samuel Kamin
-
依托单位:
Run-time Code Generation for the Masses
-
批准号:0306221
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2003
-
负责人:Samuel Kamin
-
依托单位:
Technologies for Lightweight, Generative, Binary Software Components
-
批准号:9988307
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2000
-
负责人:Samuel Kamin
-
依托单位:
Parametricity, Abstraction and Objects
-
批准号:9804087
-
项目类别:Standard Grant
-
资助金额:$15.5万
-
财政年份:1998
-
负责人:Samuel Kamin
-
依托单位:
Termination of Rewrite Systems
-
批准号:9700070
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:1997
-
负责人:Samuel Kamin
-
依托单位:
Workshop on Future Directions in Programming Languages and Compilers; Charleston, S.C.; January 13-14, 1993
-
批准号:9304990
-
项目类别:Standard Grant
-
资助金额:$2.08万
-
财政年份:1993
-
负责人:Samuel Kamin
-
依托单位:
Functional Programming and Scientific Computing
-
批准号:9303043
-
项目类别:Continuing Grant
-
资助金额:$35.73万
-
财政年份:1993
-
负责人:Samuel Kamin
-
依托单位:
The Pragmatics of Final Data Type Specifications
-
批准号:8110087
-
项目类别:Continuing Grant
-
资助金额:$17.07万
-
财政年份:1981
-
负责人:Samuel Kamin
-
依托单位:
Design and Optimization Problems in Relational Database Theory
-
批准号:8003308
-
项目类别:Standard Grant
-
资助金额:$6.81万
-
财政年份:1980
-
负责人:Samuel Kamin
-
依托单位:
海外基金