Capturing Strong Reduction in Director String Calculus

Abstract

A modified version of Director String Calculus (MDSC) is introduced which preserves the applicative structure of the original lambda terms and captures the strong reduction as opposed to weak reduction of the original Director String Calculus (DSC). Furthermore, MDSC provides an environment which supports the nonatomic nature of the substitution operation and hence can lend itself to parallel and optimal reduction.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 05, 1990
Accession Number
ADA226738

Entities

People

  • Kazem Taghva
  • Vugranam Sreedhar

Organizations

  • University of Nevada, Las Vegas

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Calculus
  • Classification
  • Computer Science
  • Conversion
  • Environment
  • Language
  • Mathematics
  • Military Research
  • Monitoring
  • Notation
  • Security
  • Standards
  • Test And Evaluation
  • Translations

Readers

  • Computational Linguistics
  • Distributed Systems and Data Platform Development
  • Mathematical Modeling and Probability Theory.