See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Test-based inference of polynomial loop-bound functions

Shkaravska, Olha; Kersten, Rody; van Eekelen, Marko (2010). Test-based inference of polynomial loop-bound functions. Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, Vienna, Austria, 15 September 2010. New York: ACM, 99−108. DOI: 10.1145/1852761.1852776.
publitseeritud konverentsiettekanne
Shkaravska, Olha; Kersten, Rody; van Eekelen, Marko
  • Inglise
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, Vienna, Austria, 15 September 2010
New York
ACM
978-1-4503-0269-2
2010
99108
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Web of Science Book Citation Index, Web of Science Conference Proceedings Citation Index, Scopus refereeritud kogumikud)
Jah
roheline

Viited terviktekstile

doi.org/10.1145/1852761.1852776

Seotud asutused

Lisainfo

loop-bound function inference; program verification; polynomial interpolation; NCA-configuration; termination; JML
https://repository.ubn.ru.nl/bitstream/2066/83970/1/83970.pdf
Scopus, DBLP