A generic analysis environment for declarative programs

ABSTRACT

In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation of an application written in Curry, i.e., the main module and all directly or indirectly imported modules. Each module can be shown in different formats (e.g., source code, interface, intermediate code) and, inside each module, various properties of functions defined in this module can be analyzed. In order to support the integration of various program analyses, CurryBrowser has a generic interface to connect local and global analyses implemented in Curry. CurryBrowser is completely implemented in Curry using libraries for GUI programming and meta-programming.

REFERENCES

• 1: E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal. Operational Semantics for Declarative Multi-Paradigm Languages. Journal of Symbolic Computation, Vol. 40, No. 1, pp. 795--829, 2005.
• 2: Sergio Antoy , Michael Hanus, Compiling Multi-Paradigm Declarative Programs into Prolog, Proceedings of the Third International Workshop on Frontiers of Combining Systems, p.171-185, March 22-24, 2000
• 3: S. Antoy and M. Hanus. Declarative Programming with Function Patterns. In Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05). Springer LNCS (to appear), 2005.
• 4: Sergio Antoy , Bart Massey , Michael Hanus , Frank Steiner, An implementation of narrowing strategies, Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.207-217, September 05-07, 2001, Florence, Italy [doi>10.1145/773184.773206]
• 5: J. de Dios Castro and J.C. González Moreno. A Graphical Development Environment for Functional Logic Languages. In Proc. of the Ninth International Workshop on Functional and Logic Programming (WFLP 2000), pp. 404--417. Universidad Politécnica de Valencia, 2000.
• 6: Michael Hanus, A unified computation model for functional and logic programming, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.80-93, January 15-17, 1997, Paris, France [doi>10.1145/263699.263710]
• 7: Michael Hanus, Distributed Programming in a Multi-Paradigm Declarative Language, Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming, p.188-205, September 29-October 01, 1999
• 8: Michael Hanus, A Functional Logic Programming Approach to Graphical User Interfaces, Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages, p.47-62, January 01, 2000
• 9: M. Hanus, S. Antoy, M. Engelke, K. Höppner, J. Koj, P. Niederau, R. Sadre, and F. Steiner. PAKCS: The Portland Aachen Kiel Curry System. Available at http://www.informatik.uni-kiel.de/~pakcs/+, 2005.
• 10: M. Hanus and J. Koj. An Integrated Development Environment for Declarative Multi-Paradigm Programming. In Proc. of the International Workshop on Logic Programming Environments (WLPE'01), pp. 1--14, Paphos (Cyprus), 2001. Also available from the Computing Research Repository (CoRR) at http://arXiv.org/abs/cs.PL/0111039.
• 11: Michael Hanus , Frank Steiner, Type-based nondeterminism checking in functional logic programs, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.202-213, September 20-23, 2000, Montreal, Quebec, Canada [doi>10.1145/351268.351292]
• 12: M. Hanus(ed.). Curry: An Integrated Functional Logic Language (Vers. 0.8). Available at http://www.informatik.uni-kiel.de/~curry+, 2003.
• 13: Maria Teresa Hortalá-González , Eva Ullán, An Abstract Machine Based System for a Lazy Narrowing Calculus, Proceedings of the 5th International Symposium on Functional and Logic Programming, p.216-232, March 07-09, 2001
• 14: Thomas Johnsson, Lambda lifting: transforming programs to recursive equations, Proc. of a conference on Functional programming languages and computer architecture, p.190-203, January 1985, Nancy, France
• 15: S. Peyton Jones, editor. Haskell 98 Language and Libraries---The Revised Report. Cambridge University Press, 2003.
• 16: P. Wadler. Efficient Compilation of Pattern-Matching. In S.L. Peyton Jones, editor, The Implementation of Functional Programming Languages, pp. 78--103. Prentice Hall, 1987.

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.1 Applicative (Functional) Programming

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.6 Logic Programming
  D.2 SOFTWARE ENGINEERING
      D.2.6 Programming Environments

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.2 Semantics of Programming Languages

Keywords:
functional logic programming, program analysis, programming environments