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

• Tipo: Artigo em Revista Científica Internacional
• Data: 2023

Autores

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

Revista

Título: Journal of Logical and Algebraic Methods in Programming

Vol. 130

ISSN: 2352-2208

Editora: Elsevier

Indexação

ISI Web of Knowledge - 0 Citações

Scopus - 0 Citações

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 14