A Module System for a Programming Language Based on the LF Logical Framework

Abstract

We describe a module system for Elf, a logic programming language based on the LF logical framework. The static part of module calculus addresses name-space management and structured presentation of deductive systems. The dynamic part addresses search-space management and modularization of logic programs.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1992
Accession Number
ADA256731

Entities

People

  • Frank Pfenning
  • Robert Harper

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Calculus
  • Computations
  • Computer Programming
  • Computer Science
  • Concrete
  • Construction
  • Conversion
  • Encapsulation
  • Grammars
  • Inclusions
  • Judgment
  • Language
  • Notation
  • Programming Languages
  • Target Signatures

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Database Systems and Applications

Technology Areas

  • Space