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

Book information

Publisher

Springer-Verlag Berlin Heidelberg

Year

1984

ISBN

978-3-540-13895-2, 978-3-662-08525-7

DOI

10.1007/978-3-662-08525-7

Language

german

Format

PDF

Filesize

7 MB (7162419 bytes)

Series

Informatik-Fachberichte 91

Edition

1

Pages

368\370

Orientation

yes

Scanned

yes

Time added

2013-08-01 04:00:00