Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 (Lecture Notes in Computer Science, 217, Band 217) - Softcover

Ganzinger, Harald; Jones, Neil D.

 
9783540164463: Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 (Lecture Notes in Computer Science, 217, Band 217)
Softcover
ISBN 10: 3540164464 ISBN 13: 9783540164463
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540164464
ISBN 13 
9783540164463
Einband
Taschenbuch
Anzahl der Seiten
340
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387164465: Programs As Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, Oct 17-19, 1985 (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0387164464 ISBN 13:  9780387164465
Softcover