Differential logic programs: Programming methodologies and semantics

DOI10.1016/0167-6423(96)00013-5zbMath0859.68009OpenAlexW1998545946MaRDI QIDQ1126260

Giorgio Levi, Maurizio Gabbrielli, Michele Bugliesi, Maria Chiara Meo, Annalisa Bossi

Publication date: 8 December 1996

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(96)00013-5

zbMATH Keywords

information hidingreusabilitycode sharingdifferential logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

An abstract interpretation framework for optimizing dynamic modular logic languages ⋮ Transformations of CLP modules ⋮ A semantics for modular general logic programs

This page was built for publication: Differential logic programs: Programming methodologies and semantics