Now showing items 1-2 of 2

    • The Design Procedure Language Manual 

      Batali, John; Hartheimer, Anne (1980-09-01)
      This manual describes the Design Procedure Language (DPL) for LSI design. DPL creates and maintains a representation of a design in a hierarchically organized, object-oriented LISP data-base. Designing in DPL involves ...
    • Towards a Better Definition of Transactions 

      Kerns, Barbara S. (1980-12-01)
      This paper builds on a technical report written by Carl Hewitt and Henry Baker called "Actors and Continuous Functionals". What is called a "goal-oriented activity" in that paper will be referred to in this paper as a ...