Titlebook: Logic-Based Program Synthesis and Transformation; 19th International S Danny Schreye Conference proceedings 2010 Springer-Verlag Berlin Hei

Malcontent

Program Parallelization Using Synchronized Pipelining,elying on a minimal number of synchronization events to ensure semantics preservation. The practical benefits of synchronized pipelining are demonstrated through experimental results on common algorithms such as sorting and Fourier transforms.

monochromatic

978-3-642-12591-1Springer-Verlag Berlin Heidelberg 2010

復(fù)習(xí)

Atmosphere

0302-9743 Overview: 978-3-642-12591-1978-3-642-12592-8Series ISSN 0302-9743 Series E-ISSN 1611-3349

Cytokines

overreach

落葉劑

Towards a Framework for Constraint-Based Test Case Generation,standard CP search strategies in order to express preferences on the generated test cases and to obtain the desired degree of coverage. We develop our framework in the concrete context of an imperative language and show that the technique is sufficiently powerful to deal with arbitrary pointer-based data-structures allocated on the heap.

ALE

背帶

Legend

Towards Scalable Partial Evaluation of Declarative Programs,—a partial evaluator returns a new, . program which is specialized for the given data. The residual program is then used for performing the remaining computations—those that depend on the so-called . data.