000 04571nam a22005415i 4500
001 978-3-540-48376-2
003 DE-He213
005 20160624102033.0
007 cr nn 008mamaa
008 100729s1994 gw | s |||| 0|eng d
020 _a9783540483762
_9978-3-540-48376-2
024 7 _a10.1007/3-540-57880-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 '94
_h[electronic resource] :
_b5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings /
_cedited by Donald Sannella.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1994.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1994.
300 _aIX, 523 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 ;
_v788
505 0 _aA theory of primitive objects -- Pi-nets: A graphical form of ?-calculus -- Local type reconstruction by means of symbolic fixed point iteration -- An asynchronous process algebra with multiple clocks -- Foundational issues in implementing constraint logic programming systems -- Programming with behaviors in an ML framework — The syntax and semantics of LCS -- Characterizing behavioural semantics and abstractor semantics -- Extending pruning techniques to polymorphic second order ?-calculus -- ?-definition of function(al)s by normal forms -- Simulation of SOS definitions with term rewriting systems -- Strategies in modular system design by interface rewriting -- Symbolic model checking and constraint logic programming: A cross-fertilization -- A logical denotational semantics for constraint logic programming -- Compilation of head and strong reduction -- Suffix trees in the functioned programming paradigm -- Type classes in Haskell -- Lazy type inference for the strictness analysis of lists -- Lazy unification with simplification -- Polymorphic binding-time analysis -- Shapely types and shape polymorphism -- Bottom-up grammar analysis — A functional formulation -- First-class polymorphism for ML -- Dimension types -- A synergistic analysis for sharing and groundness which traces linearity -- A ?-calculus specification of prolog -- A logical framework for evolution of specifications -- A semantics for higher-order functors -- The PCKS-machine: An abstract machine for sound evaluation of parallel functional programs with first-class continuations -- A tiny constraint functional logic language and its continuation semantics -- Fully abstract translations and parametric polymorphism -- Broadcasting with priority -- Towards unifying partial evaluation, deforestation, supercompilation, and GPC -- Algebraic proofs of properties of objects.
520 _aThis volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools.
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 _aSoftware Engineering.
650 2 4 _aMathematical Logic and Formal Languages.
700 1 _aSannella, Donald.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540578802
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v788
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-57880-3
942 _2EBK6443
_cEBK
999 _c35737
_d35737