SuchThat — Generic Programming Works-Reference-Cited by-同舟云学术

SuchThat — Generic Programming Works

Published:2000 Issue: Volume: Page:133-145
ISSN:0302-9743
Container-title:Generic Programming
language:
Short-container-title:

Author:

Schupp Sibylle,Loos Rüdiger

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-39953-4_11

Reference23 articles.

1. George E. Collins and Rüdiger Loos. Specification and index of SAC-2 algorithms. Technical Report WSI-90-4, Wilhelm-Schickard-Institut für Informatik, 1990.

2. R.L. Constable, S.F. Allen, H.M Bromley, W.R. Cleaveland, J.F. Cremer, R.W. Harper, D.J. Howe, T.B. Knoblock, N.P. Mendler, P. Panangaden, J.T. Sasaki, and S.F. Smith. Implementing Mathematics with the Nuprl Proof Developement System. Graduate Texts in Mathematics. Prentice Hall, 1986.

3. Mary Fernandez. Simple and effective link-time optimization of Modula-3 programs. In SIGPLAN Conference on Programming Language Design and Implementation, 1995.

4. Michael Franz. Code-Generation On-the-Fly: A Key to Portable Software, Doctoral Dissertation No. 10497, ETH Zurich. Verlag der Fachvereine, Zürich, 1994.

5. Holger Gast. With Scheme from SUCHTHAT to C++. Studienarbeit, RPI, Universität Tübingen, 1998.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Unique Factorization Domains in the Java Computer Algebra System;Automated Deduction in Geometry;2011

2. Generic, Type-Safe and Object Oriented Computer Algebra Software;Computer Algebra in Scientific Computing;2010

3. Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library;Computer Algebra in Scientific Computing;2005

4. Evaluation of a Java Computer Algebra System;Computer Mathematics