عنوان

Programs as Data Objects :

(Number (ISBN

3540164464

(Number (ISBN

3540397868

(Number (ISBN

9783540164463

(Number (ISBN

9783540397861

Number

b565991

Title Proper

Programs as Data Objects :

General Material Designation

[Book]

Other Title Information

Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985

First Statement of Responsibility

by Harald Ganzinger, Neil D. Jones.

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg

Date of Publication, Distribution, etc.

1986

Specific Material Designation and Extent of Item

: v.: digital

Series Title

Lecture notes in computer science, 217.

Text of Note

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-Lö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.

Computer science.

Logic design.

Software engineering.

by Harald Ganzinger, Neil D. Jones.

H Ganzinger

Neil D Jones

Electronic name

[Book]

Y