Search results for "destructors"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
99	Hans-Juergen Boehm	Destructors, finalizers, and synchronization.	POPL	2003	DBLP DOI BibTeX RDF	destructor, synchronization, garbage collection, deadlock, thread, finalization
54	Sigmund Cherem, Radu Rugina	Uniqueness inference for compile-time object deallocation.	ISMM	2007	DBLP DOI BibTeX RDF	compile-time memory management, individual object deallocation, object destructors, uniqueness inference, program transformations
54	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
35	Juan Emmanuel Johnson, Valero Laparra, Gustau Camps-Valls, Raúl Santos-Rodríguez, Jesús Malo	Information Theory in Density Destructors.	CoRR	2020	DBLP BibTeX RDF
35	David I. Inouye, Pradeep Ravikumar	Deep Density Destructors.	ICML	2018	DBLP BibTeX RDF
35	Francisco V. Cipolla Ficarra, Valeria M. Ficarra, Miguel Cipolla-Ficarra	New Technologies of the Information and Communication: Analysis of the Constructors and Destructors of the European Educational System.	ADNTIIC	2011	DBLP DOI BibTeX RDF
35	Stéphanie Delaune, Florent Jacquemard	A decision procedure for the verification of security protocols with explicit destructors.	CCS	2004	DBLP DOI BibTeX RDF	formal methods, security protocols, constraint solving
35	Martin Hofmann 0001, Benjamin C. Pierce	Type Destructors.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
35	L. S. Tang	C++'s destructors can be destructive.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	C++
35	Michel Mauny	Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages.	FPCA	1989	DBLP DOI BibTeX RDF	ML
21	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
21	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
21	Michael Baldamus, Joachim Parrow, Björn Victor	A Fully Abstract Encoding of the pi-Calculus with Data Terms.	ICALP	2005	DBLP DOI BibTeX RDF
21	Michael Backes 0001, Birgit Pfitzmann	Limits of the Cryptographic Realization of Dolev-Yao-Style XOR.	ESORICS	2005	DBLP DOI BibTeX RDF
21	Daniel Leivant	Implicit Computational Complexity for Higher Type Functionals.	CSL	2002	DBLP DOI BibTeX RDF
21	Jeremy Gibbons	Calculating Functional Programs.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
21	Richard B. Kieburtz	Implementing Closed Domain-Specific Languages.	SAIG	2000	DBLP DOI BibTeX RDF
21	Fumio Narisawa, Hidemitsu Naya, Takanori Yokoyama	A Code Generator with Application-Oriented Size Optimization for Object-Oriented Embedded Control Software.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
21	Eric Bloedorn, Ryszard S. Michalski	The AQ17-DCI System for Data-Driven Constructive Induction and its Application to the Analysis of World Economics.	ISMIS	1996	DBLP DOI BibTeX RDF
21	Yves Lafont	Interaction Nets.	POPL	1990	DBLP DOI BibTeX RDF