• Suche: "Java Collection Framework"

Treffer 1 - 15 von 15

1

jStanley: placing a green thumb on Java collections
Pereira, Rui ; Simão, Pedro ; Cunha, Jácome ; et al.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. :856-859

Konferenz
Zur Merkliste hinzufügen
2

Integrating ADTs in KeY and their application to history-based reasoning about collection
Jinting Bian ; Hans-Dieter A. Hiep ; Frank S. de Boer ; et al.
Bian, J, Hiep, H D A, de Boer, F S & de Gouw, S 2023, 'Integrating ADTs in KeY and their application to history-based reasoning about collection', Formal Methods in System Design, vol. 61, no. 1, pp. 63-89. https://doi.org/10.1007/s10703-023-00426-x

Formal verification Program correctness Theorem proving (automat... KeY Abstract data types JML …
Fachzeitschrift
Zur Merkliste hinzufügen
3

Integrating ADTs in KeY and Their Application to History-Based Reasoning
Bian, Jinting ; Hiep, Hans-Dieter A. ; de Boer, Frank S. ; et al.
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings. 13047:255-272

E-Book
Zur Merkliste hinzufügen
4

Integrating ADTs in KeY and their Application to History-based Reasoning: Proof Files
Jinting Bian ; orcid:0000-0001-9677- ; Hans-Dieter A. Hiep ; et al.

Formal methods abstract data type program correctness Java Collection Framewor... KeY
E-Ressource
Zur Merkliste hinzufügen
5

Reasoning about object-oriented programs: from classes to interfaces
Bian, J. ; Boer, F.S. de ; Bonsangue, M.M. ; et al.

Formal verification Object-oriented programs Java collection framewor... Program correctness History-based reasoning Class and interface spec... …
Dissertation
Zur Merkliste hinzufügen
6

Testování výkonnosti Java kolekcí na vícejádrových systémech ; Java Collections Performance Testing on Multicore Systems
Husar, Martin ; Letko, Zdeněk ; Müller, Petr

Java kolekce Java Collection Framewor... ArrayList LinkedList HashMap TreeMap …
Dissertation
Zur Merkliste hinzufügen
7

Dieses Ergebnis kann Gästen nicht angezeigt werden.

8

Integrating ADTs in KeY and their application to history-based reasoning about collection
Bian, J. (Jinting) ; Hiep, H.A. (Hans-Dieter) ; Boer, F.S. (Frank) de ; et al.
Formal Methods in System Design

E-Ressource
Zur Merkliste hinzufügen
9

Integrating ADTs in KeY and their application to history-based reasoning
Bian, J. (Jinting) ; Hiep, H.A. (Hans-Dieter) ; Boer, F.S. (Frank) de ; et al.

E-Ressource
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter