TY  - BOOK
AU  - Jones,Neil
ED  - SpringerLink (Online service)
TI  - ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783540470458
AV  - QA76.6-76.66 
U1  - 005.11 23
PY  - 1990///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Logic design
KW  - Computer Science
KW  - Programming Techniques
KW  - Programming Languages, Compilers, Interpreters
KW  - Logics and Meanings of Programs
KW  - Mathematical Logic and Formal Languages
KW  - Software Engineering
N1  - 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
N2  - 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
UR  - http://dx.doi.org/10.1007/3-540-52592-0
ER  -