Computer Science: Recent submissions

Now showing items 126-130 of 297

    • A parallel functional language compiler for message-passing multicomputers 

      Junaidu, Sahalu B. (University of St Andrews, 1998) - Thesis
      The research presented in this thesis is about the design and implementation of Naira, a parallel, parallelising compiler for a rich, purely functional programming language. The source language of the compiler is a subset ...

    • Computational techniques applied to group presentations 

      Rutherford, Kevin (University of St Andrews, 1989) - Thesis
      Designs for a collection of re-usable software modules are developed. The modules are implemented in C and expressed in a tool-kit for the Unix operating system. Each tool is an expert in some aspect of the manipulation ...

    • Proof-theoretic investigations into integrated logical and functional programming 

      Pinto, Luis Filipe Ribeiro (University of St Andrews, 1997) - Thesis
      This thesis is a proof-theoretic investigation of logic programming based on hereditary Harrop logic (as in lambdaProlog). After studying various proof systems for the first-order hereditary Harrop logic, we define the ...

    • Parallel functional programming for message-passing multiprocessors 

      Ostheimer, Gerald (University of St Andrews, 1993) - Thesis
      We propose a framework for the evaluation of implicitly parallel functional programs on message passing multiprocessors with special emphasis on the issue of load bounding. The model is based on a new encoding of the ...

    • The application of message passing to concurrent programming 

      Harland, David M. (University of St Andrews, 1981) - Thesis
      The development of concurrency in computer systems will be critically reviewed and an alternative strategy proposed. This is a programming language designed along semantic principles, and it is based upon the treatment of ...