Bi-abduction with pure properties for specification inference

Bi-abduction with pure properties for specification inference

10.1007/978-3-319-03542-0_8

Saved in:
Bibliographic Details
Main Authors: Trinh, M.-T., Loc, Q., David, C., Chin, W.-N.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2014
Subjects:
Functional correctness
Memory safety
Program verification
Pure bi-abduction
Separation logic
Specification inference
Online Access:http://scholarbank.nus.edu.sg/handle/10635/78044
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-78044
record_format dspace
spelling sg-nus-scholar.10635-780442015-01-05T20:09:59Z Bi-abduction with pure properties for specification inference Trinh, M.-T. Loc, Q. David, C. Chin, W.-N. COMPUTER SCIENCE Functional correctness Memory safety Program verification Pure bi-abduction Separation logic Specification inference 10.1007/978-3-319-03542-0_8 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8301 LNCS 107-123 2014-07-04T03:11:46Z 2014-07-04T03:11:46Z 2013 Conference Paper Trinh, M.-T.,Loc, Q.,David, C.,Chin, W.-N. (2013). Bi-abduction with pure properties for specification inference. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8301 LNCS : 107-123. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-319-03542-0_8" target="_blank">https://doi.org/10.1007/978-3-319-03542-0_8</a> 9783319035413 03029743 http://scholarbank.nus.edu.sg/handle/10635/78044 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
topic Functional correctness
Memory safety
Program verification
Pure bi-abduction
Separation logic
Specification inference
spellingShingle Functional correctness
Memory safety
Program verification
Pure bi-abduction
Separation logic
Specification inference
Trinh, M.-T.
Loc, Q.
David, C.
Chin, W.-N.
Bi-abduction with pure properties for specification inference
description 10.1007/978-3-319-03542-0_8
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Trinh, M.-T.
Loc, Q.
David, C.
Chin, W.-N.
format Conference or Workshop Item
author Trinh, M.-T.
Loc, Q.
David, C.
Chin, W.-N.
author_sort Trinh, M.-T.
title Bi-abduction with pure properties for specification inference
title_short Bi-abduction with pure properties for specification inference
title_full Bi-abduction with pure properties for specification inference
title_fullStr Bi-abduction with pure properties for specification inference
title_full_unstemmed Bi-abduction with pure properties for specification inference
title_sort bi-abduction with pure properties for specification inference
publishDate 2014
url http://scholarbank.nus.edu.sg/handle/10635/78044
_version_ 1681088570624835584

Similar Items