Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "PADO"( http://dblp.L3S.de/Venues/PADO )

URL (DBLP): http://dblp.uni-trier.de/db/conf/pado

Publication years (Num. hits)
2001 (17)
Publication types (Num. hits)
inproceedings(16) proceedings(1)
Venues (Conferences, Journals, ...)
PADO(17)
Authors
Adam Fischbach(1) Akinori Yonezawa(1) Andrzej Filinski(1) Antoine Miné(1) Damien Massé(1) Dana N. Xu(1) Ganesh Sittampalam(1) Gregory T. Sullivan(1) Harald Ganzinger(1) Harald Søndergaard(1) Henning Makholm(1) Hidehiko Masuhara(1) Isabella Mastroeni(1) Jens P. Secher(1) John Hannan(1) John Hughes 0001(1) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 17 publication records. Showing 17 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Julia L. Lawall Implementing Circularity Using Partial Evaluation. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Damien Massé Combining Forward and Backward Analyses of Temporal Properties. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jörgen Gustavsson, Josef Svenningsson Constraint Abstractions. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ganesh Sittampalam, Oege de Moor Higher-Order Pattern Matching for Automatically Applying Fusion Transformations. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Adam Fischbach, John Hannan Type Systems for Useless-Variable Elimination. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Olivier Danvy, Andrzej Filinski (eds.) Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Antoine Miné A New Numerical Abstract Domain Based on Difference-Bound Matrices. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Isabella Mastroeni Numerical Power Analysis. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Gregory T. Sullivan Dynamic Partial Evaluation. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu Deriving Pre-conditions for Array Bound Check Elimination. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard Boolean Constraints for Binding-Time Analysis. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Neil D. Jones Program Analysis for Implicit Computational Complexity. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ulrik Pagh Schultz Partial Evaluation for Class-Based Object-Oriented Languages. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jens P. Secher Driving in the Jungle. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Hidehiko Masuhara, Akinori Yonezawa Run-Time Bytecode Specialization. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Walid Taha, Henning Makholm, John Hughes 0001 Tag Elimination and Jones-Optimality. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Harald Ganzinger Bottom-Up Deduction with Deletion and Priorities. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #17 of 17 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license