NDLI: Path feasibility, linear optimizers and the evaluate standard form

Content Provider	ACM Digital Library
Author	Coward, P. David
Abstract	Symbolic execution of a path through the source program can be used to assist in the generation of a test case to execute the path. One important step in this process is the assessment of the feasibility of the path. Numerical optimizers can be used for solving the set of constraints provided by the path condition (Boye75, Rama76). The construction of an optimization problem from a source program can be automated. The usual way to approach this is to translate the source program into an intermediate representation more suitable for extracting and symbolically executing paths (Asir79, Rama76).The creation of an intermediate form can be achieved in two ways. First, by direct translation from the source program. This requires a complex translator. Second, the source program can undergo several steps of translation into simpler or standard forms in the source language. The final version of the 'source' program is then translated into the intermediate form by a comparatively simple translator. This paper describes a series of translations which can be made to a COBOL source program. The EVALUATE construct provides a standard form for branching.
Starting Page	47
Ending Page	56
Page Count	10
File Format	PDF
ISSN	03621340 15581160
DOI	10.1145/122203.122207
Journal	ACM SIGPLAN Notices (SIGP)
Volume Number	26
Issue Number	1
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1983-05-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article
Subject	Computer Graphics and Computer-Aided Design Software

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

Determining path feasibility for commercial programs

Automatic generation of global optimizers

Building program optimizers with rewriting strategies

Sharlit—a tool for building optimizers

Raise Your Graphics Standard!

The Standard of Excellence in Computer Graphics

How to evaluate object-oriented software development?

Publications Order Form

Publications Order Form

Path feasibility, linear optimizers and the evaluate standard form

Similar Documents

Determining path feasibility for commercial programs

Automatic generation of global optimizers

Building program optimizers with rewriting strategies

Sharlit—a tool for building optimizers

Raise Your Graphics Standard!

The Standard of Excellence in Computer Graphics

How to evaluate object-oriented software development?

Publications Order Form

Publications Order Form

Path feasibility, linear optimizers and the evaluate standard form