Javari: Adding Reference Immutability to Java

Javari: Adding Reference Immutability to Java

Show other versions (1)

MEng thesis

Bibliographic Details
Main Author:	Tschantz, Matthew S.
Other Authors:	Michael Ernst
Language:	en_US
Published:	2006
Subjects:	assignable languages mutable readonly type system verification
Online Access:	http://hdl.handle.net/1721.1/33963

Similar Items

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

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

Object and Reference Immutability using Java Generics
by: Zibin, Yoav, et al.
Published: (2007)

Computer-Enforced Immutability for the Java Language
by: Birka, Adrian
Published: (2023)

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

21G.321 Childhood and Youth in French and Francophone Cultures, Spring 2013
by: Perreau, Bruno
Published: (2025)

Testimony on Voter Verification
by: Selker, Ted
Published: (2015)

VERY LARGE-SCALE NEIGHBORHOOD SEARCH FOR THE QUADRATIC ASSIGNMENT PROBLEM
by: Ahuja, Ravindra, et al.
Published: (2003)

The Benefits of Re-Evaluating Real-Time Fulfillment Decisions
by: Xu, Ping Josephine, et al.
Published: (2004)

Region Type Checking for Core-Java
by: Chin, Wei Ngan, et al.
Published: (2003)

Automated Verification of Shape and Size
by: Nguyen, Huu Hai, et al.
Published: (2007)

Combined static and dynamic mutability analysis
by: Artzi, Shay, et al.
Published: (2006)

Postmortem on Recent Experiments with E-verification in Uganda's Seed Sector
by: Blair, Courtney, et al.
Published: (2022)

Automated model-based test case generation using UML activity diagram
by: Monim, Md Abdul
Published: (2018)

Kinship verification from face images
by: Tabassum Nazir
Published: (2024)

Design and verification of carefree maneuvering protection for a high performance fighter aircraft
by: Jebakumar, S. K., et al.
Published: (2024)

FESTIM V&V book
by: Delaporte-Mathurin, Remi, et al.
Published: (2024)

The fragmented warehouse: Location assignment for multi-item picking
by: Ho, Stephen S., et al.
Published: (2010)

Security Vulnerabilities and Problems with VVPT
by: Selker, Ted, et al.
Published: (2015)

Preliminary Voting -- Prevoting
by: Rivest, Ronald L.
Published: (2015)

Distributed framework matching
by: Cao, Kun, et al.
Published: (2022)

Memory Usage Inference for Object-Oriented Programs
by: Nguyen, Huu Hai, et al.
Published: (2004)

On Using First-Order Theorem Provers in the Jahob Data Structure Verification System
by: Bouillaguet, Charles, et al.
Published: (2006)

Data integrity verification for cloud storage
by: Zhang, Haoran
Published: (2024)

Improved inter integrated circuit bus verification based on universal verification methodology
by: Jiang, Zhuoyuan
Published: (2025)

Symbolic Execution for (Almost) Free: Hijacking an Existing Implementation to Perform Symbolic Execution
by: Near, Joseph P., et al.
Published: (2014)

A Very Large-Scale Neighborhood Search Algorithm for the Combined Through and Fleet Assignment Model
by: Ahuja, Ravindra, et al.
Published: (2003)

Converting Java Programs to Use Generic Libraries
by: Donovan, Alan, et al.
Published: (2005)

Speed fluctuation suppression strategy of servo system with flexible load based on pole assignment fuzzy adaptive PID
by: Liu, Xiangchen, et al.
Published: (2023)

Channel assignment and power allocation for throughput improvement with PPO in B5G heterogeneous edge networks
by: He, Xiaoming, et al.
Published: (2024)

Priority assignment on partitioned multiprocessor systems with shared resources
by: Zhao, Shuai, et al.
Published: (2022)

Encrypted Receipts for Voter-Verified Elections Using Homomorphic Encryption
by: Forsythe, Joy Marie
Published: (2015)

Few-shot contrastive transfer learning with pretrained model for masked face verification
by: Weng, Zhenyu, et al.
Published: (2024)

Content tracing: examining fact-checking via a WhatsApp group during the COVID-19 pandemic
by: Tandoc, Edson C., et al.
Published: (2024)

Counterexample computation in compositional nonblocking verification
by: Malik, Robi, et al.
Published: (2018)

Online stochastic assignment problem with feature-based demand learning
by: Kwok, Jackie Jing Kai
Published: (2024)

The Voter Verifiable Audio Audit Transcript Trail (VVAATT)
by: Selker, Ted
Published: (2015)

Baroque Historical Dances Lecture and Workshop by Mireia Frutos Fernandez : World Music History Lecture Series
by: Universiti Teknologi MARA, Faculty of Music
Published: (2018)

Typesafety for Explicitly-Coded Probabilistic Inference Procedures
by: Atkinson, Eric, et al.
Published: (2017)

A survey of smart contract formal specification and verification
by: Tolmach, Palina, et al.
Published: (2022)