From Abstract Data Types to Logic Programs: A Transformational Approach.
VenueBICLP
Year1991
ProceedingsICLP Workshop on Construction of Logic Programs
DBLP recordconf/iclp/Habra91 ↗
Browse the full ICLP paper archive.
Browse the full ICLP paper archive.