197
click to vote
FP
16 years 2 days ago
1989 
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
188
Voted
FORTE
15 years 9 months ago
1989 
ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...
|
Formal Methods