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)

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)

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

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)