LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 403-405 of 486

    • Characterizing Second Order Logic with First Order Quantifiers 

      Harel, David (1978-02)
      A language Q is defined and given semantics, the formulae of which are quantifier-free first-order matrices prefixed by combinations of finite partially ordered first-order quantifiers. It is shown that Q is equivalent in ...

    • A Dynamic Debugging System for MDL 

      Berez, Joel M. (1978-01)
      Program debugging is a time consuming process. Conventional debugging techniques and aids typically give the user a narrow view of the program's operation, making debigging difficult. A debugging system that would present ...

    • A Logic Design for the Cell Block of a Data-flow Processor 

      Amikura, Katsuhiko (1977-12)
      Recently studies on parallel computation architecture have yielded a new type of computer architecture known as the data-flow processor. As part of the effort in realizing the data-flow processor, a logic design for the ...