bGSL: An imperative language for specification and refinement of backtracking programs

• Type: Article in International Scientific Journal
• Date: 2023

Authors

Dunne, S (Author) Other; Ferreira, JF (Author) Other; Mendes, A (Author) FEUP; Ritchie, C (Author) Other; Stoddart, B (Author) Other; Zeyda, F (Author) Other

Journal

Title: Journal of Logical and Algebraic Methods in Programming

Vol. 130

ISSN: 2352-2208

Publisher: Elsevier

Indexing

ISI Web of Knowledge - 0 Citations

Scopus - 0 Citations

Other information

Authenticus ID: P-00X-8V3

DOI: 10.1016/j.jlamp.2022.100811

Abstract (EN): We present an imperative refinement language for the development of backtracking programs and discuss its semantic foundations. For expressivity, our language includes prospective values and preference - the latter being a variant of Nelson's biased choice that backtracks from infeasibility of a continuation. Our key contribution is to examine feasibility-preserving refinement as a basis for developing backtracking programs, and several key refinement laws that enable compositional refinement in the presence of non -monotonic program combinators.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 14