Skip to main content ITU
Logo
  • Programmes
    • BSc Programmes
    • BSc in Global Business Informatics
    • BSc in Digital Design and Interactive Technologies
    • BSc in Software Development
    • BSc in Data Science
    • Applying for a BSc programme
    • MSc Programmes
    • MSc in Digital Innovation & Management
    • MSc in Digital Design and Interactive Technologies
    • MSc in Software Design
    • MSc in Computer Science
    • MSc in Data Science
    • MSc in Games
    • Applying for an MSc programme
    • Student Life
    • Women in tech
    • Student organisations at ITU
    • Labs for students
    • Practical Information for International Students
    • Ask a student
    • Study Start
    • Study and Career Guidance
    • Guest Students
    • Who can be a Guest Student
    • ITU Summer University
    • Exchange Student
    • Become an exchange student at ITU
    • Open House
    • Open House - MSc programmes
    • Open House - BSc programmes
  • Professional Education
    • Master in IT
    • Master in IT Management
    • Single Subjects
    • About single subjects
    • Contact
    • Contact us here
  • Research
    • Departments
    • Business IT Department
    • Computer Science Department
    • Digital Design Department
    • Research Groups and Labs
    • Research Groups
    • Labs
    • Research Centres
    • Centre for Digital Play
    • Center for Climate IT
    • Center for Computing Education Research
    • Centre for Digital Welfare
    • Centre for Information Security and Trust
    • European Blockchain Centre
    • Danish Institute for IT Program Management
    • ITU Research Portal
    • Find Researcher
    • Find Research
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Technical Reports
    • Technical Reports
    • PhD Programme
    • About the PhD Programme
    • PhD Courses
    • PhD Defences
    • PhD Positions
    • Types of Enrolment
    • PhD Handbook
    • PhD Support
  • Collaboration
    • Collaboration with students
    • Project collaboration
    • Project Market
    • Student worker
    • Project postings
    • Job and Project bank
    • Employer Branding
    • IT Match Making
    • Hiring an ITU student or graduate
    • Make a post in the job bank
    • Research collaboration
    • Licensing Opportunities
    • Open Entrepreneurship
    • Research collaboration
    • Industrial PhD
    • Hire an Industrial PhD
    • Innovation and entrepreneurship
    • ITU Business Development
    • ITU Startup
  • About ITU
    • About ITU
    • Press
    • Vacancies
    • Contact
  • DK
ITU
ITU  /  Research  /  Technical Reports  /  Technical Reports Archive  /  2002  /  A Region-Based Abstract Machine for the ML Kit
  • Research
    • Research Departments
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Research Groups and Centers
    • Labs
    • Technical Reports
      • Technical Reports Archive
        • 2023
        • 2021
        • 2018
        • 2017
        • 2016
        • 2015
        • 2014
        • 2013
        • 2012
        • 2011
        • 2010
        • 2009
        • 2008
        • 2007
        • 2006
        • 2005
        • 2004
        • 2003
        • 2002
          • Uni - Et eksempel på anvendelse af teknikker til Struktureret Analyse og Design
          • On the Formal Semantics of VisualSTATE Statecharts
          • A Region-Based Abstract Machine for the ML Kit
            • IT-støtte til produktionsgrupper. Et debatoplæg
            • A Calculus of Mobile Resources
            • Simplifying Fixpoint Computations in Verification of Real-Time Systems
            • An Implementation of the MR Calculus
            • Efficient Entropy Coding Algorithms for Image Compression
            • DDDLIB: A Library For Solving Quantified Difference Inequalities
            • Efficient Verification Of Timed Systems Using Backward Reachability Analysis
          • 2001
          • 2000
      • PhD Programme

    A Region-Based Abstract Machine for the ML Kit

    TR-2002-18, Authors: Martin Elsman and Niels Hallenberg



    Martin Elsman
    Niels Hallenberg

    August 2002


    Abstract

    This document describes the implementation of a bytecode backend for the ML Kit, a Standard ML compiler based on region inference. The purpose of the bytecode backend is to enable the ML Kit to produce portable and compact code that can be executed in environments where control of memory usage is a concern. The document includes (1) a presentation of the target of the new backend, namely a region-based abstract machine called the Kit Abstract Machine (KAM), (2) a description of the intermediate language RegExp used in the ML Kit, (3) a presentation of yet an intermediate language LiftExp, in which all functions are lifted to top level, (4) a translation from the language RegExp to the language LiftExp, and finally, (5) a translation from the intermediate language LiftExp into KAM instructions. The focus of this document is not on providing a formal definition of the KAM or of the translation into KAM instructions. Instead, this report is meant to document - sometimes informally - the implementation and the design of the many features of the KAM.



    Technical report TR-2002-18 in IT University Technical Report Series, August 2002.

    Available as PDF.

    Contact us

    Phone
    +45 7218 5000
    E-mail
    itu@itu.dk

    All contact information

    Web Accessibility Statement

    Find us

    IT University of Copenhagen
    Rued Langgaards Vej 7
    DK-2300 Copenhagen S
    Denmark
    How to get here

    Follow us

    ITU Student /
    Privacy /
    EAN-nr. 5798000417878/
    CVR-nr. 29 05 77 53 /
    P-nummer 1005162959

    This page is printed from https://www.itu.dk/nyheder