The relationship between logic programs and specifications-the subset example revisited

DOI10.1016/S0743-1066(96)00128-8zbMath0884.68031OpenAlexW2002720278MaRDI QIDQ4365066

Kung-Kiu Lau, Mario Ornaghi

Publication date: 17 March 1998

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(96)00128-8

zbMATH Keywords

logic programsspecifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (3)

Calculating modules in contextual logic program refinement ⋮ An abstract formalization of correct schemas for program synthesis ⋮ LUPS -- A language for updating logic programs

This page was built for publication: The relationship between logic programs and specifications-the subset example revisited