FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers
Publiceringsår
2017
Upphovspersoner
Lin, Shang-Wei;Sun, Jun;Xiao, Hao;Liu, Yang;Sanán, David;Hansen, Henri
Organisationer och upphovspersoner
Tammerfors universitet
Hansen Henri
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Moderpublikationens namn
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
Moderpublikationens redaktörer
Rosu, Grigore;Di Penta, Massimiliano;Nguyen, Tien N.
Förläggare
Sidor
793-803
ISSN
ISBN
Publikationsforum
Publikationsforumsnivå
2
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Nej
Övriga uppgifter
Vetenskapsområden
Matematik; Data- och informationsvetenskap
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
DOI
10.1109/ASE.2017.8115690
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja