LISP and Symbolic Computation,volume 14,issue 1  (03-2007)

Period of time： 2007年1期

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 14,issue 1

Menu

Editorial

By Danvy O. in (2001)

LISP and Symbolic Computation,volume 14,issue 1 , Vol. 14, Iss. 1, 2001-03 , pp. 5-5

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A Generic Reification Technique for Object-Oriented Reflective Languages

By Douence R. in (2001)

LISP and Symbolic Computation,volume 14,issue 1 , Vol. 14, Iss. 1, 2001-03 , pp. 7-34

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Functional Differentiation of Computer Programs

By Karczmarczuk J. in (2001)

LISP and Symbolic Computation,volume 14,issue 1 , Vol. 14, Iss. 1, 2001-03 , pp. 35-57

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A Per Model of Secure Information Flow in Sequential Programs

By Sabelfeld A. in (2001)

LISP and Symbolic Computation,volume 14,issue 1 , Vol. 14, Iss. 1, 2001-03 , pp. 59-91

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 4 item(s)