عنوان

Programs as Data Objects :

3540164464

3540397868

9783540164463

9783540397861

b565991

Programs as Data Objects :

[Book]

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

by Harald Ganzinger, Neil D. Jones.

Berlin, Heidelberg

Springer Berlin Heidelberg

1986

: v.: digital

Lecture notes in computer science, 217.

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

[Book]

Y