Publications

Substructural Typestates

AuthID
P-008-M2G

Author(s)

Militao, F

Aldrich, J

Caires, L

Editor(s)

Nils Anders Danielsson; Bart Jacobs 0002

Document Type

Proceedings Paper

Year published

2014

Published

in PLPV 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Co-located with POPL 2014 in PLPV

Pages: 15-26

Conference

2014 8Th Acm Sigplan Workshop on Programming Languages Meets Program Verification, Plpv 2014 - Co-Located with Popl 2014, Date: 21 January 2014 through 21 January 2014, Location: San Diego, CA, Sponsors: ACM SIGPLAN

Indexing

Scopus^®

Dblp^®/en/publications/view/282704

Crossref^®3

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1145/2541568.2541574

DBLP: conf/plpv/MilitaoAC14

SCOPUS: 2-s2.0-84897678320

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Substructural Typestates

Useful Links

Get Help

Federated Authentication (Click on the image)

Substructural Typestates

Useful Links

Get Help