|
|
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 |
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 |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|