LISP and Symbolic Computation,volume 12,issue 4  (12-2007)

Period of time： 2007年4期

Publisher： Springer Publishing Company

Founded in： 1988

Total resources： 33

ISSN： 1388-3690

Subject： TP Automation Technology , Computer Technology

Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

LISP and Symbolic Computation,volume 12,issue 4

Menu

Editorial

By Danvy O. in (1999)

LISP and Symbolic Computation,volume 12,issue 4 , Vol. 12, Iss. 4, 1999-12 , pp. 307-308

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Combining Program and Data Specialization

By Chirokoff S. in (1999)

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

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Certifying Compilation and Run-Time Code Generation

By Hornof L. in (1999)

LISP and Symbolic Computation,volume 12,issue 4 , Vol. 12, Iss. 4, 1999-12 , pp. 337-375

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Partial Evaluation of Computation Process, Revisited

By Futamura Y. in (1999)

LISP and Symbolic Computation,volume 12,issue 4 , Vol. 12, Iss. 4, 1999-12 , pp. 377-380

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Partial Evaluation of Computation Process—An Approach to a Compiler-Compiler

By Futamura Y. in (1999)

LISP and Symbolic Computation,volume 12,issue 4 , Vol. 12, Iss. 4, 1999-12 , pp. 381-391

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 5 item(s)