ESOP '90 (Lecture Notes in Computer Science) de Neil Jones

ESOP '90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings: Lecture Notes in Computer Science, cartea 432

Neil Jones

en Limba Engleză Paperback – 25 apr 1990

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.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 1020^.28 lei
Preț: 395^.25 lei
20%

Preț: 327^.36 lei
20%

Preț: 984^.64 lei
20%

Preț: 400^.77 lei
20%

Preț: 328^.94 lei
20%

Preț: 340^.04 lei
20%

Preț: 487^.46 lei
20%

Preț: 629^.71 lei
20%

Preț: 386^.08 lei
20%

Preț: 489^.11 lei
20%

Preț: 556^.96 lei
20%

Preț: 560^.93 lei
15%

Preț: 558^.12 lei
20%

Preț: 782^.57 lei
20%

Preț: 679^.09 lei
20%

Preț: 330^.54 lei
20%

Preț: 733^.68 lei
20%

Preț: 435^.28 lei
20%

Preț: 375^.72 lei
20%

Preț: 342^.61 lei
20%

Preț: 432^.78 lei
20%

Preț: 904^.16 lei
20%

Preț: 1391^.87 lei
20%

Preț: 373^.80 lei
20%

Preț: 400^.17 lei
20%

Preț: 478^.59 lei
20%

Preț: 1359^.66 lei
20%

Preț: 620^.33 lei
20%

Preț: 731^.97 lei
20%

Preț: 733^.68 lei
20%

Preț: 1033^.45 lei
20%

Preț: 403^.00 lei
20%

Preț: 563^.29 lei
20%

Preț: 324^.19 lei
20%

Preț: 793^.92 lei
20%

Preț: 336^.86 lei
20%

Preț: 327^.36 lei
20%

Preț: 573^.45 lei
20%

Preț: 1137^.10 lei
20%

Preț: 850^.42 lei
20%

Preț: 560^.93 lei
20%

Preț: 558^.53 lei
20%

Preț: 631^.96 lei
20%

Preț: 568^.70 lei
20%

Preț: 488^.90 lei
20%

Preț: 293^.24 lei

Cuprins

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.