Register | Log in | FAQ      [?] 

Tag staticanalysis [21 articles]

Recent papers classified by the tag staticanalysis.
  • Inlining as staged computation
    J. Funct. Program., Vol. 13, No. 3. (May 2003), pp. 647-676.
    by Stefan Monnier, Zhong Shao
    posted to inlining optimization staticanalysis by pejo on 2005-06-30 07:13:10 as **
  • Dynamic Programming via Static Incrementalization
    Higher-Order and Symbolic Computation, Vol. 16, No. 1 - 2. (March 2003), pp. 37-62.
    by Yanhong A Liu, Scott D Stoller
    posted to dynamicprogramming staticanalysis by pejo on 2005-06-30 07:10:26 as **
  • Type-based analysis and applications
    (2001), pp. 20-27.
    by Jens Palsberg
    posted to staticanalysis survey type-based by pejo on 2005-06-30 07:05:09 as **
  • notes Program optimization using indexed and recursive data structures
    Vol. 37, No. 3. (March 2002), pp. 108-118.
    by Yanhong A Liu, Scott D Stoller
    posted to dynamicprogramming optimization staticanalysis by pejo on 2005-06-30 06:50:41 as **
  • Imperative program optimization by partial evaluation
    (2004), pp. 113-122.
    by S&\#248;ren Debois
    posted to bisimulation partialevaluation staticanalysis by pejo on 2005-08-12 09:47:23 as **
  • A type-directed, on-line, partial evaluator for a polymorphic language
    Vol. 32, No. 12. (December 1997), pp. 22-35.
    by Tim Sheard
    posted to partialevaluation staticanalysis type-based by pejo on 2005-08-08 12:15:50 as **
  • Offline partial evaluation can be as accurate as online partial evaluation
    ACM Trans. Program. Lang. Syst., Vol. 26, No. 1. (January 2004), pp. 191-220.
    by Niels H Christensen, Robert Gl&\#252;ck
    posted to offline online partialevaluation staticanalysis by pejo on 2005-08-12 09:45:20 as **
  • Optimizing Ackermann's function by incrementalization
    Vol. 38, No. 10. (October 2003), pp. 85-91.
    by Yanhong A Liu, Scott D Stoller
    posted to incrementalization staticanalysis by pejo on 2005-08-08 11:15:41 as **
  • Partial evaluation in aircraft crew planning
    Vol. 32, No. 12. (December 1997), pp. 127-136.
    by Lennart Augustsson
    posted to partialevaluation staticanalysis by pejo on 2005-08-08 12:13:10 as **
  • Resource-bounded partial evaluation
    Vol. 32, No. 12. (December 1997), pp. 179-192.
    by Saumya Debray
    posted to partialevaluation resourcebound staticanalysis by pejo on 2005-08-08 12:09:51 as **
  • Using types to analyze and optimize object-oriented programs
    ACM Trans. Program. Lang. Syst., Vol. 23, No. 1. (January 2001), pp. 30-72.
    by Amer Diwan, Kathryn S Mckinley, Eliot
    posted to optimization staticanalysis type-based by pejo on 2005-07-19 18:37:00 as **
  • From recursion to iteration: what are the optimizations?
    Vol. 34, No. 11. (November 1999), pp. 73-82.
    by Yanhong A Liu, Scott D Stoller
    posted to optimization staticanalysis by pejo on 2005-06-30 07:20:54 as **
  • Pointer analysis: haven't we solved this problem yet?
    (2001), pp. 54-61.
    by Michael Hind
    posted to pointeranalysis staticanalysis survey by pejo on 2005-07-02 09:17:11 as ** along with 8 people and 2 groups plaugg wasi salagnac martink linekin keigoi janschaefer srccheck Verimag TU-KL-SoftwareTechnologyGroup
  • Online-and-offline partial evaluation (extended abstract): a mixed approach
    Vol. 34, No. 11. (November 1999), pp. 12-21.
    by Eijiro Sumii, Naoki Kobayashi
    posted to partialevaluation staticanalysis by pejo on 2005-08-08 11:59:29 as **
  • Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
    (1995), pp. 77-101.
    by Jeffrey Dean, David Grove, Craig Chambers
    posted to optimization staticanalysis by pejo on 2005-06-30 07:15:33 as **
  • Lambda-dropping: transforming recursive equations into programs with block structure
    Vol. 32, No. 12. (December 1997), pp. 90-106.
    by Olivier Danvy, Ulrik P Schultz
    posted to lambdadropping partialevaluation staticanalysis by pejo on 2005-08-08 12:24:44 as **
  • Partial-evaluation techniques for concurrent programs
    Vol. 32, No. 12. (December 1997), pp. 47-62.
    by Mihnea Marinescu, Benjamin Goldberg
    posted to concurrency partialevaluation staticanalysis by pejo on 2005-08-08 12:23:07 as **
  • Partial evaluation and separate compilation
    Vol. 32, No. 12. (December 1997), pp. 1-11.
    by Rogardt Heldal, John Hughes
    posted to partialevaluation staticanalysis by pejo on 2005-08-08 12:22:19 as **
  • Pre-Scheme: A Scheme Dialect for Systems Programming
    by R Kelsey
    posted to partialevaluation staticanalysis by pejo on 2005-08-08 12:20:01 as ** along with 2 people hamish JeffreyPalmer
  • Partial evaluation of call-by-value &lgr;-calculus with side-effects
    Vol. 32, No. 12. (December 1997), pp. 12-21.
    by Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa
    posted to partialevaluation staticanalysis by pejo on 2005-08-08 12:17:28 as **
  • Precise Analysis of String Expressions
    Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings (2003), pp. 1076-1076.
    by Aske S Christensen, Anders Møller, Michael I Schwartzbach
    posted to parsing staticanalysis by haberman on 2008-03-04 18:48:09 as ** along with 2 people sjgaller keigoi
    • Note: You may cite this page as: http://www.citeulike.org/tag/staticanalysis

    RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.