Automatically proving the correctness of translations involving optimized code

Author(s)

Bibliographic Information

Automatically proving the correctness of translations involving optimized code

by Hanan Samet

University Microfilms International, 1975

Available at  / 1 libraries

Search this Book/Journal

Note

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

Includes bibliographical references (leaves 220-223)

Details

  • NCID
    BC18329853
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Ann Arbor
  • Pages/Volumes
    vii, 248 leaves
  • Size
    21 cm
Page Top