Zobrazeno 1 - 10
of 124
pro vyhledávání: '"Heineman, George T"'
Autor:
Heineman, George T., Miller, Chase, Reichman, Daniel, Salls, Andrew, Sárközy, Gábor, Soiffer, Duncan
It has been proven that, when normalized by $n$, the expected length of a longest common subsequence of $d$ random strings of length $n$ over an alphabet of size $\sigma$ converges to some constant that depends only on $d$ and $\sigma$. These values
Externí odkaz:
http://arxiv.org/abs/2407.10925
Publikováno v:
Bessai, J, Heineman, G T & Düdder, B 2021, Covariant conversions (coco) : A design pattern for type-safe modular software evolution in object-oriented systems . in A Moller & M Sridharan (eds), 35th European Conference on Object-Oriented Programming, ECOOP 2021 ., 4, Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Leibniz International Proceedings in Informatics, LIPIcs, vol. 194, pp. 1-25, 35th European Conference on Object-Oriented Programming, ECOOP 2021, Virtual, Aarhus, Denmark, 11/07/2021 . https://doi.org/10.4230/LIPIcs.ECOOP.2021.4
Software evolution is an essential challenge for all software engineers, typically addressed solely using code versioning systems and language-specific code analysis tools. Most versioning systems view the evolution of a system as a directed acyclic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1de8ef207da18c049e2a011ebf3eb8aa
This artifact contains code illustrating the Covariant Conversions (CoCo) design pattern in Java, Scala, and C#. The CoCo pattern shows how to solve the expression problem in modern object-oriented languages without the need for language extensions.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e53f986d69fe8ddae98686a22592e501
Publikováno v:
In Data & Knowledge Engineering 2001 39(1):27-50
Ca?a wiedza o algorytmach w jednym podr?czniku!Jaki wp?yw na ró?ne algorytmy wywieraj? podobne decyzje projektowe?Jak rozwi?zywa? proble
Publikováno v:
Leveraging Applications of Formal Methods, Verification & Validation: Foundational Techniques; 2016, p303-317, 15p
Publikováno v:
Leveraging Applications of Formal Methods, Verification & Validation: Foundational Techniques; 2016, p261-265, 5p
Publikováno v:
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers; 2016, p123-140, 18p