A generic analysis environment for declarative programs

WCFLP'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Curry an Functional Logic Programming

Volumn , Issue , 2005, Pages 43-48

  Hanus, Michael ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

Functional Logic Programming; Program Analysis; Programming Environments

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAM LISTINGS; COMPUTER PROGRAMMING LANGUAGES; GRAPHICAL USER INTERFACES;

DECLARATIVE PROGRAMS; FUNCTIONAL LOGIC PROGRAMMING; PROGRAM ANALYSIS; PROGRAMMING ENVIRONMENTS;

LOGIC PROGRAMMING;

EID: 32044474848     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1085099.1085108     Document Type: Conference Paper

References (16)

1. E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidai. Operational Semantics for Declarative Multi-Paradigm Languages. Journal of Symbolic Computation, Vol. 40, No. 1, pp. 795-829, 2005.
2. S. Antoy and M. Hanus. Compiling Multi-Paradigm Declarative Programs into Prolog. In Proc. International Workshop on Frontiers of Combining Systems (FroCoS'2000), pp. 171-185. Springer LNCS 1794, 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 (LOPSTK'05). Springer LNCS (to appear), 2005.
4. S. Antoy, M. Hanus, B. Massey, and F. Steiner. An Implementation of Narrowing Strategies. In Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001), pp. 207-217. ACM Press, 2001.
5. J. de Dios Castro and J.C. Gonzalez 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. M. Hanus. A Unified Computation Model for Functional and Logic Programming. In Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris), pp. 80-93, 1997.
7. M. Hanus. Distributed Programming in a Multi-Paradigm Declarative Language. In Proc. of the International Conference on Principles and Practice of Declarative Programming (PPDP'99), pp. 376-395. Springer LNCS 1702, 1999.
8. M. Hanus. A Functional Logic Programming Approach to Graphical User Interfaces. In Intl. Workshop on Practical Aspects of Declarative Languages (PADL'00), pp. 47-62. Springer LNCS 1753, 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'0I), pp. 1-14, Paphos (Cyprus), 2001. Also available from the Computing Research Repository (CoRR) at http://arXiv.org/abs/cs.PL/0111039.
11. M. Hanus and F. Steiner. Type-based Nondeterminism Checking in Functional Logic Programs. In Proc. of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2000), pp. 202-213. ACM Press, 2000.
12. M. Hanus (ed.). Curry: An Integrated Functional Logic Language (Vers. 0.8). Available at http://www.informatik.uni-kiel.de/~curry, 2003.
13. T. Hortalá-González and E. Ullán. An Abstract Machine Based System for a Lazy Narrowing Calculus. In Proc. of the 5th International Symposium on Functional and Logic Programming (FLOPS 2001), pp. 216-232. Springer LNCS 2024, 2001.
14. T. Johnsson. Lambda Lifting: Transforming Programs to Recursive Functions. In Functional Programming Languages and Computer Architecture, pp. 190-203. Springer LNCS 201, 1985.
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.