Synthesis of Implementations for Divide-and-Conquer Specifications

• Maksym Bortin Tallinn University of Technology

Resumo

The paper presents a systematic approach to the derivation of implementations from abstract specifications featuring a few structural properties. The method is applied in a case study concerning weighted finite matroids and the algorithmic construction of their optimal bases.

Palavras-chave: Implementation, Synthesis, Design tactics