Author: Hamfelt A.
Publisher: Springer Publishing Company
ISSN: 0928-8910
Source: Automated Software Engineering, Vol.8, Iss.2, 2001-04, pp. : 167-193
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Combining Program and Data Specialization
By Chirokoff S.
LISP and Symbolic Computation, Vol. 12, Iss. 4, 1999-12 ,pp. :
Program Synthesis from Formal Requirements Specifications Using APTS
By Leonard E.I.
LISP and Symbolic Computation, Vol. 16, Iss. 1-2, 2003-03 ,pp. :