Logic Program Synthesis as Problem Reduction Using Combining Forms

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.

Previous Menu Next

Abstract

Related content

Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis

By Ireland Andrew Stark Jamie

Automated Software Engineering, Vol. 13, Iss. 1, 2006-01 ,pp. : 65-105

Springer Publishing Company

Access to resources Recommend Favorite

High-performance Multiplexer-based Logic Synthesis Using Pass-transistor Logic

By Hsiao Shen-Fu Yeh Jia-Siang Chen Da-Yen

VLSI Design, Vol. 15, Iss. 1, 2002-01 ,pp. : 417-426

Taylor & Francis Ltd

Access to resources Recommend Favorite

Evolutionary Synthesis of Logic Circuits Using Information Theory

By Aguirre Arturo Hernández

Artificial Intelligence Review, Vol. 20, Iss. 3-4, 2003-12 ,pp. : 445-471

Springer Publishing Company

Access to resources Recommend Favorite

Combining Program and Data Specialization

By Chirokoff S.

LISP and Symbolic Computation, Vol. 12, Iss. 4, 1999-12 ,pp. : 309-335

Springer Publishing Company

Access to resources Recommend Favorite

Program Synthesis from Formal Requirements Specifications Using APTS

By Leonard E.I.

LISP and Symbolic Computation, Vol. 16, Iss. 1-2, 2003-03 ,pp. : 63-92

Springer Publishing Company

Access to resources Recommend Favorite