Sciweavers

1821 search results - page 29 / 365

» Security-Aware Program Transformations

14

PEPM
1997
ACM

88views Software Engineering» more PEPM 1997»

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

14 years 29 days ago

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

Download www.brics.dk

Olivier Danvy, Ulrik Pagh Schultz

claim paper

Read More »

13

ICCAD
1994
IEEE

76views Hardware» more ICCAD 1994»

Integrating program transformations in the memory-based synthesis of image and video algorithms

14 years 29 days ago

Integrating program transformations in the memory-based synthesis of image and video algorithms

Download www.cs.york.ac.uk

David J. Kolson, Alexandru Nicolau, Nikil D. Dutt

claim paper

Read More »

29

CADE
1994
Springer

190views Logical Reasoning» more CADE 1994»

The Applicability of Logic Program Analysis and Transformation to Theorem Proving

14 years 28 days ago

The Applicability of Logic Program Analysis and Transformation to Theorem Proving

Download repository.readscheme.org

D. Andre de Waal, John P. Gallagher

claim paper

Read More »

23

MPC
1989
Springer

85views Mathematics» more MPC 1989»

Transformational Programming and Forests

14 years 26 days ago

Transformational Programming and Forests

Download www.open.ou.nl

A. Bijlsma

claim paper

Read More »

27

CGO
2004
IEEE

101views Software Engineering» more CGO 2004»

LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation

14 years 17 days ago

LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation

Download llvm.org

Chris Lattner, Vikram S. Adve

claim paper

Read More »

« Prev « First page 29 / 365 Last » Next »