Substructural Typestates

AuthID
 P-008-M2G
3
Author(s)
Aldrich, J
·
2
Editor(es)
Nils Anders Danielsson; Bart Jacobs 0002
Tipo de Documento
Proceedings Paper
Year published
2014
Publicado
in PLPV 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Co-located with POPL 2014 in PLPV
Páginas: 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, Patrocinadores: ACM SIGPLAN
Indexing
Scopus®
Dblp®/pt/publications/view/282704
Crossref®3
Google Scholar®
Publication Identifiers
DBLP: conf/plpv/MilitaoAC14
SCOPUS: 2-s2.0-84897678320
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service