PADO - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2001

Deriving Pre-conditions for Array Bound Check EliminationWei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu. pado 2001: 2-24 [doi]

Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, ProceedingsOlivier Danvy, Andrzej Filinski, editors, Volume 2053 of Lecture Notes in Computer Science, Springer, 2001.

Type Systems for Useless-Variable EliminationAdam Fischbach, John Hannan. pado 2001: 25-38 [doi]

Bottom-Up Deduction with Deletion and PrioritiesHarald Ganzinger. pado 2001: 276-278 [doi]

Boolean Constraints for Binding-Time AnalysisKevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard. pado 2001: 39-62 [doi]

Constraint AbstractionsJörgen Gustavsson, Josef Svenningsson. pado 2001: 63-83 [doi]

Program Analysis for Implicit Computational ComplexityNeil D. Jones. pado 2001: 1 [doi]

Implementing Circularity Using Partial EvaluationJulia L. Lawall. pado 2001: 84-102 [doi]

Combining Forward and Backward Analyses of Temporal PropertiesDamien Massé. pado 2001: 103-116 [doi]

Numerical Power AnalysisIsabella Mastroeni. pado 2001: 117-137 [doi]

Run-Time Bytecode SpecializationHidehiko Masuhara, Akinori Yonezawa. pado 2001: 138-154 [doi]

A New Numerical Abstract Domain Based on Difference-Bound MatricesAntoine Miné. pado 2001: 155-172 [doi]

Partial Evaluation for Class-Based Object-Oriented LanguagesUlrik Pagh Schultz. pado 2001: 173-197 [doi]

Driving in the JungleJens P. Secher. pado 2001: 198-217 [doi]

Higher-Order Pattern Matching for Automatically Applying Fusion TransformationsGanesh Sittampalam, Oege de Moor. pado 2001: 218-237 [doi]

Dynamic Partial EvaluationGregory T. Sullivan. pado 2001: 238-256 [doi]

Tag Elimination and Jones-OptimalityWalid Taha, Henning Makholm, John Hughes. pado 2001: 257-275 [doi]

Sign in or sign up to see more results.

runs on WebDSL