461 | -- | 462 | Barrett R. Bryant, João Saraiva. Preface |
463 | -- | 482 | Jan Kort, Ralf Lämmel. A Framework for Datatype Transformation |
483 | -- | 499 | Tom Mens, Serge Demeyer, Bart Du Bois, Hans Stenten, Pieter Van Gorp. Refactoring: Current Research and Future Trends |
500 | -- | 514 | Alexey Kalinov, Alexander Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov. Coverage-driven Automated Compiler Test Suite Generation |
515 | -- | 531 | Kent Lee. A Formally Verified Register Allocation Framework |
532 | -- | 554 | Eva Magnusson, Görel Hedin. Circular Reference Attributed Grammars - Their Evaluation and Applications |
555 | -- | 574 | Eric {Van Wyk}. Aspects as Modular Language Extensions |
575 | -- | 591 | Mark G. J. van den Brand, Steven Klusener, Leon Moonen, Jurgen J. Vinju. Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation |
592 | -- | 611 | Claus Brabrand, Michael I. Schwartzbach, Mads Vanggaard. The metafront System: Extensible Parsing and Transformation |
612 | -- | 627 | Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino. Exploiting XPG for Visual Languages: Definition, Analysis and Development |
628 | -- | 642 | Jean-Michel Hufflen. Mixing Two Bibliography Style Languages |
643 | -- | 658 | Marisol Sánchez, Pedro J. Clemente, Juan Manuel Murillo, Juan Hernández Núñez. CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment |