MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Automatic Complexity Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

29 documents found, showing 1 through 10. Next 10 →

ATOM

Automatic Complexity Analysis
by Flemming Nielson, Hanne Riis Nielson, Helmut Seidl — 2002
…Automatic Complexity Analysis Flemming Nielson 1 , Hanne Riis Nielson 1 , and Helmut Seidl 2 1…
Cited by 12 (4 self) – Add To MetaCart

Attribute Grammars and Automatic Complexity Analysis
by Marni Mishna, Marni Mishna — 2000 — Advances in Applied Mathematics
… RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Attribute grammars and automatic complexity analysis Marni…
Cited by 4 (1 self) – Add To MetaCart

Attribute Grammars And Automatic Complexity Analysis
by Marni Mish Na — 2000 — Advances in Applied Mathematics
…ATTRIBUTE GRAMMARS AND AUTOMATIC COMPLEXITY ANALYSIS MARNI MISHNA Abstract. Attribute grammers…
Add To MetaCart

As Time Goes By: Automatic Complexity Analysis of Simplification Rules
by Thom Frühwirth — 2002
…As Time Goes By: Automatic Complexity Analysis of Simplication Rules Thom Fruhwirth Ludwig…
Cited by 9 (8 self) – Add To MetaCart

PUBLICATIONS
by Leena Unnikrishnan, Prof Scott Stoller, Leena Unnikrishnan, Scott D. Stoller
…) based on program analysis and program transformation, automatic complexity analysis, program…
Add To MetaCart

Automated Verification Of Prolog Programs
by Baudouin Le Charlier, Christophe Leclere, Sabina Rossi, Agostino Cortesi — 1994
…, and automatic complexity analysis [29]. ffl Mode information describes the instantiation level of program…
Cited by 6 (6 self) – Add To MetaCart

Specification-based Automatic Verification of Prolog Programs
by Bauduin Le Charlier, Sabina Rossi, Charlier Sabina, Agostino Cortesi — 1996
…, an automatic complexity analysis can be also performed. Introduction Logic programming is an appealing…
Cited by 8 (0 self) – Add To MetaCart

Checking and bounding the solutions of some recurrence relations
by Roberto Bagnara, Alessandro Zaccagnini — 2004
… of automatic complexity analysis [2, 6--8, 11, 13, 14, 18] is the possibility of automatically solving…
Cited by 1 (1 self) – Add To MetaCart

Static dependent costs for estimating execution time
by Brian Reistad, David K. Gifford — 1994 — In Proc. of the 1994 ACM Conference on LISP and functional programming
… systems, cost estimation, automatic complexity analysis, and range analysis. 66Profiling Profiling is a…
Cited by 30 (0 self) – Add To MetaCart

Analysis of Functions With a Finite Number of Return Values
by E De Recherche, Et En Automatique, Domaine De Voluceau, Paul Zimmermann, Paul Zimmermann — 1992
…\Omega system. Thus in the following examples, the complexity analysis is done automatically by a computer…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB