Program path functions

MaRDI QIDQ1103390zbMATH OpenFDO

Authors G. B. Urtans

Publication date 1987

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

automatic transformation of variablespath functionsproduction of file recordsprogram path

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

The possibility of automatic transformation of variables and production of file records on a specified program path is discussed. Works discussing the generation of path functions are reviewed and problems of their implementation are considered.

Recommendations

• Automated generation of test paths for Fortran programs
• Some methods of automatic analysis and controllable transformation of programs
• Automatic synthesis of computation programs through analysis of variable semantics
• scientific article; zbMATH DE number 29625
• scientific article; zbMATH DE number 3982493

Cited in

(2)

• Automated generation of test paths for Fortran programs
• Research paths coding within an image analysis and synthesis laboratory

This page was built for publication: Program path functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1103390)