Computer Science: Recent submissions

Now showing items 121-125 of 297

    • A testbed for embedded systems 

      Burgess, Peter (University of St Andrews, 1994) - Thesis
      Testing and Debugging are often the most difficult phase of software development. This is especially true of embedded systems which are usually concurrent, have real-time performance and correctness constraints and which ...

    • A parallel implementation of SASL 

      Corovessis, Jiannis (University of St Andrews, 1983) - Thesis
      The applicative or functional language SASL is investigated from the point of view of an implementation. The aim is to determine and experiment with a run-time environment (SASL parallel machine) which incorporates parallelism ...

    • FORUM and its implementation 

      Urban, Christian (University of St Andrews, 1997) - Thesis
      Miller presented Forum as a specification logic: Forum extends several existing logic programming languages, for example Prolog, LO and Lolli. The crucial change in Forum is the extension from single succedent sequents, ...

    • Models for persistence in lazy functional programming systems 

      McNally, David J. (University of St Andrews, 1993) - Thesis
      Research into providing support for long term data in lazy functional programming systems is presented in this thesis. The motivation for this work has been to reap the benefits of integrating lazy functional programming ...

    • Effective termination techniques 

      Cropper, Nick I. (University of St Andrews, 1997) - Thesis
      An important property of term rewriting systems is termination: the guarantee that every rewrite sequence is finite. This thesis is concerned with orderings used for proving termination, in particular the Knuth-Bendix and ...