Synthesis of Implementations for Divide-and-Conquer Specifications

Maksym Bortin

Synthesis of Implementations for Divide-and-Conquer Specifications

Maksym Bortin Tallinn University of Technology

Abstract

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.

Keywords: Implementation, Synthesis, Design tactics

Springer

Published

2022-12-06

How to Cite

Select a Format

ABNT
ACM
APA
BibTeX
CBE
EndNote - EndNote format (Macintosh & Windows)
IEEE
MLA
ProCite - RIS format (Macintosh & Windows)
RefWorks
Reference Manager - RIS format (Windows only)
Turabian

BORTIN, Maksym. Synthesis of Implementations for Divide-and-Conquer Specifications. In: BRAZILIAN SYMPOSIUM ON FORMAL METHODS (SBMF), 25. , 2022, Evento Online. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2022 . p. 73-88.