An Integrated Development Environment for Declarative Multi-Paradigm Programming

An Integrated Development Environment for Declarative Multi-Paradigm Programming (2001)

by Michael Hanus , Johannes Koj

Venue:	WLPE'01
Citations:	7 - 5 self

User correction supplied by mph

Datum	Value	Source
TITLE	An Integrated Development Environment for Declarative Multi-Paradigm Programming	INFERENCE
AUTHOR NAME	Michael Hanus	user correction
AUTHOR AFFIL	CAU Kiel	user correction
AUTHOR NAME	Johannes Koj	user correction
AUTHOR AFFIL	Rwth Aachen	user correction
ABSTRACT	In this paper we present CIDER (Curry Integrated Development EnviRonment), an analysis and programming environment for the declarative multi-paradigm language Curry. CIDER is a graphical environment to support the development of Curry programs by providing integrated tools for the analysis and visualization of programs. CIDER is completely implemented in Curry using libraries for GUI programming (based on Tcl/Tk) and meta-programming. An important aspect of our environment is the possible adaptation of the development environment to other declarative source languages (e.g., Prolog or Haskell) and the extensibility w.r.t. new analysis methods. To support the latter feature, the lazy evaluation strategy of the underlying implementation language Curry becomes quite useful.	user correction
YEAR	2001	INFERENCE
VENUE	WLPE'01	user correction
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	1--14	INFERENCE
CITATIONS	23 found	ParsCit 1.0