|
СТ |
Register Allocation for Programs in SSA-Form |
2006 |
Hack S., Grund D., Goos G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.06.2006 |
|
СТ |
Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations |
2000 |
Goos G., Zimmermann W. |
|
|
|
Lecture Notes in Computer Science |
27.10.2000 |
|
СТ |
Verification of Compilers |
1999 |
Goos G., Zimmermann W. |
|
|
|
Lecture Notes in Computer Science |
20.11.1999 |
|
СТ |
Construction of Verified Compiler Front-Ends with Program-Checking |
1999 |
Heberle A., Gaul T., Goerigk W., Goos G., Zimmermann W. |
|
|
|
Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf. |
02.07.1999 |
|
СТ |
An Architecture for Verified Compiler Construction |
1997 |
Gaul T., Goos G., Heberle A., Zimmermann W., Goerigk W. |
|
|
|
Joint Modular Languages Conference: Proc./JMLC 97. Hagenberg, Austria, March 19-21, 1997 |
16.05.1997 |
|
СТ |
From Programming Languages to Program Construction |
1997 |
Goos G. |
|
|
|
Lecture Notes in Computer Science |
08.05.1997 |
|
СТ |
Programmiertechnik zwischen Wissenschaft und industrieller Praxis |
1994 |
Goos G. |
|
|
|
Informatik Spektrum |
22.06.1994 |
|
П |
DIANA Reference Manual. Revision 3 |
1983 |
Evans A., Butler K. J., Goos G., Wulf W. A. |
|
|
Tartan Lab. |
|
19.06.1992 |
