Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

1
63
0

Year Published

2017
2017
2019
2019

Publication Types

Select...
5
1

Relationship

1
5

Authors

Journals

citations
Cited by 56 publications
(64 citation statements)
references
References 8 publications
1
63
0
Order By: Relevance
“…4.3. This includes two auxiliary methods that could not be proven correct in [13]. The Android community provided an alternative fix, which we proved to be correct as well, as reported in Sect.…”
mentioning
confidence: 63%
See 4 more Smart Citations
“…4.3. This includes two auxiliary methods that could not be proven correct in [13]. The Android community provided an alternative fix, which we proved to be correct as well, as reported in Sect.…”
mentioning
confidence: 63%
“…It is possible to exploit the fact that the invariant breaks by construction of a "bad" case [13]. In fact, as sketched in [13], this actually gives rise to the worst case, meaning that for a given input length the construction yields an input array that reaches the largest possible stackSize during execution.…”
Section: Breaking Timsortmentioning
confidence: 99%
See 3 more Smart Citations