Compositional shape analysis by means of bi-abduction

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: ACM SIGPLAN Notices

Abbreviated Title: SIGPLAN Not.

Publisher: Association for Computing Machinery (ACM)

ISSN (Print): 03621340

Publication date Created: January 21 2009

Publication date (Print): January 21 2009

Volume: 44

Issue: 1

Page: 289

Article

DOI: 10.1145/1594834.1480917

SO-VID: 9ce8a905-a897-4c4f-8be6-fd85bd251e52

History

Data availability:

Comments

Comment on this article

scite_

189

228

Smart Citations

189

228

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.