Automatically proving the correctness of translations involving optimized code

著者

• Samet, Hanan

書誌事項

Automatically proving the correctness of translations involving optimized code

by Hanan Samet

University Microfilms International, 1975

注記

Facsim. Reprint of the author's thesis (Ph.D.)--Stanford University, 1975

Includes bibliographical references (leaves 220-223)

• NII書誌ID(NCID): BC18329853
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Ann Arbor
• ページ数/冊数: vii, 248 leaves
• 大きさ: 21 cm