An Integrated Development Environment for Declarative Multi-Paradigm Programming

Simple item page
dc.creatorHanus, Michael
dc.creatorKoj, Johannes
dc.date2001-11-14
dc.date2001-11-19
dc.date.accessioned2026-07-07T03:17:56Z
dc.date.available2026-07-07T03:17:56Z
dc.descriptionIn 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.
dc.descriptionIn A. Kusalik (ed), proceedings of the Eleventh International Workshop on Logic Programming Environments (WLPE'01), December 1, 2001, Paphos, Cyprus. cs.PL/0111042
dc.identifierhttps://arxiv.org/abs/cs/0111039
dc.identifierhttp://arxiv.org/abs/cs/0111039
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30917
dc.subjectProgramming Languages
dc.subjectSoftware Engineering
dc.subjectD.1.1; D.1.3; D.1.6; D.2.6; D.2.5; D.3.4
dc.titleAn Integrated Development Environment for Declarative Multi-Paradigm Programming
dc.typetext

Files

Collections

arXiv