> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Space consumption analysis by abstract interpretation: Reductivity properties Beteiligte: Montenegro, Manuel; Peña, Ricardo; Segura, Clara Erschienen: Elsevier BV, 2015 Erschienen in: Science of Computer Programming, 111 (2015), Seite 458-482 Sprache: Englisch DOI: 10.1016/j.scico.2014.04.014 ISSN: 0167-6423 Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang