Lightweight formal methods for computer algebra systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Lightweight formal methods for computer algebra systems

Full text

Pdf (280 KB)

Source

International Conference on Symbolic and Algebraic Computation archive
Proceedings of the 1998 international symposium on Symbolic and algebraic computation table of contents

Rostock, Germany

Pages: 80 - 87

Year of Publication: 1998

ISBN:1-58113-002-3

Authors

Martin Dunstan	Division of Computer Science, University of St Andrews, North Haugh, St Andrews, UK
Tom Kelsey	Division of Computer Science, University of St Andrews, North Haugh, St Andrews, UK
Steve Linton	Division of Computer Science, University of St Andrews, North Haugh, St Andrews, UK
Ursula Martin	Division of Computer Science, University of St Andrews, North Haugh, St Andrews, UK

Sponsors

German Comp Soc : GI - Gesellshaft for Informatik
SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation
SIGNUM: ACM Special Interest Group on Numerical Mathematics

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 27, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/281508.281560 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	ALLENBY, R. Rings, Fields and Groups. Edward Arnold, 1991.
	2	Patrice Chalin , Peter Grogono, On the language design and semantic foundation of lcl, a larch/c interface specification language, 1996
	3	DAVENPORT, J., GIANNI, P., JENKS, R., MILLER, V., MORRISON, S., ROTHSTEIN, M., SUNDARESAN, C., SU- TOR, R., AND TRAGER, B. Scratchpad. Mathematical Sciences Department, IBM Thomas Watson Research Center, 1984.
	4	Adam Dingle , Richard J. Fateman, Branch cuts in computer algebra, Proceedings of the international symposium on Symbolic and algebraic computation, p.250-257, July 20-22, 1994, Oxford, United Kingdom [doi>10.1145/190347.190424]
	5	David Evans , John Guttag , James Horning , Yang Meng Tan, LCLint: a tool for using specifications to check code, ACM SIGSOFT Software Engineering Notes, v.19 n.5, p.87-96, Dec. 1994
	6	David Guaspari , Carla Marceau , Wolfgang Polak, Formal Verification of Ada Programs, Proceedings of the first First International Workshop on Larch, p.104-141, July 13-15, 1992
	7	John V. Guttag , James J. Horning, Larch: languages and tools for formal specification, Springer-Verlag New York, Inc., New York, NY, 1993
	8	Richard D. Jenks , Robert Sutor, AXIOM: the scientific computation system, Springer-Verlag New York, Inc., New York, NY, 1992
	9	Cliff B. Jones, Systematic software development using VDM (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	10	JONES, K. D. LM3: a Larch interface language for Modula-3. Tech. Rep. 72, SRC, Digital Equipment Corporation, June 1991.
	11	Gary T. Leavens, Inheritance of interface specifications (extended abstract), ACM SIGPLAN Notices, v.29 n.8, p.129-138, Aug. 1994
	12	LEAVENS, G. T. Larch/C++ Reference Manual. See http://www.cs.iastate.edu/~leavens/, 1997.
	13	Ben Potter , Jane Sinclair , David Till, An introduction to formal specification and Z, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
	14	Darren Redfern, The Maple handbook, Springer-Verlag New York, Inc., New York, NY, 1993
	15	Stephen M. Watt , Peter A. Broadbery , Samuel S. Dooley , Pietro Iglio , Scott C. Morrison , Jonathan M. Steinbach , Robert S. Sutor, A first report on the A# compiler, Proceedings of the international symposium on Symbolic and algebraic computation, p.25-31, July 20-22, 1994, Oxford, United Kingdom [doi>10.1145/190347.190356]
	16	WATT, S. M., ET AL. AXIOM Library Compiler User Guide. NAG Ltd., 1995.
	17	Stephen Wolfram, Mathematica: a system for doing mathematics by computer (2nd ed.), Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1991

CITED BY 2

	James H. Davenport, Equality in computer algebra and beyond, Journal of Symbolic Computation, v.34 n.4, p.259-270, October 2002
	O. Caprotti , A. M. Cohen, On the role of OpenMath in interactive mathematical documents, Journal of Symbolic Computation, v.32 n.4, p.351-364, October 2001