A Region Inference Algorithm

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  • Mads Tofte, Department of Computer Science, University of Copenhagen, Denmark
  • Lars Birkedal
Original languageEnglish
JournalA C M Transactions on Programming Languages and Systems
Volume20
Issue4
Pages (from-to)724-767
Number of pages44
ISSN0164-0925
Publication statusPublished - 1 Jul 1998
Externally publishedYes

    Research areas

  • Algorithms, D.3.3 [Programming Languages]: Language Constructs and Features - Dynamic storage management, F.3.3 [Logics and Meanings of Programs]: Studies of Program Constructs - Functional constructs, Regions, Reliability, Theory, Type structure

See relations at Aarhus University Citationformats

ID: 78999426