Functional Differentiation of Computer Programs

ISSN： 1388-3690

Source： LISP and Symbolic Computation, Vol.14, Iss.1, 2001-03, pp. : 35-57

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

Computer programs protection in Africa

By Kongolo Tshimanga

International Journal of Technology Transfer and Commercialisation, Vol. 2, Iss. 2, 2003-07 ,pp. : 139-149

Inderscience Publishers

Access to resources Recommend Favorite

LONG-RANGE CORRELATIONS IN COMPUTER PROGRAMS

By Kokol Peter Brest Janez Zumer Viljem

Cybernetics and Systems, Vol. 28, Iss. 1, 1997-01 ,pp. : 43-58

Taylor & Francis Ltd

Access to resources Recommend Favorite

Monadic logic programs and functional complexity

By Matos A.B.

Theoretical Computer Science, Vol. 176, Iss. 1, 1997-04 ,pp. : 175-204

Elsevier

Access to resources Recommend Favorite

Parallelizing Imperative Functional Programs: the Vectorization Monad

By Hill J.M.D. Clarke K.M. Bornat R.

Journal of Symbolic Computation, Vol. 21, Iss. 4, 1996-04 ,pp. : 561-576

Academic Press

Access to resources Recommend Favorite

Synthesis of parallel recursive programs in structural functional models

By Novoseltsev V.

Programming and Computer Software, Vol. 33, Iss. 5, 2007-09 ,pp. : 293-298

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite