The SRDL Specification Experiment

In [1] a constructive software specification technique based on structural recursion is proposed. Here we describe a specification language SRDL which was developed according to these ideas and its implementation. SRDL was implemented by H. Petzsch with occasional assistance of U. Goltz.