Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions

Now showing items 268-270 of 3794

    • Family Values: A Beahvior Notion of Subtyping 

      Liskov, Barbara; Wing, Jeannette M. (1993-08)

    • A History of CLU 

      Liskov, Barbara H. (1993-09)
      The idea of a data abstraction has had a significant impact on the development of programming languages and on programming methodology. CLU was the first implemented programming language to provide direct linguistic support ...

    • A Process Algebraic View of I/O Automata 

      Segala, Roberto (1992-06)
      The Input/Output Automata formalism of Lynch and Tuttle is a widely used framework for the specification and verification of concurrent algorithms. Unfortunately, it has never been provided with an algebraic characterization, ...