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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
M. H. Austern. Generic programming and the STL: using and extending the C++ Standard Template Library. Addison-Wesley, 1998.
Bruno Buchberger, George E. Collins, and Rüdiger Loos. Computer Algebra, Symbolic and Algebraic Computation. Springer-Verlag, 1982.
Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471–522, Dec 1985.
George E. Collins. Algebraic algorithms. CS801 Lecture Notes, University of Wisconsin, 1971.
Silicon Graphics. Standard template library programming guide. http://www.sgi.com/Technology/STL/, 1998.
International Organization for Standardization (ISO). ISO/IEC Final Draft International Standard 14882: Programming Language C++, 1998.
Deepak Kapur and David Musser. Tecton: a framework for specifying and verifying generic system components. Technical Report 92-20, RPI, Troy, 1992.
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.
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.
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.
Donald E. Knuth. The Art of Computer Programming, volume 1. Addison-Wesley, 3 edition, 1998.
David Musser and Atul Saini. STL Tutorial and Reference Guide. C++ Programming with the Standard Template Library. Addison-Wesley, 1996.
David Musser and Alexander Stepanov. A library of generic algorithms in Ada. In Proc. ACM SIGAda Conference, Boston, pages 9–11, Dec 1987.
David Musser and Alexander Stepanov. Algorithm-oriented generic libraries. Software-practice and experience, 27(7):623–642, Jul 1994.
David R. Musser. The Tecton Concept Description Language. http://www.cs.rpi.edu/~musser/gp/tecton/tecton1.ps.gz, July 1998.
David R. Musser. Tecton description of STL container and iterator concepts. http://www.cs.rpi.edu/~musser/gp/tecton/container.ps.gz, August 1998.
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.
Sibylle Schupp. Generic Programming— SuchThat One Can Build an Algebraic Library. PhD thesis, Universität Tübingen, 1996.
Sibylle Schupp and Rüdiger Loos. SuchThat—Generic programming works. In this volume.
Alexander Stepanov and Meng Lee. The Standard Template Library. Technical report, HPL-94-34, April 1994. revised July 7, 1995.
Martin Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 13, pages 677–788. Elsevier Science Publishers, 1990.
A. V. Zamulin. Language independent container specification. In this volume.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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