Implicit ownership types for memory management

DOI10.1016/J.SCICO.2008.04.001zbMath1151.68492OpenAlexW2123828773MaRDI QIDQ931100

Elsie Sterbin Gottlieb

Publication date: 25 June 2008

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2008.04.001

zbMATH Keywords

memory managementtype systemsreal-time Javaownership typesRTSJ

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Implicit ownership types for memory management