面向声明式多范式编程的集成开发环境
编程语言
2007-05-23 v2 软件工程
摘要
本文介绍了CIDER（Curry Integrated Development EnviRonment），一种用于声明式多范式语言Curry的分析与编程环境。CIDER是一个图形化环境，支持通过提供集成的工具来分析和可视化Curry程序的开发。CIDER完全使用Curry实现，基于Tcl/Tk的GUI编程库和元编程。我们环境的一个重要方面是能够将开发环境适配到其他声明式源语言（例如Prolog或Haskell），并且能够针对新的分析方法进行可扩展性。为支持后者特性，底层实现语言Curry的惰性求值策略变得相当有用。
引用
@article{arxiv.cs/0111039,
title = {An Integrated Development Environment for Declarative Multi-Paradigm Programming},
author = {Michael Hanus and Johannes Koj},
journal= {arXiv preprint arXiv:cs/0111039},
year = {2007}
}
备注
In A. Kusalik (ed), proceedings of the Eleventh International Workshop on Logic Programming Environments (WLPE'01), December 1, 2001, Paphos, Cyprus. cs.PL/0111042