• *Search*: Java collections

*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 21 - 40 *of* 31*number_thousands_separator*610

21

*This result is not displayed to guests*

22

*This result is not displayed to guests*

23

*This result is not displayed to guests*

24

*This result is not displayed to guests*

25

Study of characteristics of large data collections to build a high performance system
Dev, Mukul ; Kapoor, Rahul ; Balamurugan, B
2016 International Conference on Advanced Communication Control and Computing Technologies (ICACCCT) Advanced Communication Control and Computing Technologies (ICACCCT), 2016 International Conference on. :584-587 May, 2016

*Conference*
*Add to favorites*
26

History-based specification and verification of Java collections in KeY (keynote)
Boer, F.S. (Frank) de ; Hiep, H.A. (Hans-Dieter) ; Boer, F.S. (Frank) de ; et al.

*Electronic Resource*
*Add to favorites*
27

History-based specification and verification of Java Collections in KeY
Hiep, H.A. (Hans-Dieter) ; Bian, J. (Jinting) ; Boer, F.S. (Frank) de ; et al.

*Electronic Resource*
*Add to favorites*
28

La collection indonésienne du Musée instrumental de Bruxelles: approche socio-historique des instruments de musique de l'île de Java
Caufriez, Anne
Revue belge de Musicologie / Belgisch Tijdschrift voor Muziekwetenschap, 1980 Jan 01. 34/35, 248-302.

*Academic Journal*
*Add to favorites*
29

*This result is not displayed to guests*

30

JBrainy: Micro-benchmarking Java Collections with Interference (Work in Progress Paper)
Couderc, Noric ; Söderberg, Emma ; Reichenbach, Christoph ; et al.

*Electronic Resource*
*Add to favorites*
31

History-based Specification and Verification of Java Collections in KeY: Proof Files
Hiep, H.A. (Hans-Dieter) ; Bian, J. (Jinting) ; Boer, F.S. (Frank) de ; et al.

*Electronic Resource*
*Add to favorites*
32

Generic Ownership Types for Java and the Collections Framework
Khalifa, Ahmed Aziz ; Potanin, Alex ; Noble, James

Java Ownership types Collections framework
*Dissertation/ Thesis*
*Add to favorites*
33

Collections Frameworks for Points-To Analysis
Gutzmann, Tobias ; Lundberg, Jonas ; Lowe, Welf
2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation Source Code Analysis and Manipulation (SCAM), 2012 IEEE 12th International Working Conference on. :4-13 Sep, 2012

*Conference*
*Add to favorites*
34

*This result is not displayed to guests*

35

*This result is not displayed to guests*

36

Predicate abstraction of Java programs with collections
Pavel Parízek ; OndYej Lhoták
ACM SIGPLAN Notices. 47:75-94

0202 electrical engineer... 02 engineering and techn...
*Academic Journal*
*Add to favorites*
38

History-based Specification and Verification of Java Collections in KeY: Video Material
Bian, J. (Jinting) ; Hiep, H.A. (Hans-Dieter) ; Bian, J. (Jinting) ; et al.

*Electronic Resource*
*Add to favorites*
39

The Java Collections Framework
Quentin Charatan ; Aaron Kans
Texts in Computer Science ISBN: 9783319994192
Texts in Computer Science ISBN: 9783031013256

*Book*
*Add to favorites*
40

Towards the design of a set-based Java collections framework
Brad Long
ACM SIGSOFT Software Engineering Notes. 35:1-7

*Academic Journal*
*Add to favorites*
*Search Tools*: *Get RSS Feed* *Email this Search* *save_search*

*Filter*