Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

著者

• Stoyan, Herbert

書誌事項

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

Herbert Stoyan

（Informatik-Fachberichte, 91）

Springer, 1984

• : gw
• : us

注記

Includes bibliographical references (p. [360]-365)

内容説明・目次

目次

1. Einleitung.- 2. Lisp-Compilation Durch Semantikerhaltende Programmtransformationen.- 3. Fortran-Compilation Durch Semantikerhaltende Programmtransformation.- 4. Vergleiche und Konsequenzen.- Literatur.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BB27726529
• ISBN:
  • 3540138951
  • 0387138951
• 出版国コード: gw
• タイトル言語コード: ger
• 本文言語コード: ger
• 出版地: Berlin
• ページ数/冊数: 365 p.
• 大きさ: 25 cm
• 分類:
  • SG86 : 28
• 件名:
  • RSWK : Codeerzeugung
  • RSWK : Programmübersetzung <EDV>
  • RSWK : LISP
  • RSWK : Fortran
• 親書誌ID:
  • BA00325053