SCAN : a statistic code analyser for JavaScheme

SCAN : a statistic code analyser for JavaScheme

Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.

Bibliographic Details
Main Author:	Yap, Tammy, 1976-
Other Authors:	Saman P. Armarasinghe.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2013
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/80578

Similar Items

Embedding scheme in Java
by: Carlstrom, Brian D. (Brian David), 1973-
Published: (2005)

Dynamic reconfiguration of component-based applications in Java
by: Tang, Ziqiang, 1976-
Published: (2014)

JET : an application of partial evaluation in dynamic code generation for Java
by: Chao, Tony (Tony Hann-Ching), 1978-
Published: (2005)

Systematic testing of multithreaded Java programs
by: Bruening, Derek L. (Derek Lane), 1976-
Published: (2013)

Statistically determining memory consumption of real-time Java threads
by: Gheorghioiu, Ovidiu, 1979-
Published: (2014)

Converting Java programs to use generic libraries
by: Donovan, Alan A. A., 1976-
Published: (2005)

On the construction of some capacity-approaching coding schemes
by: Chung, Sae-Young, 1967-
Published: (2005)

Toward nano-accuracy in scanning beam interference lithography
by: Montoya, Juan, 1976-
Published: (2007)

Locally Decodable Codes and Private Information Retrieval Schemes
by: Yekhanin, Sergey
Published: (2008)

Threshold schemes for optical flow switching
by: Brant, Dmitry, 1976-
Published: (2005)

Design and HCI applications of a low-cost scanning laser rangefinder
by: Strickon, Joshua Andrew, 1976-
Published: (2013)

Networking from a network coding perspective
by: Ho, Tracey, 1976-
Published: (2014)

A pipelined code mapping scheme for static data flow computers
by: Gao, Guang Rong
Published: (2007)

List decoding of error-correcting codes
by: Guruswami, Venkatesan, 1976-
Published: (2005)

Applications of algebraic geometry to coding & cryptography
by: Anderson, William Erik, 1976-
Published: (2014)

Evolutionary approaches toward practical network coding
by: Kim, Minkyu, 1976-
Published: (2009)

Topic detection through statistical methods
by: Walls, Frederick George, 1976-
Published: (2013)

Efficient packet discarding schemes for TCP/IP based networks
by: Yiu, June D., 1976-
Published: (2013)

Nonparametric statistical methods for image segmentation and shape analysis
by: Kim, Junmo, 1976-
Published: (2006)

Efficient signal, code, and receiver designs for MIMO communication systems
by: Yao, Huan, 1976-
Published: (2006)

Deciphering the neural code for retinal ganglion cells through statistical inference
by: Wu, Yi-Chieh, Ph. D. Massachusetts Institute of Technology
Published: (2010)

Efficient, transparent, and comprehensive runtime code manipulation
by: Bruening, Derek L. (Derek Lane), 1976-
Published: (2006)

A modular approach to speech enhancement with an application to speech coding
by: Accardi, Anthony J. (Anthony Joseph), 1976-
Published: (2005)

Statistical dependence estimation for object interaction and matching
by: Tieu, Kinh H. (Kinh Han), 1976-
Published: (2008)

Extensible syntax in the presence of static analysis : scheme macros meet ML types
by: Nanavati, Ravi A. (Ravi Amit), 1976-
Published: (2014)

Integrating statistical and knowledge-based methods for automatic phonemic segmentation
by: Sun, Felice (Felice Tzu-yun), 1976-
Published: (2013)

Practical pluggable types for Java
by: Papi, Matthew M
Published: (2009)

Real-time scheduling for Java
by: Francu, Catalin A. (Catalin Andrei), 1978-
Published: (2014)

Executable specifications for Java programs
by: Milicevic, Aleksandar, Ph. D. Massachusetts Institute of Technology
Published: (2011)

Evaluating the implementation of new services models in the financial advisory industry : a statistical data mining and system dynamics approach
by: Barra, Hugo Botelho, 1976-
Published: (2005)

Optoelectronic integration using the magnetically assisted statistical assembly technique : initial magnetic characterization and process development
by: Rumpler, Joseph John, 1976-
Published: (2006)

JPS : a distributed persistent Java system
by: Boyapati, Chandrasekhar, 1973-
Published: (2009)

A schematic editor and netlist extractor in Java
by: Liebson, David M. (David Michael)
Published: (2008)

Static detection of deadlock for Java libraries
by: Williams, Amy Lynne, Ph.D. Massachusetts Institute of Technology
Published: (2014)

Javarifier : inference of reference immutability in Java
by: Quinonez, Jamie
Published: (2009)

Javari : adding reference immutability to Java
by: Tschantz, Matthew S
Published: (2008)

Compiler-enforced immutability for the Java language
by: Birka, Adrian, 1980-
Published: (2014)

Obfuscation techniques for Java source code
by: Nguyen, Dinh Phuc
Published: (2015)

Implementation of a compiler for a stack machine in Java
by: Hui, Anthony Y., 1978-
Published: (2014)

A Java implementation of simple distributed security infrastructure
by: Morcos, Alexander, 1974-
Published: (2009)