Now showing items 1-20 of 124

    • Some problems in the theory and application of the methods of numerical taxonomy 

      Wishart, David (University of St Andrews, 1970) - Thesis
      Several of the methods of numerical taxonomy are compared and shown to be variants of a tripartite grouping procedure associated with a generalised intercluster similarity function involving ten computational parameters. ...
    • Translation of APL to other high-level languages 

      Jacobs, Margaret M. (University of St Andrews, 1975) - Thesis
      The thesis describes a method of translating the computer language APL to other high-level languages. Particular reference is made to FORTRAN, a language widely available to computer users. Although gaining in popularity, ...
    • An extensible system for the automatic transmission of a class of programming languages 

      Perwaiz, Najam (University of St Andrews, 1975) - Thesis
      This thesis deals with the topic of programming linguistics. A survey of the current techniques in the fields of syntax analysis and semantic synthesis is given. An extensible automatic translator has been described which ...
    • An experiment in high-level microprogramming 

      Sommerville, John F. (University of St Andrews, 1977) - Thesis
      This thesis describes an experiment in developing a true high-level microprogramming language for the Burroughs B1700 series of computers. Available languages for machine description both at a behavioural level and at a ...
    • The effective application of syntactic macros to language extensibility 

      Campbell, William R. (University of St Andrews, 1978) - Thesis
      Starting from B M Leavenworth's proposal for syntactic macros, we describe an extension language LE with which one may extend a base Language LB for defining a new programming language LP. The syntactic macro processor is ...
    • On the development of Algol 

      Morrison, Ronald (University of St Andrews, 1979) - Thesis
      The thesis outlines the major problems in the design of high level programming languages. The complexity of these languages has caused the user problems in intellectual manageability. Part of this complexity is caused by ...
    • 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 ...
    • 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 ...
    • Abstract machine design for increasingly more powerful ALGOL-languages 

      Gunn, Hamish Iain Elston (University of St Andrews, 1985) - Thesis
      This thesis presents the work and results of an investigation into language implementation. Some work on language design has also been undertaken. Three languages have been implemented which may be described as members of ...
    • Bicontexts and structural induction 

      Livesey, Mike (University of St Andrews, 1987) - Thesis
      This thesis introduces and explores the notion of bicontext, an order-enriched category equipped with a unary endofunctor of order two called reverse. The purpose is threefold. First, the important categories that arise ...
    • On the construction of persistent programming environments 

      Dearle, Alan (University of St Andrews, 1988) - Thesis
      This thesis presents research into the construction of persistent programming systems. Much of the thesis is concerned with the design and implementation of persistent programming languages, in particular PS-algol and ...
    • The imperative implementation of algebraic data types 

      Thomas, Muffy (University of St Andrews, 1988) - Thesis
      The synthesis of imperative programs for hierarchical, algebraically specified abstract data types is investigated. Two aspects of the synthesis are considered: the choice of data structures for efficient implementation, ...
    • Persistent object stores 

      Brown, A L (University of St Andrews, 1989) - Thesis
      The design and development of a type secure persistent object store is presented as part of an architecture to support experiments in concurrency, transactions and distribution. The persistence abstraction hides the physical ...
    • 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 ...
    • Murray polygons as a tool in image processing 

      Pharasi, Bhuwan (University of St Andrews, 1990-07) - Thesis
      This thesis reports on some applications of murray polygons, which are a generalization of space filling curves and of Peano polygons in particular, to process digital image data. Murray techniques have been used on ...
    • Types and polymorphism in persistent programming systems 

      Connor, R. C. H. (University of St Andrews, 1991) - Thesis
    • Adaptive pattern recognition in a real-world environment 

      Bairaktaris, Dmitrios (University of St Andrews, 1991) - Thesis
      This thesis introduces and explores the notion of a real-world environment with respect to adaptive pattern recognition and neural network systems. It then examines the individual properties of a real-world environment ...
    • Reflection and hyper-programming in persistent programming systems 

      Kirby, Graham N. C. (University of St Andrews, 1992) - Thesis
      In an orthogonally persistent programming system, data is treated in a manner independent of its persistence. This gives simpler semantics, allows the programmer to ignore details of long-term data storage and enables ...
    • The theory and implementation of a secure system 

      Robb, David S. S. (University of St Andrews, 1992) - Thesis
      Computer viruses pose a very real threat to this technological age. As our dependence on computers increases so does the incidence of computer virus infection. Like their biological counterparts, complete eradication is ...
    • Delivering the benefits of persistence to system construction and execution 

      Cutts, Q. I. (University of St Andrews, 1993) - Thesis
      In an orthogonally persistent programming system the longevity of data is independent of its other attributes. The advantages of persistence may be seen primarily in the areas of data modelling and protection resulting ...