Now showing items 1-20 of 684

  • 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 ...
  • 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, ...
  • 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 ...
  • 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 ...
  • Persistent hyper-programs 

    Kirby, Graham Njal Cameron; Connor, RCH; Cutts, QI; Dearle, Alan; Farkas, AM; Morrison, Ronald (Springer-Verlag, 1992) - Conference item
    The traditional representation of a program as a linear sequence of text forces a particular style of program construction to ensure good programming practice. Tools such as syntax directed editors, compilers, linkers and ...