0 | -- | 0 | Wei-Ngan Chin, Siau-Cheng Khoo. Better Consumers for Program Specializations |
0 | -- | 0 | Simon Brock. Compile-Time Pointer Reversal |
0 | -- | 0 | Heinz Faßbender, Andrea Mößle, Heiko Vogler. Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers |
0 | -- | 0 | Sandro Etalle, Maurizio Gabbrielli. On the Correctness of the Replacement Operation for CLP Modules |