Timothy S. McNerney

Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation

Timothy S. McNerney, 1991, PEPM.

Fortran at ten gigaflops: the connection machine convolution compiler

Guy L. Steele, Steven Heller, Mark Bromley, 1991, PLDI '91.

From turtles to Tangible Programming Bricks: explorations in physical language design

Timothy S. McNerney, 2004, Personal and Ubiquitous Computing.

Verifying the correctness of compiler transformations on basic blocks using abstract interpretation

Tim McNerney, Timothy S. McNerney, 1991, PEPM '91.

Tangible programming bricks : an approach to making programming accessible to everyone

Tim McNerney, Timothy S. McNerney, 1999 .

Verifying the correctness of compiler transformations on basic blocks using abstract interpretation

Timothy S. McNerney, 1991, PEPM '91.