Lambda-dropping : transforming recursive equations into programs with block structure: Partial Evaluation and Semantics-Based Program Manipulation

Saved in:
Bibliographic Details
Published in:Theoretical computer science 2000, Vol.248 (1-2), p.243-287
Main Authors: DANVY, Olivier, SCHULTZ, Ulrik P
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Language theory and syntactical analysis
Programming languages
Programming theory
Software
Theoretical computing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0304-3975