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.
-------