Specification of Logic Programming Languages from Reusable Semantic Building Blocks

José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río. Specification of Logic Programming Languages from Reusable Semantic Building Blocks. Electronic Notes in Theoretical Computer Science, 64:220-233, 2002. [doi]

Abstract

Abstract is missing.