Constructing the Call Graph of a Program

DOI10.1109/TSE.1979.234183zbMath0396.68011OpenAlexW1966831167WikidataQ60356429 ScholiaQ60356429MaRDI QIDQ4179809

Barbara G. Ryder

Publication date: 1979

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1979.234183

zbMATH Keywords

PortabilityCall GraphPfort VerifierProcedure Parameters

Mathematics Subject Classification ID

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

Related Items (2)

Automatic generation of basis test paths using variable length genetic algorithm ⋮ Interprocedural analysis and optimization

This page was built for publication: Constructing the Call Graph of a Program