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

Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias S. Jakobsen, Mikkel K. Kettunen, António Ravara*

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

5 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language'. Sammen danner de et unikt fingeraftryk.

Keyphrases

Computer Science