Search Results - "Automatic Programming—program transformation General Terms algorithms"

  • Showing 1 - 4 results of 4
Refine Results
  1. 1

    Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Programs

    Authors: J. Guadalupe Ramos The Pennsylvania State University CiteSeerX Archives

    Contributors: J. Guadalupe Ramos The Pennsylvania State University CiteSeerX Archives

    Source: http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf.

    Subject Terms: evaluation, program analysis, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms algorithms, performance, theory Keywords narrowing, quasi-termination, offline partial evaluation

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4892; http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4892
    http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    ABSTRACTS from other ACM Publications.

    Source: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p

    Subject Terms: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    From Datalog Rules to Efficient Programs with Time and Space Guarantees.

    Authors: LIU, YANHONG A. STOLLER, SCOTT D.

    Source: ACM Transactions on Programming Languages & Systems; Aug2009, Vol. 31 Issue 6, p21-21:38, 38p, 2 Diagrams, 7 Charts, 3 Graphs

    Subject Terms: DATA structures, INDEXING, PROGRAM transformation, RECURSION theory, ALGORITHMS, COMPUTATIONAL complexity

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  4. 4

    Constructor-based Conditional Narrowing

    Authors: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

    Contributors: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

    Source: http://www.cs.pdx.edu/~antoy/homepage/./papers/ppdp01-A/paper.ps.gz.

    Subject Terms: Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing

    File Description: application/postscript

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8483

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8483
    http://www.cs.pdx.edu/~antoy/homepage/./papers/ppdp01-A/paper.ps.gz

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List

Search Tools: