Pathlistings applied to data flow analysis Jayashree RamanathanKen Kennedy OriginalPaper Pages: 253 - 273
The formal power of one-visit attribute grammars Joost EngelfrietGilberto Filè OriginalPaper Pages: 275 - 302
The formal definition of a real-time language John L. HennessyRichard B. Kieburtz OriginalPaper Pages: 309 - 345
A gap between the actual complexity of permutations and their entropy defined by Stoß Thomas KlinglerStefan Reisch OriginalPaper Pages: 347 - 362