Hoare logic's for run-time analysis of programs

Author(s)

• Nielson, Hanne Riis

Bibliographic Information

Hoare logic's for run-time analysis of programs

Hanne Riis Nielson

University of Edinburgh, Department of Computer Science, 1984

Note

Includes bibliography (p. 347-351)

Author's thesis (Ph.D.)--University of Edinbungh, 1984

CST-30-84

Details

• NCID: BC1613465X
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Edinburgh
• Pages/Volumes: 356 p.
• Size: 21 cm