Twelf User's Guide Version 1.2.,

Abstract

This user's guide describes the current version of a succession of implementations of the logical framework LF. It documents the syntax, term reconstruction, and operational semantics already available in an earlier implementation called Elf. The new features described here include a mode checker, a termination checker, an experimental theorem prover for verifying properties of Elf programs, and an Emacs interface.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 13, 1998
Accession Number
ADA358534

Entities

People

  • Carsten Schuermann
  • Frank Pfenning

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Calculus
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Directories
  • Environment
  • Equations
  • Guarantees
  • Language
  • New Jersey
  • Operating Systems
  • Personality
  • Printing
  • Semantics
  • Standards

Readers

  • Computational Linguistics
  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.