A program transformation from equational programs into logic programs

Authors:
Atsushi Togashi;Shoichi Noguchi
Affiliations:
Tohoku Univ., Sendai, Japan;Tohoku Univ., Sendai, Japan
Venue:
Journal of Logic Programming
Year:
1987

Citing 0
Cited 2

Algebraic specification of Macintosh's Quickdraw using OBJ2

ICSE '88 Proceedings of the 10th international conference on Software engineering
Rules and strategies for transforming functional and logic programs

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract