Skip to main content
SpringerLink
Log in
Book cover

Generic Programming pp 12–24Cite as

Requirement Oriented Programming

Concepts, Implications, and Algorithms

  • Conference paper
  • First Online:

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

Abstract

Generic programming is requirement oriented programming. We study the concept of genericity and generic concepts. Support of generic programming is exemplified by Tecton formalizations of algebraic and STL concepts. We call for a common effort to establish and maintain generic libraries.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. H. Austern. Generic programming and the STL: using and extending the C++ Standard Template Library. Addison-Wesley, 1998.

    Google Scholar 

  2. Bruno Buchberger, George E. Collins, and Rüdiger Loos. Computer Algebra, Symbolic and Algebraic Computation. Springer-Verlag, 1982.

    Google Scholar 

  3. Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471–522, Dec 1985.

    Article  Google Scholar 

  4. George E. Collins. Algebraic algorithms. CS801 Lecture Notes, University of Wisconsin, 1971.

    Google Scholar 

  5. Silicon Graphics. Standard template library programming guide. http://www.sgi.com/Technology/STL/, 1998.

  6. International Organization for Standardization (ISO). ISO/IEC Final Draft International Standard 14882: Programming Language C++, 1998.

    Google Scholar 

  7. Deepak Kapur and David Musser. Tecton: a framework for specifying and verifying generic system components. Technical Report 92-20, RPI, Troy, 1992.

    Google Scholar 

  8. Deepak Kapur, David Musser, and Alexander Stepanov. Operators and algebraic structures. In Proc. of Conference on Functional Programming Languages and Computer Architecture, Portsmouth, New Hampshire, Oct 1981.

    Google Scholar 

  9. Deepak Kapur, David R. Musser, and Alexander A. Stepanov. Operators and algebraic structures. In Proc. of Conference on Functional Programming Languages and Computer Architecture. ACM, 1981.

    Google Scholar 

  10. Deepak Kapur, David R. Musser, and Alexander A. Stepanov. Tecton: A language for manipulating generic objects. In J. Staunstrup, editor, Proc. of Program Specification Workshop, volume 134 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1982.

    Google Scholar 

  11. Donald E. Knuth. The Art of Computer Programming, volume 1. Addison-Wesley, 3 edition, 1998.

    Google Scholar 

  12. David Musser and Atul Saini. STL Tutorial and Reference Guide. C++ Programming with the Standard Template Library. Addison-Wesley, 1996.

    Google Scholar 

  13. David Musser and Alexander Stepanov. A library of generic algorithms in Ada. In Proc. ACM SIGAda Conference, Boston, pages 9–11, Dec 1987.

    Google Scholar 

  14. David Musser and Alexander Stepanov. Algorithm-oriented generic libraries. Software-practice and experience, 27(7):623–642, Jul 1994.

    Article  Google Scholar 

  15. David R. Musser. The Tecton Concept Description Language. http://www.cs.rpi.edu/~musser/gp/tecton/tecton1.ps.gz, July 1998.

  16. David R. Musser. Tecton description of STL container and iterator concepts. http://www.cs.rpi.edu/~musser/gp/tecton/container.ps.gz, August 1998.

  17. David R. Musser, Sibylle Schupp, Christoph Schwarzweller, and Rüdiger Loos. Tecton Concept Library. Technical Report WSI-99-2, Fakultät für Informatik, Universität Tübingen, January 1999.

    Google Scholar 

  18. Sibylle Schupp. Generic Programming— SuchThat One Can Build an Algebraic Library. PhD thesis, Universität Tübingen, 1996.

    Google Scholar 

  19. Sibylle Schupp and Rüdiger Loos. SuchThat—Generic programming works. In this volume.

    Google Scholar 

  20. Alexander Stepanov and Meng Lee. The Standard Template Library. Technical report, HPL-94-34, April 1994. revised July 7, 1995.

    Google Scholar 

  21. Martin Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 13, pages 677–788. Elsevier Science Publishers, 1990.

    Google Scholar 

  22. A. V. Zamulin. Language independent container specification. In this volume.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Rensselaer Polytechnic Institute, USA

    David Musser

  2. Wilhelm-Schickard-Institut für Informatik, Universität Tübingen, Tübingen

    Sibylle Schupp & Rüdiger Loos

Authors
  1. David Musser
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sibylle Schupp
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rüdiger Loos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Information Systems Institute, Distributed Systems Group, Technical University of Vienna, Argentinierstr. 8/184-1, 1040, Vienna, Austria

    Mehdi Jazayeri

  2. Wilhelm-Schickard-Institut für Informatik, Universität Tübingen, Sand 13, 72076, Tübingen, Germany

    Rüdiger G. K. Loos

  3. Computer Science Department, Rensellaer Polytechnic Institute, Troy, NY, 12180-3590, USA

    David R. Musser

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Musser, D., Schupp, S., Loos, R. (2000). Requirement Oriented Programming. In: Jazayeri, M., Loos, R.G.K., Musser, D.R. (eds) Generic Programming. Lecture Notes in Computer Science, vol 1766. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-39953-4_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-39953-4_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41090-4

  • Online ISBN: 978-3-540-39953-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation