000 04238nam a22005535i 4500
001 978-3-540-49942-8
003 DE-He213
005 20160624102046.0
007 cr nn 008mamaa
008 121227s1996 gw | s |||| 0|eng d
020 _a9783540499428
_9978-3-540-49942-8
024 7 _a10.1007/3-540-61055-3
_2doi
050 4 _aQA76.7-76.73
050 4 _aQA76.76.C65
072 7 _aUMX
_2bicssc
072 7 _aUMC
_2bicssc
072 7 _aCOM051010
_2bisacsh
072 7 _aCOM010000
_2bisacsh
082 0 4 _a005.13
_223
245 1 0 _aProgramming Languages and Systems — ESOP '96
_h[electronic resource] :
_b6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings /
_cedited by Hanne Riis Nielson.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1996.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1996.
300 _aX, 410 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1058
505 0 _aSome practical problems and their influence on semantics -- Compiling Haskell by program transformation: A report from the trenches -- Narrowing-driven partial evaluation of functional logic programs -- A multiple-valued logical semantics for Prolog -- Removing value encoding using alternative values in partial evaluation of strongly-typed languages -- A complete transformational toolkit for compilers -- Global analysis of standard Prolog programs -- Static detection of pointer errors: An axiomatisation and a checking algorithm -- Compositional optimization of disjunctive abstract interpretations -- A rewriting logic for declarative programming -- Durations for truly-concurrent transitions -- Flow analysis in the Geometry of Interaction -- Parametricity and unboxing with unpointed types -- Modular denotational semantics for compiler construction -- Compositional semantics of non-deterministic synchronous languages -- Checking system properties via integer programming -- Efficient minimization up to location equivalence -- A new approach to compiling adaptive programs -- Mode and termination checking for higher-order logic programs -- Linear time hierarchies for a functional language machine model -- Integer constraints to stop deforestation -- Towards an ML-style polymorphic type system for C -- Assumption/commitment rules for dataflow networks — with an emphasis on completeness -- Towards an expressive language for PDE solvers -- Rewrite systems with abstraction and ?-rule: Types, approximants and normalization.
520 _aThis book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linköping, Sweden, in April 1996. The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation, and implementation techniques.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aLogic design.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aProgramming Techniques.
650 2 4 _aSoftware Engineering.
700 1 _aNielson, Hanne Riis.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540610557
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1058
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-61055-3
942 _2EBK6912
_cEBK
999 _c36206
_d36206