> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: A resource semantics and abstract machine for Safe : A functional language with regions and explicit deallocation Beteiligte: Montenegro, Manuel; Peña, Ricardo; Segura, Clara Erschienen: Elsevier BV, 2014 Erschienen in: Information and Computation, 235 (2014), Seite 3-35 Sprache: Englisch DOI: 10.1016/j.ic.2014.01.003 ISSN: 0890-5401 Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang