Article

Free access

Lightweight formal methods for computer algebra systems

Authors:

Martin Dunstan,

Tom Kelsey,

Steve Linton,

Ursula MartinAuthors Info & Claims

ISSAC '98: Proceedings of the 1998 international symposium on Symbolic and algebraic computation

Pages 80 - 87

https://doi.org/10.1145/281508.281560

Published: 01 August 1998 Publication History

PDF eReader

References

[1]

ALLENBY, R. Rings, Fields and Groups. Edward Arnold, 1991.

Google Scholar

[2]

CHALIN, P. On the Language Design and Semantic Foundation of LCL, a Larch/C Interface Specification Language. PhD thesis, Concordia University, Canada, 1995. Available as CU/DCS TR 95-12.

Digital Library

Google Scholar

[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.

Google Scholar

[4]

DINGLE, A., AND FATEMAN, R. J. Branch cuts in computer algebra. In ISSAC '9~: Proceedings of the 199~ International Symposium on Symbolic and Algebraic Computation (1994), ACM Press.

Digital Library

Google Scholar

[5]

EVANS, D., GUTTAG, J., HORNING, J., AND TAN, Y. M. LCLint: A tool for using specifications to check code. A CM SIGSOFT Software Engineering Notes 19 (1994), 87-97.

Digital Library

Google Scholar

[6]

GUASPARI, D., MARCEAU, C., AND POLAK, W. Formal verification of Ada programs. In First International Workshop on Larch (July 1992), U. Martin and J. M. Wing, Eds., Springer-Verlag.

Digital Library

Google Scholar

[7]

GUTTAG, J. V., AND HORNING, J. J. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993.

Digital Library

Google Scholar

[8]

JENKS, R. D., AND SUTOR, R. S. AXIOM: The Scientific Computation System. Numerical Algorithms Group, Ltd. and Springer-Verlag, 1992.

Digital Library

Google Scholar

[9]

JONES, C. B. Systematic Software Development using VDM. Prentice Hall International, 1990.

Digital Library

Google Scholar

[10]

JONES, K. D. LM3: a Larch interface language for Modula-3. Tech. Rep. 72, SRC, Digital Equipment Corporation, June 1991.

Google Scholar

[11]

LEAVENS, G. T. Inheritance of interface specifications. In Proceedings of the Workshop on Interface Definition Languages (1994), vol. 29(8), pp. 129-138.

Digital Library

Google Scholar

[12]

LEAVENS, G. T. Larch/C++ Reference Manual. See http://www.cs.iastate.edu/~leavens/, 1997.

Google Scholar

[13]

POTTER, B., SINCLAIR, J., AND TILL, D. An introduction to formal specification and Z. Prentice Hall International, 1991.

Digital Library

Google Scholar

[14]

REDFERN, D. The Maple Handbook. Springer-Verlag, 1996.

Digital Library

Google Scholar

[15]

WATT, S. M., ET AL. A first report on the A~ compiler. In ISSAC '9~: Proceedings of the 199~ International Symposium on Symbolic and Algebraic Computation (1994), ACM Press, pp. 25-31.

Crossref

Google Scholar

[16]

WATT, S. M., ET AL. AXIOM Library Compiler User Guide. NAG Ltd., 1995.

Google Scholar

[17]

WOLFRAM, S. Mathematica: A system for doing mathematics by computer. Addison Wesley, 1991.

Digital Library

Google Scholar

Cited By

View all

Carette JFarmer W(2019)Towards Specifying Symbolic ComputationIntelligent Computer Mathematics10.1007/978-3-030-23250-4_8(109-124)Online publication date: 3-Jul-2019
https://doi.org/10.1007/978-3-030-23250-4_8
Khan MSchreiner W(2012)Towards the formal specification and verification of maple programsProceedings of the 11th international conference on Intelligent Computer Mathematics10.1007/978-3-642-31374-5_16(231-247)Online publication date: 8-Jul-2012
https://dl.acm.org/doi/10.1007/978-3-642-31374-5_16
Poppleton MBanach R(2002)Controlling Control Systems: An Application of Evolving RetrenchmentZB 2002:Formal Specification and Development in Z and B10.1007/3-540-45648-1_3(42-61)Online publication date: 22-Jan-2002
https://doi.org/10.1007/3-540-45648-1_3
Show More Cited By

Recommendations

Construction of quotient BCI(BCK)-algebra via a fuzzy ideal

The present paper gives a new construction of a quotient BCI(BCK)- algebra X/µ by a fuzzy ideal µ in X and establishes the Fuzzy Homomorphism Fundamental Theorem. We show that if µ is a fuzzy ideal (closed fuzzy ideal) of X. then X/µ is a commutative (...
Souslin algebra embeddings
Abstract
A Souslin algebra is a complete Boolean algebra whose main features are ruled by a tight combination of an antichain condition with an infinite distributive law. The present article divides into two parts. In the first part a representation theory ...
Semirings in Operations Research and Computer Science: More Algebra

We undertake an axiomatic study of certain semirings and related structures that occur in operations research and computer science. We focus on the properties A,I,U,G,Z,L that have been used in the algebraic study of path problems in graphs and prove ...

Comments

Information & Contributors

Information

Published In

ISSAC '98: Proceedings of the 1998 international symposium on Symbolic and algebraic computation

August 1998

330 pages

ISBN:1581130023

DOI:10.1145/281508

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1998

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ISSAC98

Sponsor:

German Comp Soc
SIGNUM
SIGSAM

ISSAC98: International Symposium on Symbolic and Algebraic Computation

August 13 - 15, 1998

Rostock, Germany

Acceptance Rates

Overall Acceptance Rate 395 of 838 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
441
Total Downloads

Downloads (Last 12 months)17
Downloads (Last 6 weeks)4

Reflects downloads up to 04 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Carette JFarmer W(2019)Towards Specifying Symbolic ComputationIntelligent Computer Mathematics10.1007/978-3-030-23250-4_8(109-124)Online publication date: 3-Jul-2019
https://doi.org/10.1007/978-3-030-23250-4_8
Khan MSchreiner W(2012)Towards the formal specification and verification of maple programsProceedings of the 11th international conference on Intelligent Computer Mathematics10.1007/978-3-642-31374-5_16(231-247)Online publication date: 8-Jul-2012
https://dl.acm.org/doi/10.1007/978-3-642-31374-5_16
Poppleton MBanach R(2002)Controlling Control Systems: An Application of Evolving RetrenchmentZB 2002:Formal Specification and Development in Z and B10.1007/3-540-45648-1_3(42-61)Online publication date: 22-Jan-2002
https://doi.org/10.1007/3-540-45648-1_3
Davenport J(2001)Abstract Data Types in Computer AlgebraMathematical Foundations of Computer Science 200010.1007/3-540-44612-5_2(21-35)Online publication date: 1-Jun-2001
https://doi.org/10.1007/3-540-44612-5_2
Poll EThompson S(2000)Integrating Computer Algebra and Reasoning through the Type System of AldorFrontiers of Combining Systems10.1007/10720084_10(136-150)Online publication date: 2000
https://doi.org/10.1007/10720084_10
Dunstan MKelsey TMartin ULinton S(1999)Formal methods for extensions to CASFM’99 — Formal Methods10.1007/3-540-48118-4_43(1758-1777)Online publication date: 17-Sep-1999
https://doi.org/10.1007/3-540-48118-4_43

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Construction of quotient BCI(BCK)-algebra via a fuzzy ideal

Souslin algebra embeddings

Semirings in Operations Research and Computer Science: More Algebra

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Construction of quotient BCI(BCK)-algebra via a fuzzy ideal

Souslin algebra embeddings

Semirings in Operations Research and Computer Science: More Algebra

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations