SUBTLE Manual.

Abstract

SUBTLE is a language for describing the design of digital circuits. The language enables one to specify complete or partial information about a device's structure (its parts and their interconnections), its behavior, and its teleology (arguments showing how the structure gives rise to the behavior). The syntax of SUBTLE is a prefix version of the language of predicate calculus and is identical to that used by MRS (Genesereth, Greiner, Smith). The reader unfamiliar with MRS is encouraged to browse through the brief description in appendix 1 before starting on the manual. An interactive graphics interface coordinated with SUBTLE is currently under development (Lark) and should be available in the Spring of 1982.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1981
Accession Number
ADA123255

Entities

People

  • Jay Lark
  • Michael R. Genesereth
  • Milton Grinberg

Organizations

  • Stanford University

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Circuits
  • Compilers
  • Computer Programming
  • Computer Science
  • Computers
  • Digital Circuits
  • Eye
  • Graphics
  • Instructions
  • Interactive Graphics
  • Language
  • Programming Languages
  • Side Effects
  • Specifications
  • Vocabulary
  • Wiring Diagrams
  • Xor Gates

Readers

  • Computational Linguistics
  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.
  • Military History of the United States in the 20th Century.