Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
This paper deals with two aspects of transformational programming, viz. the formal derivation of logic programs from non-operational specifications and the construction of algorithms to solve problems formally specified by "inverse properties". Both aspects are illustrated by sarnple derivations of standard algorithms for recognition and parsing of context-free grammars.