LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 304-306 of 486

    • A Note on Equivalences Among Logics of Programs 

      Meyer, Albert R.; Tiuryn, Jersey (1981-12)
      Several different first order formal logics of programs -- Algoritmic Logic, Dynamic Logic, and Logic of Effective Definitions -- are compared and shown to be equivalent to a fragment of constructive L ω1ω. When programs ...

    • Software for the "Roles" People Play 

      Greif, Irene (1983-02)
      Office work consists largely of cooperative efforts by numbers of people. To support such work, applications programs can be designed as "multi-person" systems organized around notions of "roles" and "working relationships." ...

    • Computational Complexity and the Traveling Salesman Problem 

      Johnson, David; Papadimitriou, Christos (1981-12)