skip to main content
column

A verification framework for minimaple programs

Published: 28 January 2014 Publication History

Abstract

No abstract available.

References

[1]
F. Bobot and et al. Why3: Shepherd Your Herd of Provers. In Boogie 2011: First International Workshop on Intermediate Verification Languages, Wroc law, Poland, August 2011.
[2]
Christian Dönch. Bivariate Difference-Differential Dimension Polynomials and Their Computation in Maple. Technical report, Research Institute for Symbolic Computation, University of Linz, 2009.
[3]
M. T. Khan and W. Schreiner. Towards the Formal Specification and Verification of Maple Programs. In J. Jeuring and et al., editors, Intelligent Computer Mathematics, volume 7362 of LNCS, pages 231--247. Springer, 2012.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Communications in Computer Algebra
ACM Communications in Computer Algebra  Volume 47, Issue 3/4
September/December 2013
116 pages
ISSN:1932-2232
EISSN:1932-2240
DOI:10.1145/2576802
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 January 2014
Published in SIGSAM-CCA Volume 47, Issue 3/4

Check for updates

Qualifiers

  • Column

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 34
    Total Downloads
  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media