Publications

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(s)

Oliveira B.C.

Document Type

Proceedings Paper

Year published

2020

Published

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

Volume: 12470 LNCS, Pages: 105-124

Conference

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

Indexing

Scopus^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

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

Scopus: 2-s2.0-85097642531

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

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

Useful Links

Get Help

Federated Authentication (Click on the image)

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

Useful Links

Get Help