RWTH Aachen: Difference between revisions
Created page with "Title: RWTH Aachen Main Research Question: How can a declarative multi-paradigm programming environment be designed to support the development of programs in various declarative languages? Methodology: The research team developed CIDER (Curry Integrated Development Environment for Declarative Multi-Paradigm Programming), a graphical programming and development environment for the construction and debugging of declarative multi-paradigm programs. CIDER is designed to su..." |
No edit summary |
||
| Line 3: | Line 3: | ||
Main Research Question: How can a declarative multi-paradigm programming environment be designed to support the development of programs in various declarative languages? | Main Research Question: How can a declarative multi-paradigm programming environment be designed to support the development of programs in various declarative languages? | ||
Methodology: The | Methodology: The researchers developed CIDER, an analysis and programming environment for the declarative multi-paradigm language Curry. CIDER is designed to support the development of Curry programs by providing integrated tools for analyzing and visualizing programs. It is fully implemented in Curry using libraries for GUI programming and meta-programming. | ||
Results: CIDER | Results: CIDER is an open platform that can be adapted to other declarative languages, making it a versatile tool for developers. It consists of an editor, analysis tools, and a graphical debugger. The analysis tools currently available include type computation, checking for overlapping rules, and completeness analysis. | ||
Implications: | Implications: CIDER's adaptability and extensibility make it a valuable tool for researchers and developers working with declarative languages. It provides a comprehensive environment for analyzing and debugging programs, making the development process more efficient and effective. | ||
Link to Article: https://arxiv.org/abs/ | Link to Article: https://arxiv.org/abs/0111039v2 | ||
Authors: | Authors: | ||
arXiv ID: | arXiv ID: 0111039v2 | ||
[[Category:Computer Science]] | [[Category:Computer Science]] | ||
[[Category:Declarative]] | [[Category:Declarative]] | ||
[[Category:It]] | |||
[[Category:Programming]] | [[Category:Programming]] | ||
[[Category:Programs]] | [[Category:Programs]] | ||
[[Category:Cider]] | [[Category:Cider]] | ||
Latest revision as of 03:33, 24 December 2023
Title: RWTH Aachen
Main Research Question: How can a declarative multi-paradigm programming environment be designed to support the development of programs in various declarative languages?
Methodology: The researchers developed CIDER, an analysis and programming environment for the declarative multi-paradigm language Curry. CIDER is designed to support the development of Curry programs by providing integrated tools for analyzing and visualizing programs. It is fully implemented in Curry using libraries for GUI programming and meta-programming.
Results: CIDER is an open platform that can be adapted to other declarative languages, making it a versatile tool for developers. It consists of an editor, analysis tools, and a graphical debugger. The analysis tools currently available include type computation, checking for overlapping rules, and completeness analysis.
Implications: CIDER's adaptability and extensibility make it a valuable tool for researchers and developers working with declarative languages. It provides a comprehensive environment for analyzing and debugging programs, making the development process more efficient and effective.
Link to Article: https://arxiv.org/abs/0111039v2 Authors: arXiv ID: 0111039v2