Programs as Data Objects : Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985. 1st ed. 1986
- 種類:
- 電子ブック
- 責任表示:
- edited by Harald Ganzinger, Neil Jones
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 217
- ISBN:
- 9783540397861 [3540397868]
- 注記:
- 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.
- ローカル注記:
- 岐阜大学構成員専用E-BOOKS (Gifu University members only)
類似資料:
1
電子ブック
Programs as Data Objects : Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer |
2
電子ブック
ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |