Skip to main content
SpringerLink
Log in

Compiling residuation for a multiparadigm symbolic programming language

  • Conference paper
  • First Online:
Design and Implementation of Symbolic Computation Systems (DISCO 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1128))

Abstract

This paper describes a new compilation method for the residuation mechanism underlying a multiparadigm language. Furthermore, it proposes the constraint functional and functional logic paradigms for the programming language of symbolic computation systems.The integration of functional and logic programming for the programming language of the symbolic computation system AlgBench is demonstrated using the residuation evaluation mechanism. The proposed multiparadigm language LAB could serve as a stand alone programming language. We present a residuation compiler and a collection of new commands and structures for a uniform abstract machine, an extension of the Warren's Abstract Machine (WAM), with a common memory for both functional and logic programms. Our implementation is done in an object-oriented way and it shows that the proposed approach and optimizations leads to a better execution and evaluation performance.

Research supported by the Swiss National Science Foundation

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. H. Aït-Kaci, P. Lincoln, and R. Nasr. Le Fun: Logic, Equations, and Functions. In Proceedings of IEEE Symposioum on Logic Programming, 1987.

    Google Scholar 

  2. H. Aït-Kaci. Warren's Abstract Machine. A Tutorial Reconstruction. MIT Press, 1991.

    Google Scholar 

  3. H. Aït-Kaci and A. Podelski. Functions as Passive Constraints in LIFE. DEC Paris Research Laboratory, Research Report 13, June 1991.

    Google Scholar 

  4. H. Aït-Kaci. Towards a Meaning of LIFE. In Proc of the 3rd International Symposium on Programming Language Implementation and Logic Programming (PLILP'91), Springer-Verlag, LNCS 528, Passau, Germany, August 1991.

    Google Scholar 

  5. B. Buchberger. Mathematica: A System for doing Mathematics by Computer? Invited Talk. In Proc. of the 3rd Intern. Symposium on Design and Implementation of Symbolic Computation Systems (DISCO '93), Springer Verlag, LNCS 722, Gmunden, Austria, September 1993.

    Google Scholar 

  6. M. Fay. First order unification in equational theories. In Proc. of the 4th Intern. Conference on Automated Deduction (CADE-4), Academic Press, Austin, Texas, 1979.

    Google Scholar 

  7. G. Grivas. A Unification-and Object-Based Symbolic Computation System. In Proceedings of the 6th International Workshop on Unification (UNIF'92). BUCS Tech. Report #93-004, Computer Science Department, Boston University, July 1992.

    Google Scholar 

  8. G. Grivas and R. E. Maeder. Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench. In Proceedings of the 3rd International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'93), Springer-Verlag, LNCS 722, Gmunden, Austria, September 1993.

    Google Scholar 

  9. G. Grivas. Efficient Integration of Declarative Paradigms into Symbolic Computation Systems. In Proc. of ICLP'94 Post-Conference Workshop on Integration of Declarative Paradigms, MPI-I-94-224, Max-Planck-Institut für Informatik, Santa Margherita, Italy, June 1994.

    Google Scholar 

  10. G. Grivas. Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems. In Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP'94). Madrid, Spain, September 1994.

    Google Scholar 

  11. G. Grivas. The Design and Implementation of a Multiparadigm Symbolic Programming Language. PhD Thesis, Department of Computer Science, ETH Zürich, July 1996 (to be published).

    Google Scholar 

  12. M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, Vol. 19/20, pages 583–628, May 1994.

    Google Scholar 

  13. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.

    Google Scholar 

  14. R. E. Maeder. AlgBench: An Object-Oriented Symbolic Core System. In Proc. of the 2nd International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'92), Springer Verlag, LNCS 721, Bath, England, April 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, ETH Zürich, Switzerland

    Georgios Grivas & Alexios Palinginis

Authors
  1. Georgios Grivas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexios Palinginis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jacques Calmet Carla Limongelli

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Grivas, G., Palinginis, A. (1996). Compiling residuation for a multiparadigm symbolic programming language. In: Calmet, J., Limongelli, C. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1996. Lecture Notes in Computer Science, vol 1128. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61697-7_34

Download citation

  • DOI: https://doi.org/10.1007/3-540-61697-7_34

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61697-9

  • Online ISBN: 978-3-540-70635-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation