Referenced Items are not available for this document.
Based on techniques of solving recurrence equations and optimization problems, we present a practical approach for verifying program including loops with assignments only. We implement this approach on the platform of Mathmatica. The experimental results demonstrate the power of our approach.
Published in:
Future Computer and Communication (ICFCC), 2010 2nd International Conference on
(Volume:3
)
Date of Conference: 21-24 May 2010
- Page(s):
- V3-31 - V3-36
- Print ISBN:
- 978-1-4244-5821-9
- INSPEC Accession Number:
- 11538394
- Conference Location :
- Wuhan
- Digital Object Identifier :
- 10.1109/ICFCC.2010.5497670
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
