

Period of time: 2007年3期
Publisher: Springer Publishing Company
Founded in: 1988
Total resources: 33
ISSN: 1388-3690
Subject: TP Automation Technology , Computer Technology
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 10,issue 3
Menu

The Theory of Fexprs is Trivial
LISP and Symbolic Computation,volume 10,issue 3 , Vol. 10, Iss. 3, 1998-05 , pp.
Visualizing Evaluation in Scheme
LISP and Symbolic Computation,volume 10,issue 3 , Vol. 10, Iss. 3, 1998-05 , pp.

Trace-Based Abstract Interpretation of Operational Semantics
LISP and Symbolic Computation,volume 10,issue 3 , Vol. 10, Iss. 3, 1998-05 , pp.