Browsing LCS Technical Reports (1974 - 2003) by Author "Ellis, David J."

Now showing items 1-2 of 2

    • Formal Specifications for Packet Communication Systems 

      Ellis, David J. (1977-11)
      One of the most difficult tasks facing computer scientists is that of designing systems and making sure that they perform their intended functions correctly. As computer systems have grown in size and complexity, the ...

    • Semantics of Data Structures and References 

      Ellis, David J. (1974-08)
      Each programming language that handles data structures has its own set of rules for working with them. Notions such as assignment and construction of structures values appear in a huge number of different and complicated ...