The Design, Definition, and Implementation of Programming Languages
The Design, Definition, and Implementation of Programming Languages
批准号:
9804014
负责人:
John Reynolds
金额:
$33.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1998
资助国家:
美国
项目状态:
已结题
起止时间:
1998-04-01 至 2001-06-30
中文摘要
9804014 Reynolds 主要目标是设计一种纯函数式编程语言,具有足够精致的类型结构,使程序员能够显式控制存储分配。所提出的起点是 Benton 的逻辑 LNL,它将 Moggi 的计算 lambda 演算与使用线性类型的语言集成在一起。应该可以实现一种基于 LNL 的语言,以便线性值不需要垃圾收集或引用计数,并且用户可以显式控制线性值和非线性值之间以及按值调用和按名称调用之间的选择。进一步的可能性包括暂时“冻结”线性结构的能力(这将在允许多个引用的同时禁止更新)、包含用于指定就地算法的类型,以及允许其交互可以产生不确定结果的并发进程的扩展。可能追求的其他主题包括:副作用、混叠和干扰推理方法的统一和概括,通过斯科特域上的部分等价关系对多态类型进行建模,以及域和信息系统上的部分等价关系之间的关系的研究。 ***
英文摘要
9804014 Reynolds The main goal is the design of a purely functional programming language with a sufficiently refined type structure to give the programmer explicit control over storage allocation. The proposed starting point is Benton's logic LNL, which integrates the computational lambda calculus of Moggi with a language using linear types. It should be possible to implement a language based on LNL so that linear values do not need garbage collection or reference counts, and so that the user has explicit control over the choices between linear and nonlinear values, and between call by value and call by name. Further possibilities include the ability to "freeze" a linear structure temporarily (which would prohibit updating while permitting multiple references), the inclusion of types for specifying in-place algorithms, and an extension to permit concurrent processes whose interaction can yield nondeterminate results. Additional topics that may be pursued are: the unification and generalization of approaches to reasoning about side effects, aliasing, and interference, the modeling of polymorphic types by means of partial equivalence relations on Scott domains, and the investigation of the relationship between partial equivalence relations on domains and information systems. ***
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Specification, Verification, and Semantics of Higher-Order and Concurrent Software
-
批准号:0916808
-
项目类别:Standard Grant
-
资助金额:$48.71万
-
财政年份:2009
-
负责人:John Reynolds
-
依托单位:
Reasoning about Data Structures, Concurrency, and Resources
-
批准号:0541021
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:John Reynolds
-
依托单位:
US-France Cooperative Research: Controlled Optoelectronic Properties of Hybrid Dioxythiophene Polymers
-
批准号:0339735
-
项目类别:Standard Grant
-
资助金额:$1.8万
-
财政年份:2004
-
负责人:John Reynolds
-
依托单位:
Reasoning About Low-Level Programming
-
批准号:0204242
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2002
-
负责人:John Reynolds
-
依托单位:
Gender-Related Trends in Educational Expectations
-
批准号:0137050
-
项目类别:Standard Grant
-
资助金额:$4.73万
-
财政年份:2002
-
负责人:John Reynolds
-
依托单位:
Conducting Polymers Derived from Novel Electron Rich Condensed Heterocycles
-
批准号:9629854
-
项目类别:Continuing Grant
-
资助金额:$31.0万
-
财政年份:1996
-
负责人:John Reynolds
-
依托单位:
The Design, Definition, and Implementation of Programming Languages
-
批准号:9409997
-
项目类别:Continuing Grant
-
资助金额:$31.55万
-
财政年份:1995
-
负责人:John Reynolds
-
依托单位:
Symposium on Polymeric and Organic Materials: Solid State Properties and Smart Materials, at American Chemical Society Meeting, Anaheim, California, April 2-7, 1995
-
批准号:9505906
-
项目类别:Standard Grant
-
资助金额:$0.35万
-
财政年份:1995
-
负责人:John Reynolds
-
依托单位:
The Electrochemical Polymerization of Bis-2-Pyrrolyl Conjugated Monomers to Form Highly Conducting Polymers
-
批准号:9307732
-
项目类别:Continuing Grant
-
资助金额:$27.0万
-
财政年份:1993
-
负责人:John Reynolds
-
依托单位:
Studies of Neutron-Irradiated Fluid Inclusions by Laser- Microprobe, Noble-Gas Mass Spectrometry
-
批准号:9105357
-
项目类别:Standard Grant
-
资助金额:$6.4万
-
财政年份:1991
-
负责人:John Reynolds
-
依托单位:
The Design, Definition, and Implementation of Programming Languages
-
批准号:8922109
-
项目类别:Continuing Grant
-
资助金额:$26.84万
-
财政年份:1990
-
负责人:John Reynolds
-
依托单位:
Studies of Neutron-Irradiated Fluid Inclusions by Laser- Microprobe, Noble-Gas Mass Spectrometry
-
批准号:9004337
-
项目类别:Standard Grant
-
资助金额:$6.08万
-
财政年份:1990
-
负责人:John Reynolds
-
依托单位:
Studies of Neutron-Irradiated Fluid Inclusions by Laser- Microprobe, Noble-Gas Mass Spectrometry
-
批准号:8720775
-
项目类别:Standard Grant
-
资助金额:$11.31万
-
财政年份:1988
-
负责人:John Reynolds
-
依托单位:
The Design, Definition, and Implementation of Programming Languages
-
批准号:8620191
-
项目类别:Continuing Grant
-
资助金额:$26.23万
-
财政年份:1986
-
负责人:John Reynolds
-
依托单位:
Terrestrial Rare Gases: US-Japan Joint Seminar / Yellowstone National Park, Wyoming / September 1986
-
批准号:8515624
-
项目类别:Standard Grant
-
资助金额:$1.03万
-
财政年份:1986
-
负责人:John Reynolds
-
依托单位:
Noble Gases at the Deep Well of the Salton Sea Scientific Drilling Project
-
批准号:8517033
-
项目类别:Standard Grant
-
资助金额:$0.66万
-
财政年份:1985
-
负责人:John Reynolds
-
依托单位:
U.S.-France Joint Seminar on the Application of Algebra to Language Definition and Compilation: Fontainebleau, France, June 9-14, 1982
-
批准号:8120256
-
项目类别:Standard Grant
-
资助金额:$2.03万
-
财政年份:1982
-
负责人:John Reynolds
-
依托单位:
The Design, Definition, and Implementation of Programming Languages
-
批准号:8017577
-
项目类别:Continuing Grant
-
资助金额:$38.24万
-
财政年份:1981
-
负责人:John Reynolds
-
依托单位:
Rare Gases in Individual Meteorite Grains
-
批准号:7800635
-
项目类别:Standard Grant
-
资助金额:$1.86万
-
财政年份:1978
-
负责人:John Reynolds
-
依托单位:
The Design, Definition, and Implementation of Programming Languages
-
批准号:7522002
-
项目类别:Standard Grant
-
资助金额:$27.02万
-
财政年份:1976
-
负责人:John Reynolds
-
依托单位:
海外基金