olender@MALIBU.AI.SRI.COM (Margaret Olender) (09/09/87)
11:00am, WEDNESDAY, September 9, 1987 SRI International, Building E, Room EJ228 CONTROLLING THE BEHAVIOUR OF FUNCTIONAL LANGUAGE SYSTEMS USING TEMPORAL LOGIC Lyndon While Imperial College London Functional programming languages, although possessing many advantages, have certain limitations when they are applied to systems where control over the program's behaviour is required. We have developed a methodology that overcomes this limitation without destroying the pure declrative nature of these languages. Temporal logic is used to specify any behavioural aspect of the problem and this is then transformed together with the (pure) functional language program to produce a program that is guaranteed to satisfy the temporal requirements however it is implemented. We will describe the Tempoaral Logic specification language used together with the transformation rules. This methodology has been implemented as a completely automatic process and we will give some examples of its use. -------