| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
in00000017971 |
| 005 |
20190325090645.0 |
| 006 |
m o d |
| 007 |
cr unu|||uuuuu |
| 008 |
880225s1988 gw a ob 101 0 eng |
| 010 |
|
|
|a 88004633
|
| 019 |
|
|
|a 150398967
|a 190829521
|a 327018234
|a 812619469
|
| 020 |
|
|
|a 9783540389415 (electronic bk.)
|
| 020 |
|
|
|a 3540389415 (electronic bk.)
|
| 020 |
|
|
|z 0387190279
|
| 020 |
|
|
|z 9780387190273
|
| 020 |
|
|
|z 3540190279
|
| 020 |
|
|
|z 9783540190271
|
| 035 |
|
|
|a (OCoLC)ocm17620650
|
| 035 |
|
|
|a (OCoLC)17620650
|
| 035 |
|
|
|9 AAB0450AM
|
| 035 |
|
|
|a (OCoLC)17620650
|z (OCoLC)150398967
|z (OCoLC)190829521
|z (OCoLC)327018234
|z (OCoLC)812619469
|
| 040 |
|
|
|a DLC
|b eng
|e pn
|c DLC
|d NLGGC
|d BTCTA
|d LVB
|d C$Q
|d YDXCP
|d GW5XE
|d TFW
|d BDX
|d GBVCP
|d OCLCO
|d GW5XE
|d OCLCE
|d OCLCF
|d OCLCQ
|d OCLCO
|d OCLCQ
|d ITD
|d OCLCQ
|d OCL
|d UtOrBLW
|
| 042 |
|
|
|a dlr
|
| 049 |
|
|
|a TXAM
|
| 050 |
0 |
0 |
|a QA76.6
|b .E976 1988
|
| 082 |
0 |
0 |
|a 005
|2 19
|
| 084 |
|
|
|a 54.50
|2 bcl
|
| 111 |
2 |
|
|a European Symposium on Programming
|n (2nd :
|d 1988 :
|c Nancy, France)
|
| 245 |
1 |
0 |
|a ESOP '88 :
|b 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings /
|c H. Ganzinger, ed.
|
| 264 |
|
1 |
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c ©1988.
|
| 300 |
|
|
|a 1 online resource (vi, 379 pages) :
|b illustrations.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 300
|
| 500 |
|
|
|a Held in conjunction with CAAP '88.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 505 |
0 |
|
|a Invited Speakers -- Program Development and Verification -- Algebraic Specification and Type Concepts -- Language Concepts -- Implementation of Programming Languages -- Systems Exhibition -- Author Index.
|
| 520 |
|
|
|a The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel architectures and optimization of functional programs to new concepts for programming environments is covered. Another large section consists of papers in the area of algebraic specification and type concepts. The papers in this section are devoted to issues such as polymorphism, subtypes and notions of implementation and reuse for algebraic specifications. Two further sections are devoted to new language concepts and novel approaches to program development and verification.
|
| 538 |
|
|
|a 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.
|u http://purl.oclc.org/DLF/benchrepro0212
|5 MiAaHDL
|
| 583 |
1 |
|
|a digitized
|c 2011
|h HathiTrust Digital Library
|l committed to preserve
|2 pda
|5 MiAaHDL
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
0 |
|a Computer programming
|v Congresses.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers)
|v Congresses.
|
| 650 |
|
4 |
|a Electronic digital computers.
|
| 650 |
|
4 |
|a Programming languages (Electronic computers)
|
| 650 |
|
6 |
|a Langages de programmation
|v Congrès.
|
| 650 |
|
6 |
|a Programmation (Informatique)
|v Congrès.
|
| 650 |
|
7 |
|a Electronic books.
|2 fast
|0 (OCoLC)fst00906854
|
| 650 |
|
7 |
|a Computer programming.
|2 fast
|0 (OCoLC)fst00872390
|
| 650 |
|
7 |
|a Programming languages (Electronic computers)
|2 fast
|0 (OCoLC)fst01078704
|
| 650 |
1 |
7 |
|a Programmeren (computers)
|2 gtt
|
| 650 |
|
0 |
|a Electronic books.
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 655 |
|
4 |
|a Electronic resources (Books)
|
| 655 |
|
7 |
|a Conference proceedings.
|2 fast
|0 (OCoLC)fst01423772
|
| 655 |
|
7 |
|a Congressen (vorm)
|2 gtt
|0 (NL-LeOCL)088142469
|
| 700 |
1 |
|
|a Ganzinger, H.
|q (Harald),
|d 1950-
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 711 |
2 |
|
|a Colloquium on Trees in Algebra and Programming
|n (13th :
|d 1988 :
|c Nancy, France).
|e CAAP '88.
|
| 776 |
1 |
8 |
|i Print version:
|a European Symposium on Programming (2nd : 1988 : Nancy, France).
|t ESOP '88.
|d Berlin ; New York : Springer-Verlag, ©1988
|w (OCoLC)812619469
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 300.
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=http://link.springer.com/10.1007/3-540-19027-9
|z Connect to the full text of this electronic book
|t 0
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s ea2a3605-53ed-3fd1-ae2d-91248e5e7258
|i 20e2247f-7289-3344-b119-2fb031ec4522
|t 0
|
| 952 |
f |
f |
|p ric
|a Texas A&M University
|b Rellis Campus
|c Joint Library Facility
|d Remote Storage
|t 0
|e QA76.6 .E976 1988
|h Library of Congress classification
|i computer -- online resource
|m A14811051223
|
| 998 |
f |
f |
|a QA76.6 .E976 1988
|t 0
|l Remote Storage
|