Parametric shape analysis via 3-valued logic

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.

Abstract

Related collections

Author and article information

Journal

Title: ACM Transactions on Programming Languages and Systems

Abbreviated Title: ACM Trans. Program. Lang. Syst.

Publisher: Association for Computing Machinery (ACM)

ISSN (Print): 01640925

Publication date (Print): May 2002

Volume: 24

Issue: 3

Pages: 217-298

Article

DOI: 10.1145/514188.514190

SO-VID: ec04bc05-6920-4034-b04a-52ef71aa33b2

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

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.

Cited by 107

See all cited by