Search results for "readonly"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
95	Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst	Object and reference immutability using java generics.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	IGJ, const, java, generic, readonly, immutability
69	Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst	Inference of Reference Immutability.	ECOOP	2008	DBLP DOI BibTeX RDF
49	Adrian Birka, Michael D. Ernst	A practical type system and language for reference immutability.	OOPSLA	2004	DBLP DOI BibTeX RDF	Javari, const, Java, verification, type system, readonly, immutability, mutable
46	Raja R. Sambasivan, Andrew J. Klosterman, Gregory R. Ganger	Replication policies for layered clustering of NFS servers.	MASCOTS	2005	DBLP DOI BibTeX RDF
42	Xiang Gao, Mingkai Dong 0002, Xie Miao, Wei Du, Chao Yu, Haibo Chen 0001	EROFS: A Compression-friendly Readonly File System for Resource-scarce Devices.	USENIX Annual Technical Conference	2019	DBLP BibTeX RDF
42	John Boyland	Why we should not add readonly to Java (yet).	J. Object Technol.	2006	DBLP DOI BibTeX RDF
26	Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst	Parameter reference immutability: formal definition, inference tool, and comparison.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Reference immutability, Combined analysis, Definition, Readonly
26	Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst	Enforcing reference and object immutability in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	IGJ, java, verification, compiler, case study, type system, polymorphism, assignable, bug finding, flow-sensitive, readonly, immutability, mutable, javac
26	Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst	Practical pluggable types for java.	ISSTA	2008	DBLP DOI BibTeX RDF	igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
26	David Greenfieldboyce, Jeffrey S. Foster	Type qualifier inference for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	JQual, field-sensitivity, opaque, java, tracked, transparent, context-sensitivity, type qualifiers, readonly, mutable, context-free language reachability
26	Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst	Tools for enforcing and inferring reference immutability in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, side effects, readonly, immutability, mutable
26	Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst	Combined static and dynamic mutability analysis.	ASE	2007	DBLP DOI BibTeX RDF	reference immutability, readonly
26	Matthew S. Tschantz, Michael D. Ernst	Javari: adding reference immutability to Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, readonly, immutability, mutable
23	John M. Boyer, Charles Wiecha	Enriching the interactive user experience of open document format.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	interactive documents, accessibility, xforms, odf
23	Tuukka Haapasalo, Ibrahim Jaluta, Bernhard Seeger, Seppo Sippu, Eljas Soisalon-Soininen	Transactions on the multiversion B+-tree.	EDBT	2009	DBLP DOI BibTeX RDF
23	Daesun Oh, Keshab K. Parhi	Low Complexity Implementations of Sum-Product Algorithm for Decoding Low-Density Parity-Check Codes.	SiPS	2006	DBLP DOI BibTeX RDF
23	Chris Loeser, Gunnar Schomaker, Matthias Schubert, Tim Schattkowsky	Fairness Considerations in Replication and Placement Strategies for large Documents in heterogeneous Content Delivery Networks.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
23	Luke J. Gosink, John Shalf, Kurt Stockinger, Kesheng Wu, Wes Bethel	HDF5-FastQuery: Accelerating Complex Queries on HDF Datasets using Fast Bitmap Indices.	SSDBM	2006	DBLP DOI BibTeX RDF