Pesquisas alternativas:
java » jama (Expandir a Pesquisa), jana (Expandir a Pesquisa), jaha (Expandir a Pesquisa)
jaya » jama (Expandir a Pesquisa), jana (Expandir a Pesquisa), jaha (Expandir a Pesquisa)
java » jama (Expandir a Pesquisa), jana (Expandir a Pesquisa), jaha (Expandir a Pesquisa)
jaya » jama (Expandir a Pesquisa), jana (Expandir a Pesquisa), jaha (Expandir a Pesquisa)
1
Por Fenwick, Matthew, Sesanker, Colbert, Schiller, Martin R., Ellis, Heidi JC, Hinman, M. Lee, Vyas, Jay, Gryk, Michael R.
Publicado em 2012
“... complex data operations and mathematical constructs in an expressive and natural idiom. The slow adoption...”Publicado em 2012
Obter o texto integral
Obter o texto integral
Obter o texto integral
Artigo
2
Por Shamakhi, Ali, Hojjat, Hossein, Rümmer, Philipp
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...JayHorn is a Horn clause-based model checker for Java programs that has been competing at SV-COMP...”Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2021)
Obter o texto integral
Obter o texto integral
Artigo