NDLI: Error-controlled computation for termination of programs

Content Provider	IEEE Xplore Digital Library
Author	Shizhong Zhao Ranran Feng Miaoling Zhao
Copyright Year	2010
Description	Author affiliation: Computer Vision Lab, The University of Texas at Dallas, ECSS 3.621 800 W.Campbell Rd, Richardson, 75080, USA (Ranran Feng) \|\| Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, 200062, China (Shizhong Zhao) \|\| ChangzhengLu Elementary School, Xinzhou, 034000, China (Miaoling Zhao)
Abstract	Whether a program can terminate or not has direct impact on software safety. As false results can occur due to calculation errors on floating point numbers, the terminability can be false given a loop program and any initial value on $R^{n}.$ In this paper, a recursive algorithm is suggested for calculating the values of arithmetic expressions to arbitrary precision. Using the error-controlled computation method (ECC), we can determine the initial value is a terminating point or not.
Starting Page	2753
Ending Page	2756
File Size	131698
Page Count	4
File Format	PDF
ISBN	9781424464951
e-ISBN	9781424464982
DOI	10.1109/BMEI.2010.5639817
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2010-10-16
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Computers program verification Conferences Programming Bismuth Approximation algorithms errorcontrolled computation Software Termination Error correction codes trusted computing
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Decidability analysis on termination set of loop programs

Termination Set of Univariate Monotonic Program

Dependent types for program termination verification

Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs

Integrated testing and verification system for research flight software design document

Java pathexplorer: a runtime verification tool

A process improvement model for software verification and validation

A Heuristic Approach to Verifying the Termination of Linear Programs

Proceedings, conference on the computing environment for mathematical software

Error-controlled computation for termination of programs

Similar Documents

Decidability analysis on termination set of loop programs

Termination Set of Univariate Monotonic Program

Dependent types for program termination verification

Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs

Integrated testing and verification system for research flight software design document

Java pathexplorer: a runtime verification tool

A process improvement model for software verification and validation

A Heuristic Approach to Verifying the Termination of Linear Programs

Proceedings, conference on the computing environment for mathematical software

Error-controlled computation for termination of programs