Fortæl dine venner om denne vare:
Esop '90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings - Lecture Notes in Computer Science
Neil Jones
Bestilles fra fjernlager
Esop '90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings - Lecture Notes in Computer Science
Neil Jones
Proceedings of a conference on programming and programming languages. Topics include program development, programming language concepts, implementation techniques, programs as data objects, programming styles.
Marc Notes: Includes bibliographical references and index. Table of Contents: 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! or Disagreement points for fold/unfold transformations.- Synthesis of eureka predicates for developing logic programs.- Algebraic properties of program integration.- Arity raiser and its use in program specialization.- Complexity analysis for a lazy higher-order language.- On the weak adequacy of branching-time temporal logic.- The value flow graph: A program representation for optimal program transformations.- Type inference and implicit scaling.- Towards the theory of programming in constructive logic. Publisher Marketing: Proceedings of a conference on programming and programming languages. Topics include program development, programming language concepts, implementation techniques, programs as data objects, programming styles.
Contributor Bio: Jones, Neil Neil Jones, MD (Irvine, CA) is affiliated with the Department of Orthopaedic Surgery at the University of California-Irvine. J. Brian Boyd, MD is affiliated with Harbor-UCLA Medical Center.
Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
Udgivet | 25. april 1990 |
ISBN13 | 9783540525929 |
Forlag | Springer-Verlag Berlin and Heidelberg Gm |
Antal sider | 449 |
Mål | 156 × 250 × 23 mm · 625 g |
Klipper/redaktør | Jones, Neil D. |