The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for destructors with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1989-2006 (15) 2007-2020 (5)
Publication types (Num. hits)
article(3) inproceedings(17)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 17 keywords

Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
99Hans-Juergen Boehm Destructors, finalizers, and synchronization. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF destructor, synchronization, garbage collection, deadlock, thread, finalization
54Sigmund Cherem, Radu Rugina Uniqueness inference for compile-time object deallocation. Search on Bibsonomy ISMM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF compile-time memory management, individual object deallocation, object destructors, uniqueness inference, program transformations
54Westley Weimer, George C. Necula Finding and preventing run-time error handling mistakes. Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF destructors, try-finally, dataflow, exceptions, finalizers
35Juan Emmanuel Johnson, Valero Laparra, Gustau Camps-Valls, Raúl Santos-Rodríguez, Jesús Malo Information Theory in Density Destructors. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
35David I. Inouye, Pradeep Ravikumar Deep Density Destructors. Search on Bibsonomy ICML The full citation details ... 2018 DBLP  BibTeX  RDF
35Francisco 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. Search on Bibsonomy ADNTIIC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
35Stéphanie Delaune, Florent Jacquemard A decision procedure for the verification of security protocols with explicit destructors. Search on Bibsonomy CCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF formal methods, security protocols, constraint solving
35Martin Hofmann 0001, Benjamin C. Pierce Type Destructors. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35L. S. Tang C++'s destructors can be destructive. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1991 DBLP  DOI  BibTeX  RDF C++
35Michel Mauny Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages. Search on Bibsonomy FPCA The full citation details ... 1989 DBLP  DOI  BibTeX  RDF ML
21Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard Schedulability analysis for Java finalizers. Search on Bibsonomy JTRES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF schedulability, Java, model checking, real-time, finalizers
21Westley Weimer Exception-Handling Bugs in Java and a Language Extension to Avoid Them. Search on Bibsonomy Advanced Topics in Exception Handling Techniques The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Michael Baldamus, Joachim Parrow, Björn Victor A Fully Abstract Encoding of the pi-Calculus with Data Terms. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Michael Backes 0001, Birgit Pfitzmann Limits of the Cryptographic Realization of Dolev-Yao-Style XOR. Search on Bibsonomy ESORICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Daniel Leivant Implicit Computational Complexity for Higher Type Functionals. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Jeremy Gibbons Calculating Functional Programs. Search on Bibsonomy Algebraic and Coalgebraic Methods in the Mathematics of Program Construction The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Richard B. Kieburtz Implementing Closed Domain-Specific Languages. Search on Bibsonomy SAIG The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Fumio Narisawa, Hidemitsu Naya, Takanori Yokoyama A Code Generator with Application-Oriented Size Optimization for Object-Oriented Embedded Control Software. Search on Bibsonomy ECOOP Workshops The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Eric Bloedorn, Ryszard S. Michalski The AQ17-DCI System for Data-Driven Constructive Induction and its Application to the Analysis of World Economics. Search on Bibsonomy ISMIS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Yves Lafont Interaction Nets. Search on Bibsonomy POPL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #20 of 20 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license