Willkommen, schön sind Sie da!
Logo Ex Libris

ESOP '90

  • Kartonierter Einband
  • 452 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This volume presents the proceedings of a conference on programming and programming languages. It contains original research contr... Weiterlesen
20%
68.00 CHF 54.40
Sie sparen CHF 13.60
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

Proceedings of a conference on programming and programming languages. Topics include program development, programming language concepts, implementation techniques, programs as data objects, programming styles.

Inhalt
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.

Produktinformationen

Titel: ESOP '90
Untertitel: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
Editor:
EAN: 9783540525929
ISBN: 3540525920
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 452
Gewicht: 680g
Größe: H235mm x B155mm x T24mm
Jahr: 1990
Untertitel: Englisch
Auflage: 1990

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"

Teil 432
Sie sind hier.