|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
b3242002 |
003 |
MWH |
005 |
20191026152139.0 |
007 |
cr nn 008mamaa |
008 |
100729s1994 gw | s |||| 0|eng d |
020 |
|
|
|a 9783540483762
|
024 |
7 |
|
|a 10.1007/3-540-57880-3
|2 doi
|
035 |
|
|
|a (DE-He213)978-3-540-48376-2
|
050 |
|
4 |
|a E-Book
|
072 |
|
7 |
|a UMZ
|2 bicssc
|
072 |
|
7 |
|a COM051230
|2 bisacsh
|
072 |
|
7 |
|a UMZ
|2 thema
|
072 |
|
7 |
|a UL
|2 thema
|
245 |
1 |
0 |
|a Programming Languages and Systems - ESOP '94
|h [electronic resource] :
|b 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings /
|c edited by Donald Sannella.
|
250 |
|
|
|a 1st ed. 1994.
|
264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 1994.
|
300 |
|
|
|a IX, 523 p.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 788
|
490 |
1 |
|
|a Springer eBook Collection
|
505 |
0 |
|
|a A 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 |
|
|
|a This 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.
|
590 |
|
|
|a Loaded electronically.
|
590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
650 |
|
0 |
|a Software engineering.
|
650 |
|
0 |
|a Computers.
|
650 |
|
0 |
|a Programming languages (Electronic computers).
|
650 |
|
0 |
|a Computer logic.
|
650 |
|
0 |
|a Mathematical logic.
|
690 |
|
|
|a Electronic resources (E-books)
|
700 |
1 |
|
|a Sannella, Donald.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 788
|
830 |
|
0 |
|a Springer eBook Collection.
|
856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/3-540-57880-3
|3 Click to view e-book
|t 0
|
907 |
|
|
|a .b3242002x
|b 04-18-22
|c 02-26-20
|
998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g gw
|h 0
|i 1
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-LNC
|
912 |
|
|
|a ZDB-2-BAE
|
950 |
|
|
|a Computer Science (Springer-11645)
|
902 |
|
|
|a springer purchased ebooks
|
903 |
|
|
|a SEB-COLL
|
945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i21551674
|z 02-26-20
|
999 |
f |
f |
|i 1f63139d-beab-5383-96d8-37e316150eff
|s 81b00f8d-0cfb-5a6d-a78d-1da37c596026
|t 0
|
952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|