Synthesis of functions by transformations and constraints...

ACM SIGPLAN Notices 1997 / 08 Vol. 32; Iss. 8

Synthesis of functions by transformations and constraints (poster)

Pareja-Flores, Cristóbal, Velázquez-Iturbide, J. Ángel
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
32
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/258949.258986
Date:
August, 1997
File:
PDF, 116 KB
english, 1997
Conversion to is in progress
Conversion to is failed