Journal: Electronic Notes in Theoretical Computer Science

Volume 82, Issue 3

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