Research Catalog

Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985

Title: Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 / edited by H. Ganzinger and N.D. Jones.
Publication: Berlin ; New York : Springer-Verlag, c1986.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Book/Text	Use in library	QA76.751 .P76 1986	Off-site

Details

Additional Authors

Description

x, 324 p. : ill.; 25 cm.

Series Statement

Lecture notes in computer science. 217

Uniform Title

Lecture notes in computer science ; 217.

Subject

Genre/Form

Conference papers and proceedings.

Bibliography (note)

Includes bibliographies.

Contents

Strictness analysis and polymorphic invariance -- Convergent term rewriting systems can be used for program transformation -- The theory of strictness analysis for higher order functions -- Recognition of generative languages -- Modular first-order specifications of operational semantics -- Logic specification of code generation techniques -- Strictness detection in non-flat domains -- Strictness computation using special ?-expressions -- A relational framework for abstract interpretation -- Expected forms of data flow analyses -- Code generation from two-level denotational meta-languages -- Multilevel functions in Martin-Löf's type theory -- An implementation from a direct semantics definition -- The structure of a self-applicable partial evaluator -- Program transformation by supercompilation -- Listlessness is better than laziness II: Composing listless functions -- From interpreter to compiler: A representational derivation.

ISBN

3540164464
9783540164463
0387164464 (U.S.) (canceled/invalid)

LCCN

86003925

OCLC

on1196223153
1196223153
SCSB-635930

Owning Institutions

Princeton University Library