MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06212cam a2200745 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn714912989 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703160523.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr bn||||||abp |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr bn||||||ada |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
110425s1990 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
OCLCE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
OCLCE |
| Modifying agency |
OCLCQ |
| -- |
NLGGC |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
TFW |
| -- |
HDC |
| -- |
UV0 |
| -- |
KIJ |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCF |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
VT2 |
| -- |
OCLCQ |
| -- |
CEF |
| -- |
AU@ |
| -- |
UWO |
| -- |
YOU |
| -- |
OCLCQ |
| -- |
INARC |
| -- |
EUX |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
900609885 |
| Source |
DE-101 |
| 019 ## - |
|---|
| -- |
150398811 |
| -- |
327018235 |
| -- |
793077081 |
| -- |
811368523 |
| -- |
827358255 |
| -- |
1005773547 |
| -- |
1044238703 |
| -- |
1056388183 |
| -- |
1064297274 |
| -- |
1071325898 |
| -- |
1081190352 |
| -- |
1153052920 |
| -- |
1197693118 |
| -- |
1198139396 |
| -- |
1200299276 |
| -- |
1238268154 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540470458 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
354047045X |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540525920 |
| Qualifying information |
(Berlin ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540525929 |
| Qualifying information |
(Berlin ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
0387525920 |
| Qualifying information |
(New York ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9780387525921 |
| Qualifying information |
(New York ; |
| -- |
acid-free paper) |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051696077 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
296875228 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14995425 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000078468932 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)714912989 |
| Canceled/invalid control number |
(OCoLC)150398811 |
| -- |
(OCoLC)327018235 |
| -- |
(OCoLC)793077081 |
| -- |
(OCoLC)811368523 |
| -- |
(OCoLC)827358255 |
| -- |
(OCoLC)1005773547 |
| -- |
(OCoLC)1044238703 |
| -- |
(OCoLC)1056388183 |
| -- |
(OCoLC)1064297274 |
| -- |
(OCoLC)1071325898 |
| -- |
(OCoLC)1081190352 |
| -- |
(OCoLC)1153052920 |
| -- |
(OCoLC)1197693118 |
| -- |
(OCoLC)1198139396 |
| -- |
(OCoLC)1200299276 |
| -- |
(OCoLC)1238268154 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
dlr |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.6 |
| Item number |
.E976 1990 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Edition number |
20 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.50 |
| Number source |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
European Symposium on Programming |
| Number of part/section/meeting |
(3rd : |
| Date of meeting |
1990 : |
| Location of meeting |
Copenhagen, Denmark) |
| 9 (RLIN) |
41634 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
ESOP '90 : |
| Remainder of title |
3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings / |
| Statement of responsibility, etc. |
N. Jones (ed.). |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer-Verlag, |
| Date of publication, distribution, etc. |
©1990. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (ix, 435 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
432 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE |
|---|
| Materials specified |
Use copy |
| Standardized terminology for access restriction |
Restrictions unspecified |
| Source of term |
star |
| Institution to which field applies |
MiAaHDL |
| 533 ## - REPRODUCTION NOTE |
|---|
| Type of reproduction |
Electronic reproduction. |
| Place of reproduction |
[Place of publication not identified] : |
| Agency responsible for reproduction |
HathiTrust Digital Library, |
| Date of reproduction |
2011. |
| Institution to which field applies |
MiAaHDL |
| 538 ## - SYSTEM DETAILS NOTE |
|---|
| System details note |
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. |
| Uniform Resource Identifier |
<a href="http://purl.oclc.org/DLF/benchrepro0212">http://purl.oclc.org/DLF/benchrepro0212</a> |
| Institution to which field applies |
MiAaHDL |
| 583 1# - ACTION NOTE |
|---|
| Action |
digitized |
| Time/date of action |
2011 |
| Jurisdiction |
HathiTrust Digital Library |
| Status |
committed to preserve |
| Source of term |
pda |
| Institution to which field applies |
MiAaHDL |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programming |
| Form subdivision |
Congresses. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming languages (Electronic computers) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14776 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Langages de programmation |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
14777 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmation (Informatique) |
| Form subdivision |
Congrès. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programming |
| Source of heading or term |
fast |
| 9 (RLIN) |
3021 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming languages (Electronic computers) |
| Source of heading or term |
fast |
| 9 (RLIN) |
986 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmeren (computers) |
| Source of heading or term |
gtt |
| 9 (RLIN) |
14779 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programacao de computadores. |
| Source of heading or term |
larpcal |
| 9 (RLIN) |
14740 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmation automatique |
| General subdivision |
Congrès. |
| Source of heading or term |
ram |
| 9 (RLIN) |
41637 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congressen (vorm) |
| Source of term |
gtt |
| Authority record control number |
(NL-LeOCL)088142469 |
| 9 (RLIN) |
8970 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Jones, Neil D. |
| 9 (RLIN) |
32252 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
European Symposium on Programming (3rd : 1990 : Copenhagen, Denmark). |
| Title |
ESOP '90. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer-Verlag, ©1990 |
| International Standard Book Number |
3540525920 |
| Record control number |
(DLC) 90009763 |
| -- |
(OCoLC)21444626 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
432. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-52592-0">https://link.springer.com/10.1007/3-540-52592-0</a> |
| 938 ## - |
|---|
| -- |
Internet Archive |
| -- |
INAR |
| -- |
esop903rdeuropea0432euro |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |