Difference-list transformation for Prolog

DOI10.1007/BF03037156zbMath0774.68027OpenAlexW2032672695WikidataQ57665087 ScholiaQ57665087MaRDI QIDQ685124

Kim Marriott, Harald Søndergaard

Publication date: 30 September 1993

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037156

zbMATH Keywords

program analysislogic programsprogram optimization

Mathematics Subject Classification ID

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

Related Items (1)

VeriFly: On-the-fly Assertion Checking via Incrementality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Difference-list transformation for Prolog