Advertisement

Refinements of a Process

  • Albert Fleischmann

Abstract

This chapter describes how specification and programming techniques for sequential programs are incorporated into PASS.

Keywords

Local Variable Object Class Process Type Sequential Program Internal Operation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Albert Fleischmann
    • 1
  1. 1.PfaffenhofenGermany

Personalised recommendations