The pointer assertion logic engine

Anders Møller; Michael I. Schwartzbach

doi:10.1145/381694.378851

by Anders Møller, Michael I. Schwartzbach

Published in SIGPLAN notices by Association for Computing Machinery (ACM).

2001 Volume 36, p221-231

Archived Files and Locations

application/pdf 1.4 MB
file_ri3xg5vfaveedbhuhuvc6g4teu web.archive.org (webarchive)
web.archive.org (webarchive)
www.cs.cornell.edu (web)
courses.cis.cornell.edu (web)

Read Archived PDF

Preserved and Accessible

Type article-journal
Stage

published

Date 2001-05-01
Language en ^?

DOI 10.1145/381694.378851

Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L: 0362-1340

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar

Catalog Record
Revision: 8c20105b-0ef8-4817-b3a1-d8096d33ab3a
API URL: JSON

The pointer assertion logic engine release_yxxqyacbfvcw7m3ibx6aqikdsa

Archived Files and Locations

The pointer assertion logic engine `release_yxxqyacbfvcw7m3ibx6aqikdsa`