|
СТ |
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines |
2003 |
Zimmermann W., Dold A. |
|
|
|
Lecture Notes in Computer Science |
28.03.2003 |
|
СТ |
Source Code and Task Graphs in Program Optimization |
2001 |
Lowe W., Zimmermann W., Dickert S., Eisenbiegler J. |
|
|
|
Lecture Notes in Computer Science |
18.07.2001 |
|
СТ |
The Construction Principles of the Class Library Karla |
2000 |
Zimmermann W., Frick A., Neumann R. |
|
|
|
Lecture Notes in Computer Science |
10.12.2000 |
|
СТ |
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 |
|
СТ |
BSP, LogP, and Oblivious Programs |
1998 |
Eisenbiegler J., Lowe W., Zimmermann W. |
|
|
|
Lecture Notes in Computer Science |
17.10.1998 |
|
СТ |
An Approach to Improve Locality Using Sandwich Types |
1998 |
Genius D., Trapp M., Zimmermann W. |
|
|
|
Lecture Notes in Computer Science |
24.09.1998 |
|
СТ |
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 |
|
СТ |
An Approach to Machine-Independent Parallel Programming |
1994 |
Zimmermann W., Lowe W. |
|
|
|
Lecture Notes in Computer Science |
18.11.1994 |
