Search results for "finalizers"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
240	Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard	Schedulability analysis for Java finalizers.	JTRES	2010	DBLP DOI BibTeX RDF	schedulability, Java, model checking, real-time, finalizers
87	Hans-Juergen Boehm	Destructors, finalizers, and synchronization.	POPL	2003	DBLP DOI BibTeX RDF	destructor, synchronization, garbage collection, deadlock, thread, finalization
57	Westley Weimer, George C. Necula	Finding and preventing run-time error handling mistakes.	OOPSLA	2004	DBLP DOI BibTeX RDF	destructors, try-finally, dataflow, exceptions, finalizers
39	Ziying Dai, Xiaoguang Mao, Yuhua Qi, Kerong Ben	Light-Weight Test Oracles for Resource Leaks Based on Finalizers.	APSEC Workshops	2012	DBLP DOI BibTeX RDF
39	Marcus Amorim Leal, Roberto Ierusalimschy	A Formal Semantics for Finalizers.	J. Univers. Comput. Sci.	2005	DBLP DOI BibTeX RDF
24	Westley Weimer	Exception-Handling Bugs in Java and a Language Extension to Avoid Them.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF
24	Melissa E. O'Neill, F. Warren Burton	Smarter garbage collection with simplifiers.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF	lightweight daemon, simplifier, weak pointer, finalizer
24	Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider	Certified In-lined Reference Monitoring on .NET.	PLAS	2006	DBLP DOI BibTeX RDF	in-lined reference monitoring, program rewriting, reference monitors, security automata, execution monitoring
24	David S. Wise, Craig Citro, Joshua Hursey, Fang Liu, Michael Rainey	A Paradigm for Parallel Matrix Algorithms: .	Euro-Par	2005	DBLP DOI BibTeX RDF

Displaying result #1 - #9 of 9 (100 per page; Change: )