Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings. 1st ed. 1996
- 種類:
- 電子ブック
- 責任表示:
- edited by Herbert Kuchen, S.Doaitse Swierstra
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 1140
- ISBN:
- 9783540706540 [3540706542]
- 注記:
- Calculate polytypically! -- Limits of ML-definability -- Functorial ML -- Parametric polymorphism for typed Prolog and ?Prolog -- GOTA algebras: A specification formalism for inheritance and object hierarchies -- Towards independent and-parallelism in CLP -- Annotated structure shape graphs for abstract analysis of Prolog -- A reactive implementation of Pos using ROBDDs -- Dynamic Attribute Grammars -- Logic program specialisation: How to be more specific -- Controlling conjunctive partial deduction -- Unfold/Fold transformations of concurrent processes -- Semantics-based compiling: A case study in type-directed partial evaluation -- Implementing memoization for partial evaluation -- Higher order deforestation -- Scheduling expression DAGs for minimal register need -- Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies -- Program Sharing: A new implementation approach for Prolog -- Systematic extraction and implementation of divide-and-conquer parallelism -- Functiona
This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP '96, held in conjunction with ALP and SAS in Aachen, Germany, in September 1996. The 30 revised full papers presented in the volume were selected from a total of 97 submissions; also included are one invited contribution by Lambert Meerlens and five posters and demonstrations. The papers are organized in topical sections on typing and structuring systems, program analysis, program transformation, implementation issues, concurrent and parallel programming, tools and programming environments, lambda-calculus and rewriting, constraints, and deductive database languages. - ローカル注記:
- 岐阜大学構成員専用E-BOOKS (Gifu University members only)
類似資料:
|
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 |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
