Improving Hugs: Haskell as a Research Tool

改善拥抱:Haskell 作为研究工具

基本信息

  • 批准号:
    9974980
  • 负责人:
  • 金额:
    $ 12.96万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1999
  • 资助国家:
    美国
  • 起止时间:
    1999-09-01 至 2001-08-31
  • 项目状态:
    已结题

项目摘要

Proposal Number: CCR-9974980Title: Improving Hugs: Haskell as a Research ToolPI's: Tim Sheard and Mark Jones, Oregon Graduate InstituteThe programming language Haskell has emerged as the standard lazyfunctional language, and offers strong typing, higher-order features, andparametric polymorphism. The Hugs interpreter is a simple, easily ported,implementation of Haskell. This project will enhance Hugs, focusing onissues of usability and integration with the high-performance GlasgowHaskell Compiler.The project improves the Hugs interpreter in several ways:Integration with GHC runtime system:By completing the integration of the Glasgow Haskell Compiler run-timesystem with the Hugs interpreter, a fully interoperable system capableof executing a mixture of compiled and byte-code interpreted code willbe constucted. Declarative debugging: The project will investigate the problem of tracing the computational stepsof a lazy functional program, at a level of abstraction consistent with theprogrammers view of the program.Better Error Reporting:The project investigates how to improve the type error debuggingprocess by building improved type inference systems intoHugs, capable of reporting both where and why type errors haveoccurred. Successful integration with the GHC run-time system has numerousbenefits. It allows the Hugs interpreter to access the existing GHCfeatures including compiled preludes and libraries, while maintainingthe small footprint and ease of use of an interpreter. Completion ofthe project will greatly increase the size and complexity of theproblems to which the Hugs interpreter can be applied.
提案编号:CCR-9974980题目:改进拥抱:Haskell作为研究工具PI:蒂姆·谢尔德和马克·琼斯,俄勒冈州研究生院编程语言Haskell已经成为标准的懒惰函数语言,并提供强大的类型、高阶功能和参数多态。Hugs解释器是Haskell的一个简单、易于移植的实现。这个项目将增强Hugs,重点关注可用性和与高性能GlasgowHaskell编译器的集成问题。该项目在几个方面改进了Hugs解释器:与GHC运行时系统集成:通过完成Glasgow Haskell编译器运行时系统与Hugs解释器的集成,将构建一个完全可互操作的系统,能够执行编译代码和字节码解释代码的混合。声明性调试:该项目将在与程序员对程序的看法一致的抽象级别上调查跟踪懒惰函数式程序的计算步骤的问题。更好的错误报告:该项目调查如何通过在Hugs中构建改进的类型推理系统来改进类型错误调试过程,该系统能够报告类型错误发生的位置和原因。与GHC运行时系统的成功集成有许多好处。它允许Hugs翻译器访问现有的GHC功能,包括编译的前奏和库,同时保持翻译器的小占用空间和易用性。该项目的完成将极大地增加Hugs翻译器可以应用的问题的规模和复杂性。

项目成果

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

Tim Sheard其他文献

Two-level types and parameterized modules
两级类型和参数化模块
  • DOI:
    10.1017/s095679680300488x
  • 发表时间:
    2004
  • 期刊:
  • 影响因子:
    1.1
  • 作者:
    Tim Sheard;E. Pasalic
  • 通讯作者:
    E. Pasalic

Tim Sheard的其他文献

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

{{ truncateString('Tim Sheard', 18)}}的其他基金

SHF: Small: Generic Dependently Typed Programming by Reflecting a Predicative Hierarchy of Universes
SHF:小:通过反映宇宙的谓词层次结构的通用依赖类型编程
  • 批准号:
    1320934
  • 财政年份:
    2013
  • 资助金额:
    $ 12.96万
  • 项目类别:
    Standard Grant
SHF:Large:Collaborative Research:TRELLYS: Community-Based Design and Implementation of a
SHF:大型:协作研究:TRELLYS:基于社区的设计和实施
  • 批准号:
    0910500
  • 财政年份:
    2009
  • 资助金额:
    $ 12.96万
  • 项目类别:
    Standard Grant
Mitigating human error in programs through combined language/reasoning systems
通过组合语言/推理系统减少程序中的人为错误
  • 批准号:
    0541447
  • 财政年份:
    2006
  • 资助金额:
    $ 12.96万
  • 项目类别:
    Continuing Grant
