FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers
Year of publication
2017
Authors
Lin, Shang-Wei;Sun, Jun;Xiao, Hao;Liu, Yang;Sanán, David;Hansen, Henri
Organizations and authors
Tampere University
Hansen Henri
Publication type
Publication format
Article
Parent publication type
Conference
Article type
Other article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Parent publication name
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
Parent publication editors
Rosu, Grigore;Di Penta, Massimiliano;Nguyen, Tien N.
Publisher
Pages
793-803
ISSN
ISBN
Publication forum
Publication forum level
2
Open access
Open access in the publisher’s service
No
Self-archived
No
Other information
Fields of science
Mathematics; Computer and information sciences
Internationality of the publisher
International
Language
English
International co-publication
Yes
Co-publication with a company
No
DOI
10.1109/ASE.2017.8115690
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes