• Publications
  • Influence
Detecting Prolog programming techniques using abstract interpretation
TLDR
We develop a language for describing classes of Prolog programming techniques that manipulate data-structures. Expand
  • 7
  • 1
Approaches to deductive object-oriented databases
TLDR
The paper is concerned with the problem of combining deductive and object- oriented features to produce a deductive object-oriented database system which is comparable to those currently available under the relational view of data modelling not only in its functionality but also in the techniques employed in its construction and use. Expand
  • 18
Practical Steps toward Due Diligence
  • 3
Innovative concepts for aerodynamic control of wind turbine rotors
New systems for the aerodynamic control of wind turbine rotors are being studied in various projects funded by the UK Department of Energy. Results from a current project, ongoing at the NationalExpand
  • 4
  • PDF