SoD-HCER Semantics Based System Design Using Omega
使用 Omega 进行基于 SoD-HCER 语义的系统设计
  • 批准号:
    0613969
  • 财政年份:
    2006
  • 资助金额:
    $ 12.96万
  • 项目类别:
    Standard Grant
Heterogeneous Meta Programming Systems
异构元编程系统
  • 批准号:
    0098126
  • 财政年份:
    2001
  • 资助金额:
    $ 12.96万
  • 项目类别:
    Continuing Grant
Type Safe Program Generators
类型安全程序生成器
  • 批准号:
    9625462
  • 财政年份:
    1996
  • 资助金额:
    $ 12.96万
  • 项目类别:
    Standard Grant
1996 Summer School on Advanced Functional Programming; Pacific Software Research Center, Portland, Oregon
1996 高级函数式编程暑期学校;
  • 批准号:
    9614784
  • 财政年份:
    1996
  • 资助金额:
    $ 12.96万
  • 项目类别:
    Standard Grant

相似海外基金

SHF: Medium: Collaborative Research: HUGS: Human-Guided Software Testing and Analysis for Scalable Bug Detection and Repair
SHF:中:协作研究:HUGS:用于可扩展错误检测和修复的人工引导软件测试和分析
  • 批准号:
    1900968
  • 财政年份:
    2019
  • 资助金额:
    $ 12.96万
  • 项目类别:
    Continuing Grant
SHF: Medium: Collaborative Research: HUGS: Human-Guided Software Testing and Analysis for Scalable Bug Detection and Repair
SHF:中:协作研究:HUGS:用于可扩展错误检测和修复的人工引导软件测试和分析
  • 批准号:
    1901136
  • 财政年份:
    2019
  • 资助金额:
    $ 12.96万
  • 项目类别:
    Continuing Grant
HUGS: a Hub for Uk Greenhouse gas data Science
HUGS:英国温室气体数据科学中心
  • 批准号:
    NE/S016155/1
  • 财政年份:
    2019
  • 资助金额:
    $ 12.96万
  • 项目类别:
    Research Grant
Helping Us Grow Stronger (HUGS/Abrazos): COVID-19 in pregnancy and reducing toxic stress in mother-infant dyads
帮助我们变得更强 (HUGS/Abrazos):怀孕期间的 COVID-19 和减少母婴二人的毒性压力
  • 批准号:
    10393329
  • 财政年份:
    2019
  • 资助金额:
    $ 12.96万
  • 项目类别:
SHF: Medium: Collaborative Research: HUGS: Human-Guided Software Testing and Analysis for Scalable Bug Detection and Repair
SHF:中:协作研究:HUGS:用于可扩展错误检测和修复的人工引导软件测试和分析
  • 批准号:
    1901098
  • 财政年份:
    2019
  • 资助金额:
    $ 12.96万
  • 项目类别:
    Continuing Grant
HUGS for HEALTH: Healthy Bugs for Healthy Babies DOHaD Team
拥抱有益健康:健康的虫子造就健康的婴儿 DOHaD 团队
  • 批准号:
    339679
  • 财政年份:
    2015
  • 资助金额:
    $ 12.96万
  • 项目类别:
    Operating Grants
Hugs for HEALTH (Healthy Gut Bugs for Healthy Babies) DOHaD Team: Maternal gut health and impacts on transgenerational obesity risk
拥抱健康(健康肠道菌造就健康婴儿)DOHaD 团队:孕产妇肠道健康及其对跨代肥胖风险的影响
  • 批准号:
    328395
  • 财政年份:
    2015
  • 资助金额:
    $ 12.96万
  • 项目类别:
    Operating Grants
MENTAL HEALTH PREVENTION PROJECT: HELPING-U-GROW (HUGS)
心理健康预防项目:帮助你成长(拥抱)
  • 批准号:
    6781015
  • 财政年份:
    2000
  • 资助金额:
    $ 12.96万
  • 项目类别:
MENTAL HEALTH PREVENTION PROJECT: HELPING-U-GROW (HUGS)
心理健康预防项目:帮助你成长(拥抱)
  • 批准号:
    6655517
  • 财政年份:
    2000
  • 资助金额:
    $ 12.96万
  • 项目类别:
MENTAL HEALTH PREVENTION PROJECT: HELPING-U-GROW (HUGS)
心理健康预防项目:帮助你成长(拥抱)
  • 批准号:
    6391457
  • 财政年份:
    2000
  • 资助金额:
    $ 12.96万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了