Abstract interpretation

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

Conference

Publication date (Print): 1977

Pages: 238-252

Article

DOI: 10.1145/512950.512973

SO-VID: 151ace99-8974-43b3-be83-b0c12f0fd7db

Conference name: the 4th ACM SIGACT-SIGPLAN symposium

Conference acronym: POPL '77

Conference number: 4

Conference location: Los Angeles, California

Conference date: February 17, 1977 - February 19, 1977

Conference sponsor: SIGACT, ACM Special Interest Group on Algorithms and Computation Theory

Conference sponsor: SIGPLAN, ACM Special Interest Group on Programming Languages

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.