An Algebraic Specification of a Transformation Tool for Prolog Programs

Authors
Publication date 1997
Host editors
  • M.P.A. Sellink
Book title Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97)
Publisher Springer-Verlag
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back