FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers
Julkaisuvuosi
2017
Tekijät
Lin, Shang-Wei;Sun, Jun;Xiao, Hao;Liu, Yang;Sanán, David;Hansen, Henri
Organisaatiot ja tekijät
Tampereen yliopisto
Hansen Henri
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
Emojulkaisun toimittajat
Rosu, Grigore;Di Penta, Massimiliano;Nguyen, Tien N.
Kustantaja
Sivut
793-803
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
2
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Matematiikka; Tietojenkäsittely ja informaatiotieteet
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1109/ASE.2017.8115690
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä