Towards a Normal Form for Mercury Programs

DOI10.1007/978-3-540-78769-3_4zbMath1179.68035OpenAlexW1582227918MaRDI QIDQ5504592

François Degrave, Wim Vanhoof

Publication date: 22 January 2009

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78769-3_4

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Automatic Generation of Test Inputs for Mercury

Uses Software

• Mercury
• YAP3
• Winnowing

Cites Work

• A polymorphic type system for Prolog
• Shared Information and Program Plagiarism Detection
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• Searching Semantically Equivalent Code Fragments in Logic Programs

This page was built for publication: Towards a Normal Form for Mercury Programs