MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08761cam a22012134a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn143589254 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703143507.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 |n||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
070215s2007 gw a ob 111 0 eng c |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2007922986 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
COO |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
COO |
| Modifying agency |
HNK |
| -- |
N$T |
| -- |
YDXCP |
| -- |
GW5XE |
| -- |
BTCTA |
| -- |
TEX |
| -- |
UAB |
| -- |
OCLCQ |
| -- |
CEF |
| -- |
OCLCQ |
| -- |
YNG |
| -- |
MNU |
| -- |
E7B |
| -- |
UBC |
| -- |
IDEBK |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
A7U |
| -- |
OCLCQ |
| -- |
BEDGE |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
SLY |
| -- |
OCLCO |
| -- |
NUI |
| -- |
OCL |
| -- |
OCLCO |
| -- |
EBLCP |
| -- |
DEBSZ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
SHS |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
U3W |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
STF |
| -- |
OCLCQ |
| -- |
AU@ |
| -- |
OCLCO |
| -- |
MERER |
| -- |
WYU |
| -- |
OCLCQ |
| -- |
YOU |
| -- |
W2U |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
CNTRU |
| -- |
BWN |
| -- |
ZHM |
| -- |
DCT |
| -- |
ERF |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EUX |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Canceled/invalid record control number |
983418055 |
| Source |
DE-101 |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
983418055 |
| Source |
GyFmDB |
| 019 ## - |
|---|
| -- |
176949800 |
| -- |
180752360 |
| -- |
185026877 |
| -- |
228382185 |
| -- |
260242269 |
| -- |
607332894 |
| -- |
613443908 |
| -- |
648308015 |
| -- |
767233220 |
| -- |
814502858 |
| -- |
880102153 |
| -- |
964921580 |
| -- |
993766922 |
| -- |
1005751485 |
| -- |
1006406870 |
| -- |
1009237545 |
| -- |
1012878153 |
| -- |
1014431629 |
| -- |
1020026915 |
| -- |
1027355568 |
| -- |
1035662949 |
| -- |
1036769439 |
| -- |
1038474903 |
| -- |
1039699184 |
| -- |
1044329339 |
| -- |
1044582458 |
| -- |
1056281614 |
| -- |
1056347343 |
| -- |
1058042054 |
| -- |
1060676807 |
| -- |
1066579200 |
| -- |
1069500639 |
| -- |
1077932342 |
| -- |
1081208549 |
| -- |
1086882219 |
| -- |
1087310637 |
| -- |
1110203414 |
| -- |
1110732313 |
| -- |
1110974963 |
| -- |
1112602057 |
| -- |
1119395405 |
| -- |
1162631578 |
| -- |
1167527625 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540713159 |
| Qualifying information |
(soft cover ; |
| -- |
alk. paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540713158 |
| Qualifying information |
(soft cover ; |
| -- |
alk. paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540713227 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540713220 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
1280940697 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781280940699 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
661094069X |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9786610940691 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-540-71322-7 |
| Source of number or code |
doi |
| 027 ## - STANDARD TECHNICAL REPORT NUMBER |
|---|
| Standard technical report number |
Springer eBook: Computer Science |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000042405750 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000042693250 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000042808901 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058161515 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000065269335 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DEBSZ |
| System control number |
282634266 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DEBSZ |
| System control number |
449582205 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
384199186 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
12055131 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000068801743 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058469909 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)143589254 |
| Canceled/invalid control number |
(OCoLC)176949800 |
| -- |
(OCoLC)180752360 |
| -- |
(OCoLC)185026877 |
| -- |
(OCoLC)228382185 |
| -- |
(OCoLC)260242269 |
| -- |
(OCoLC)607332894 |
| -- |
(OCoLC)613443908 |
| -- |
(OCoLC)648308015 |
| -- |
(OCoLC)767233220 |
| -- |
(OCoLC)814502858 |
| -- |
(OCoLC)880102153 |
| -- |
(OCoLC)964921580 |
| -- |
(OCoLC)993766922 |
| -- |
(OCoLC)1005751485 |
| -- |
(OCoLC)1006406870 |
| -- |
(OCoLC)1009237545 |
| -- |
(OCoLC)1012878153 |
| -- |
(OCoLC)1014431629 |
| -- |
(OCoLC)1020026915 |
| -- |
(OCoLC)1027355568 |
| -- |
(OCoLC)1035662949 |
| -- |
(OCoLC)1036769439 |
| -- |
(OCoLC)1038474903 |
| -- |
(OCoLC)1039699184 |
| -- |
(OCoLC)1044329339 |
| -- |
(OCoLC)1044582458 |
| -- |
(OCoLC)1056281614 |
| -- |
(OCoLC)1056347343 |
| -- |
(OCoLC)1058042054 |
| -- |
(OCoLC)1060676807 |
| -- |
(OCoLC)1066579200 |
| -- |
(OCoLC)1069500639 |
| -- |
(OCoLC)1077932342 |
| -- |
(OCoLC)1081208549 |
| -- |
(OCoLC)1086882219 |
| -- |
(OCoLC)1087310637 |
| -- |
(OCoLC)1110203414 |
| -- |
(OCoLC)1110732313 |
| -- |
(OCoLC)1110974963 |
| -- |
(OCoLC)1112602057 |
| -- |
(OCoLC)1119395405 |
| -- |
(OCoLC)1162631578 |
| -- |
(OCoLC)1167527625 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
978-3-540-71315-9 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.V47 |
| Item number |
P745 2007 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
QA |
| Source |
lcco |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
051330 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
K |
| Source |
bicssc |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1/4 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
TP311. 53-532 |
| Number source |
clc |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Program analysis and compilation, theory and practice : |
| Remainder of title |
essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday / |
| Statement of responsibility, etc. |
Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.). |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2007. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (x, 360 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 |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
4444. |
| Series statement |
Festschrift |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
An Appreciation -- An Appreciation of the Work of Reinhard Wilhelm -- Technical Papers -- New Developments in WCET Analysis -- Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification -- Lazy Execution of Boolean Queries -- Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program Components -- ViDoC -- Visual Design of Optimizing Compilers -- Abstract Interpretation for Worst and Average Case Analysis -- Grammar Analysis and Parsing by Abstract Interpretation -- Ensuring Properties of Interaction Systems -- On the Expressive Power of Live Sequence Charts -- Refinement-Based Verification for Possibly-Cyclic Lists -- Abstract Counterexample-Based Refinement for Powerset Domains -- Types from Control Flow Analysis -- Data Flow Analysis for CCS -- Towards a Source Level Compiler: Source Level Modulo Scheduling. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
Reinhard Wilhelm's career in Computer Science spans more than a third of a century. During this time, he has made numerous research contributions to the areas of programming languages, compilers and compiler generators, static program analysis, program transformation, algorithm animation, and real-time systems; co-founded a company to transfer some of these ideas to industry; held the Chair for Programming Languages and Compiler Construction at Saarland University; and served since its inception in 1990 as the Scientific Director of the International Conference and Research Center for Computer Science at Schloss Dagstuhl. This Festschrift volume, published to honor Reinhard Wilhelm on his 60th Birthday on June 10, 2006, includes 15 refereed papers by leading researchers, his graduate students and research collaborators, as well as current and former colleagues, who all attended a celebratory symposium held at Schloss Dagstuhl, Germany. The articles of this volume thus serve also as the proceedings of the aforementioned Dagstuhl symposium. |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English. |
| 600 10 - SUBJECT ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Wilhelm, R. |
| Fuller form of name |
(Reinhard), |
| Dates associated with a name |
1946- |
| 9 (RLIN) |
15708 |
| 600 16 - SUBJECT ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Wilhelm, R. |
| Fuller form of name |
(Reinhard), |
| Dates associated with a name |
1946- |
| 9 (RLIN) |
15708 |
| 600 17 - SUBJECT ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Wilhelm, R., |
| Dates associated with a name |
1946- |
| Source of heading or term |
cct |
| 9 (RLIN) |
20822 |
| 600 17 - SUBJECT ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Wilhelm, R. |
| Fuller form of name |
(Reinhard), |
| Dates associated with a name |
1946- |
| Source of heading or term |
fast |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJw93GrBmX9XdtGkf9WMT3 |
| 9 (RLIN) |
15708 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programs |
| General subdivision |
Verification |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
17232 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Compilers (Computer programs) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15496 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programming |
| Form subdivision |
Congresses. |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels |
| General subdivision |
Vérification |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18708 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Compilateurs (Logiciels) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
17999 |
| 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 |
COMPUTERS |
| General subdivision |
Software Development & Engineering |
| -- |
Quality Assurance & Testing. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
18709 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Compilers (Computer programs) |
| Source of heading or term |
cct |
| 9 (RLIN) |
15497 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programming. |
| Source of heading or term |
cct |
| 9 (RLIN) |
3021 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programs |
| General subdivision |
Verification. |
| Source of heading or term |
cct |
| 9 (RLIN) |
17233 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Compilers (Computer programs) |
| Source of heading or term |
fast |
| 9 (RLIN) |
15497 |
| 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 |
Computer programs |
| General subdivision |
Verification |
| Source of heading or term |
fast |
| 9 (RLIN) |
17233 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Festschriften |
| Source of term |
fast |
| 9 (RLIN) |
109631 |
| 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 |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Festschriften. |
| Source of term |
lcgft |
| 9 (RLIN) |
109631 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Reps, Thomas W. |
| Fuller form of name |
(Thomas William) |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJxmHd3Rbq69htjHWH3vpP |
| 9 (RLIN) |
20824 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Sagiv, Mooly. |
| 9 (RLIN) |
19287 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bauer, Jörg. |
| 9 (RLIN) |
20825 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Wilhelm, R. |
| Fuller form of name |
(Reinhard), |
| Dates associated with a name |
1946- |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJw93GrBmX9XdtGkf9WMT3 |
| 9 (RLIN) |
15708 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Program analysis and compilation, theory and practice (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGJhhF3cQ9dV9xPbWRG3pP |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer e-books |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Title |
Program analysis and compilation, theory and practice. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, ©2007 |
| International Standard Book Number |
9783540713159 |
| -- |
3540713158 |
| Record control number |
(DLC) 2007922986 |
| -- |
(OCoLC)122935587 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
4444. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science. |
| Name of part/section of a work |
Festschrift. |
| 9 (RLIN) |
19696 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-540-71322-7">https://link.springer.com/10.1007/978-3-540-71322-7</a> |
| 938 ## - |
|---|
| -- |
Baker and Taylor |
| -- |
BTCP |
| -- |
BK0007506488 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL6451329 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3037333 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10186889 |
| 938 ## - |
|---|
| -- |
EBSCOhost |
| -- |
EBSC |
| -- |
206140 |
| 938 ## - |
|---|
| -- |
ProQuest MyiLibrary Digital eBook Collection |
| -- |
IDEB |
| -- |
94069 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
2722400 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |