A Separate Compilation Extension to Standard ML (Revised and Expanded)

Abstract

We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on one another in a way specified by the programmer. A dependency may be mediated by an interface (the type of a unit); if so, the units can be compiled separately. Otherwise, they must be compiled in sequence. We also propose a methodology for programming in SMLSC that reflects code development practice and avoids syntactic repetition of interfaces. The language is given a formal semantics, and we argue that this semantics is implementable in a variety of compilers.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 17, 2006
Accession Number
ADA457137

Entities

People

  • David Swasey
  • Karl Crary
  • Robert Harper
  • Vii Murphy Tom

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Concrete
  • Environment
  • Judgment
  • Language
  • Notation
  • Object Code
  • Semantics
  • Side Effects
  • Specifications
  • Standards
  • Target Signatures

Fields of Study

  • Computer science

Readers

  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.
  • Database Systems and Applications
  • Systems Analysis and Design