Regular Expression Analysis of Procedures and Exceptions,

Abstract

This paper describes an algorithm used to find properties of computer programs by using algebraic methods. It is capable of handling subroutines and exception exits. A program scheme has been produced to implement it which is particularly aimed at finding properties of microcode programs. This scheme can be systematically instantiated to deal with particular properties. Great care has been taken with the efficiency of the algorithm; it works in practice, even for very complex microcode, in time proportional to the number of microcode instructions. Both the mathematical basis of the algorithm and the algorithm itself are explained. (Great Britain).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1985
Accession Number
ADA163817

Entities

People

  • J. M. Foster

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Computations
  • Computer Programming
  • Computers
  • Construction
  • Decoding
  • Identities
  • Instructions
  • Language
  • Microcode
  • Notation
  • Programming Languages
  • Sequences
  • Short Circuits
  • Symbols
  • Terminals

Fields of Study

  • Computer science

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Computer Programming and Software Development.
  • Computer Science.