Skip to main content
SpringerLink
Log in

The RAP system as a tool for testing COLD specifications

  • Part III Rapid Prototyping With Algebraic Specification
  • Conference paper
  • First Online:
Algebraic Methods: Theory, Tools and Applications (Algebraic Methods 1987)

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

Included in the following conference series:

  • 134 Accesses

Abstract

This paper describes the practical use of the RAP system, a rapid prototyping system for algebraic specifications combining term rewriting and resolution techniques. After a sketch of the general aims of RAP, the behaviour of the system is described from the user's point of view, illustrated by detailed examples of moderate size. All examples are presented in COLD-K syntax.

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.

References

  1. F. L. Bauer, H. Wössner, Algorithmic language and program development. Springe 1982.

    Google Scholar 

  2. R. Berghammer, H. Ehler, H. Zierer, Towards an algebraic specification of code generation. Report No. TUM-I8707 Technische Universität München.

    Google Scholar 

  3. D. M. Berry, J. M. Wing, Specifying and prototyping: some thoughts on why they are successful. Proc. TAPSOFT 85 Conf., Vol. 2, LNCS 186, Springer 1985, pp. 117–128.

    Google Scholar 

  4. L. Bouge, N. Choquet, L. Fribourg, M. C. Gaudel, Test sets generation from algebraic specifications using logic programming. Proc. TAPSOFT 85 Conf., LNCS 186, Springer 1986, pp. 262–275.

    Google Scholar 

  5. R. Budde, K. Kuhlenkamp, L., Matthiassen, H. Züllinghoven (Eds.), Approaches to prototyping. Springer 1984.

    Google Scholar 

  6. L. M. G. Feijs, H. B. M. Jonkers, C. P. J. Koymans, G. R. Renardel de Lavalette, Formal definition of the design language COLD-K. Report ESPRIT METEOR Task 7, 1987.

    Google Scholar 

  7. L. Fribourg, Oriented equational clauses as a programming language. Report 84002 Laboratories de Marcoussis, 1984. Short version in: Proc. 11th ICALP Conf., LNCS 172, Springer 1984, pp. 162–173

    Google Scholar 

  8. J. H. A. Gelissen, Rapid prototyping of COLD specifications using RAP. Report ESPRIT METEOR Task 8, 1988.

    Google Scholar 

  9. A. Geser, An algebraic specification of the INTEL 8085 microprocessor: A case study. Report MIP-8608 Universität Passau, 1986. Revised version contained within this volume.

    Google Scholar 

  10. A. Geser, H. Hussmann, Rapid prototyping for algebraic specifications — Examples for the use of the RAP system. Report MIP-8517 Universität Passau, 1985. Second, revised edition to appear.

    Google Scholar 

  11. A. Geser, H. Hussmann, Experiences with the RAP system — a specification interpreter combining term rewriting and resolution. Proc. ESOP 86 Conf., LNCS 213, Springer 1986, pp. 339–350.

    Google Scholar 

  12. A. Geser, H. Hussmann, A. Mueck, A compiler for a class of conditional term rewriting systems. In: Conditional Term Rewriting Systems, LNCS 308, Springer 1988, pp. 84–90.

    Google Scholar 

  13. G. Huet, J.-M. Hullot, Proofs by induction in equational theories with constructors. Journal of Computer and System Sciences 25, 239–266 (1982)

    Article  Google Scholar 

  14. H. Hussmann, Unification in conditional-equational theories. Report Universität Passau MIP-8502, 1985. Short version in: Proc. EUROCAL 85 Conf., LNCS 204, Springer 1985, pp. 543–553.

    Google Scholar 

  15. H. Hussmann, Rapid prototyping for algebraic specifications — RAP system user's manual. Report Universität Passau MIP-8504, 1985. Second, completely revised edition, 1987.

    Google Scholar 

  16. H. Hussmann, C. Rank, Specification and Prototyping of a Compiler for a Small Applicative Language. Contained within this volume.

    Google Scholar 

  17. H. B. M. Jonkers, A concrete syntax for COLD-K. Report ESPRIT METEOR Task 8, 1988.

    Google Scholar 

  18. H. B. M. Jonkers, C. P. J. Koymans, G. R. Renardel de Lavalette, A semantic framework for the COLD family of languages. Report Philips Research Laboratories Eindhoven, 1985.

    Google Scholar 

  19. P. Padawitz, ECDS-A rewrite rule based interpreter for a programming language with abstraction and communication, Report Universität Passau MIP-8703, 1987.

    Google Scholar 

  20. P. Padawitz, Computing in Horn clause theories. EATCS Monographs in Computer Science Vol. 16, Springer 1988.

    Google Scholar 

  21. Hansi A. Spec, Possible and impossible questions to an interpreter for algebraic specifications [in German]. Report No. 4/85 Universität Bremen, 1985.

    Google Scholar 

  22. P. Rety, C. Kirchner, H. Kirchner, P. Lescanne, NARROWER: a new algorithm for unification and its application to logic programming. In Proc. RTA 85 Conf., LNCS 202, Springer 1985, pp. 141–155.

    Google Scholar 

  23. M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy, On hierarchies of abstract data types. Acta Informatica 20, 1–33 (1983).

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fakultät für Mathematik und Informatik, Universität Passau, Postfach 2540, D-8390, Passau

    Heinrich Hussmann & Alfons Geser

Authors
  1. Heinrich Hussmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alfons Geser
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Jan A. Bergstra

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hussmann, H., Geser, A. (1989). The RAP system as a tool for testing COLD specifications. In: Wirsing, M., Bergstra, J.A. (eds) Algebraic Methods: Theory, Tools and Applications. Algebraic Methods 1987. Lecture Notes in Computer Science, vol 394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015044

Download citation

  • DOI: https://doi.org/10.1007/BFb0015044

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-46758-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation