عنوان

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