ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings. 1st ed. 1990
- 種類:
- 電子ブック
- 責任表示:
- edited by Neil Jones
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 432
- ISBN:
- 9783540470458 [354047045X]
- 注記:
- Types in lambda calculi and programming languages -- Symbolic finite differencing - Part I -- Implementation of an interpreter for a parallel language in centaur -- Automatic autoprojection of higher order recursive equations -- From interpreting to compiling binding times -- Implementing finite-domain constraint logic programming on top of a PROLOG-system with delay-mechanism -- Type inference for action semantics -- On the expressive power of programming languages -- Higher order escape analysis: Optimizing stack allocation in functional program implementations -- Development of concurrent systems by incremental transformation -- Set domains -- Resolution and Type Theory -- A syntactic theory of transparent parameterization -- A backwards analysis for compile-time garbage collection -- Techniques for improving grammar Flow Analysis -- The specificity rule for lazy pattern-matching in ambiguous term rewrite systems -- Graph-based implementation of a functional logic language -- Eureka definitions for free! o
This volume presents the proceedings of a conference on programming and programming languages. It contains original research contributions addressing fundamental issues and important developments in the design, specification and implementation of programming languages and systems. Topics include: - Program development: specification, methodology, tools, environments; - Programming language concepts: types, data abstraction, parallelism, real-time; - Language implementation techniques: compilers, interpreters, abstract machine design, optimization; - Programs as data objects: abstract interpretation, program transformation, partial evaluation; - Programming styles: imperative, functional, predicative, object-oriented. - ローカル注記:
- 岐阜大学構成員専用E-BOOKS (Gifu University members only)
類似資料:
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
3
電子ブック
ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. 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 |
12
電子ブック
Programs as Data Objects : Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985
Springer Berlin Heidelberg : Imprint: Springer |