Compiler-enforced immutability for the Java language

Compiler-enforced immutability for the Java language

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

书目详细资料
主要作者:	Birka, Adrian, 1980-
其他作者:	Michael D. Ernst.
格式:	Thesis
语言:	eng
出版:	Massachusetts Institute of Technology 2014
主题:	Electrical Engineering and Computer Science.
在线阅读:	http://hdl.handle.net/1721.1/87385

相似书籍

Computer-Enforced Immutability for the Java Language
由: Birka, Adrian
出版: (2023)

Javari : adding reference immutability to Java
由: Tschantz, Matthew S
出版: (2008)

Javarifier : inference of reference immutability in Java
由: Quinonez, Jamie
出版: (2009)

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

Designing and compiling functional Java for the Fresh Breeze architecture
由: Jacobs, William J., M. Eng. Massachusetts Institute of Technology
出版: (2010)

Javari: Adding Reference Immutability to Java
由: Tschantz, Matthew S.
出版: (2006)

Language and compiler support for stream programs
由: Thies, William Frederick, 1978-
出版: (2009)

Prolac--a language for protocol compilation
由: Kohler, Eddie, 1973-
出版: (2009)

Object and Reference Immutability using Java Generics
由: Zibin, Yoav, et al.
出版: (2007)

Language and compiler support for dyanmic code generation
由: Poletto, Massimiliano Antonio
出版: (2013)

Improved handling of the decoding operation in the Presto compiler
由: Dong, Wenyan, 1980-
出版: (2006)

Compiling functional reactive macroprograms for sensor networks
由: Newton, Ryan Rhodes, 1980-
出版: (2006)

A task communication language and compiler for the NuMesh
由: Cornez, Jason Steven
出版: (2006)

Compiler optimizations for an asynchronous stream-oriented programming language
由: Craig, Michael B
出版: (2009)

PetaBricks : a language and compiler for algorithmic choice
由: Ansel, Jason (Jason Andrew)
出版: (2010)

An extensible, object-oriented compiler for the Timeliner User Interface Language
由: Liu, Frank Tien-Fu, 1978-
出版: (2014)

Acore--the design of a core actor language and its compiler
由: Manning, Carl Roger
出版: (2005)

PENNY--a programming language and compiler for the context interchange project
由: Pena, Fortunato
出版: (2008)

Credible compilation
由: Marinov, Darko, 1976-
出版: (2014)

Collaborative compilation
由: Wagner, Benjamin R
出版: (2007)

An extension-oriented compiler
由: Cox, Russell Stensby
出版: (2009)

Extending the Java language for the prevention of data races
由: Lee, Robert Honway, 1981-
出版: (2005)

Compiling with C# and Java /
由: 272188 Terry, Pat
出版: (2005)

Sparse tensor algebra compilation
由: Kjølstad, Fredrik Berg.
出版: (2020)

Towards a liquid compiler
由: Davis, Stephen Brooks
出版: (2006)

SIFt : a compiler for streaming applications
由: Waingold, Elliot L. (Elliot Lee), 1977-
出版: (2014)

Compilation to a queue-based architecture
由: Vandiver, Benjamin Mead, 1978-
出版: (2014)

Verified compilation of abstract network policies
由: Katz, Theodore(Theodore Robert)
出版: (2019)

Compiling methods for the Fresh Breeze processor
由: Fonger, Curtis George
出版: (2010)

Reptile : a distributed ILP compiler
由: Bratt, Ian (Ian R.)
出版: (2006)

Compilation techniques for short-vector instructions
由: Larsen, Samuel (Samuel Barton), 1975-
出版: (2007)

Compiling for coarse-grain reconfigurable architectures
由: Matsa, M. Morris E. (Moshe Morris Emanuel)
出版: (2008)

An optimizing C compiler for DSP architectures
由: Lin, Jeremy H. (Jeremy Huei), 1976-
出版: (2009)

Modern compiler implementation in Java /
由: Appel, Andrew W., 1960-, et al.
出版: (2002)

A technique for compilation to exposed memory hierarchy
由: Greenwald, Benjamin Eliot, 1975-
出版: (2014)

Execution model and optimizing compilation for execution migration
由: Lebedev, Ilia Andreevich
出版: (2014)

Compiling Gallina to go for the FSCQ file system
由: Ziegler, Daniel (Daniel M.)
出版: (2018)

Structure driven multiprocessor compilation of numeric problems
由: Prasanna, Gorur Narayana Srinivasa
出版: (2010)

Compiling for parallel multithreaded computation on symmetric multiprocessors
由: Shaw, Andrew, 1968-
出版: (2009)

Evolutionary algorithms for compiler-enabled program autotuning
由: Pacula, Maciej
出版: (2011)