Design and implementation of a retargetable ALDES compiler | SpringerLink
Skip to main content
Springer Nature Link
Log in

Design and implementation of a retargetable ALDES compiler

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

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

  • 127 Accesses

Abstract

This work is concerned with an efficient and portable implementation of the ALDES language. The extensive measurements showed an improving the implementation efficiency depending on the application with up to 60% (measured on the Sun 3/260) against the FORTRAN based implementation. The compilation time and the size of the generated code are improved too.

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.

Similar content being viewed by others

References

  1. G.E. Collins, 1980: ALDES and SAC-2 now available. SIGSAM bull., 12(2):19.

    Google Scholar 

  2. G.E. Collins and R.G.K. Loos: SAC-2 system documentation. In Europe available from: R.G.K. Loos, Universität Tübingen D-7400 Tübingen, Germany. In the U.S. available from: G. E. Collins, Ohio State University, Computer Science, Columbus, OH 43210, U.S.A.

    Google Scholar 

  3. J.H. Davenport and J. Heintz, 1988: Real Quantifier Elimination is Doubly Exponential. J. Symbolic Computation, 5:29–35.

    Google Scholar 

  4. H. Hong, 1990: An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition. PhD thesis, Ohio State University, Columbus.

    Google Scholar 

  5. D.E. Knuth, 1981: The Art of Computer Programming, Volume 2 — Seminumerical Algorithm. Addison-Wesley.

    Google Scholar 

  6. H. Kredel, 1989: From SAC-2 to Modula-2. In Proc. ISSAC'88 Rome, LNCS 358, pp 447–455, Springer.

    Google Scholar 

  7. L. Langemyr, 1986: Converting SAC-2 code to lisp. SIGSAM bull., 14(1):11–13.

    Google Scholar 

  8. R.G.K. Loos, 1976: The algorithm description language ALDES. SIGSAM bull., 14(4):15–39.

    Google Scholar 

  9. R.G.K. Loos, 1982: Generalized polynomial remainder sequences. In B. Buchberger, G.E. Collins, and R.G.K. Loos, editors, Computer Algebra, Symbolic and Algebraic Computation, pages 115–137, Springer-Verlag, Wien-New York.

    Google Scholar 

  10. M. Sämann, 1978: ALDES-Code-Erzeugung für Siemens 7.000 und IBM 360/370 Maschinen. Diplomarbeit. Fakultät für Informatik, Univ. Karlsruhe.

    Google Scholar 

  11. A.S. Tanenbaum, H. avan Staveren, E.G. Keizer, J.W. Stevenson, 1983: A Practical Toolkit for Making Portable Compilers. Commun. ACM, 26(9):654–660.

    Google Scholar 

  12. A.S. Tanenbaum, H. van Staveren, E.G. Keizer, J.W. Stevenson, 1983: Description of a machine architecture for use with block structured languages. Tecnical Report IR-81, Vrije Universiteit, Amsterdam.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Wilhelm-Schickard-Institut, Universität Tübingen, Germany

    Gábor Simon

Authors
  1. Gábor Simon
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

John Fitch

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Simon, G. (1993). Design and implementation of a retargetable ALDES compiler. In: Fitch, J. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1992. Lecture Notes in Computer Science, vol 721. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57272-4_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-57272-4_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57272-5

  • Online ISBN: 978-3-540-48031-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation