Publicações

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

AuthID
P-00T-6V1

Author(s)

Bravetti, M

Francalanza, A

Golovanov, I

Hüttel, H

Jakobsen, MS

Kettunen, MK

Ravara, A

Editor(es)

Oliveira,BC

Tipo de Documento

Proceedings Paper

Year published

2020

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 12470 LNCS, Páginas: 105-124

Conference

18Th Asian Symposium on Programming Languages and Systems, Aplas 2020, Date: 30 November 2020 through 2 December 2020

Indexing

Scopus^®

Crossref^®6

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-030-64437-6_6

SCOPUS: 2-s2.0-85097642531

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

Links Úteis

Ajuda