Amazon cover image
Image from Amazon.com

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings / N. Jones (ed.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 432.Publication details: Berlin ; New York : Springer-Verlag, ©1990.Description: 1 online resource (ix, 435 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540470458
  • 354047045X
Subject(s): Genre/Form: Additional physical formats: Print version:: ESOP '90.DDC classification:
  • 005.1 20
LOC classification:
  • QA76.6 .E976 1990
Other classification:
  • 54.50
Online resources:
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.
Action note:
  • digitized 2011 HathiTrust Digital Library committed to preserve
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2011. MiAaHDL

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL

http://purl.oclc.org/DLF/benchrepro0212

digitized 2011 HathiTrust Digital Library committed to preserve pda MiAaHDL

Print version record.

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.

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.

Powered by Koha