Optimal interprocedural program optimization : (Record no. 639873)

MARC details
000 -LEADER
fixed length control field 06068cam a2201045 a 4500
001 - CONTROL NUMBER
control field ocn608931552
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703151321.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 un||||a|a||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100423s1998 gw a ob 001 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
Canceled/invalid LC control number 98037580
040 ## - CATALOGING SOURCE
Original cataloging agency OCLCE
Language of cataloging eng
Description conventions pn
Transcribing agency OCLCE
Modifying agency EYM
-- DEBBG
-- OCLCQ
-- YNG
-- OCLCQ
-- DKDLA
-- OCLCQ
-- OCLCO
-- OCLCQ
-- GW5XE
-- OCLCQ
-- OCLCF
-- UA@
-- OCLCQ
-- YDX
-- LIP
-- UAB
-- ESU
-- OCLCQ
-- SHS
-- BUF
-- OCLCQ
-- CEF
-- OCLCQ
-- WYU
-- VT2
-- OCLCQ
-- LEAUB
-- OL$
-- OCLCQ
-- EUX
-- OCLCQ
-- SFB
-- OCLCO
-- OCL
-- OCLCQ
-- OCLCO
-- COA
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GB9879117
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 954454197
Source DE-101
019 ## -
-- 48924624
-- 436649049
-- 606325300
-- 686054296
-- 769773100
-- 990644376
-- 993762005
-- 1001486354
-- 1006391079
-- 1009213204
-- 1012878990
-- 1014461638
-- 1020032191
-- 1027312240
-- 1036741258
-- 1038491113
-- 1039693851
-- 1044522578
-- 1060936925
-- 1066610812
-- 1073083237
-- 1081191862
-- 1086465626
-- 1238310689
-- 1259202824
-- 1340096149
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540496397
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540496394
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3540651233
Qualifying information (softcover ;
-- acid-free paper)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783540651239
Qualifying information (softcover ;
-- acid-free paper)
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/3-540-49639-4
Source of number or code doi
024 8# - OTHER STANDARD IDENTIFIER
Standard number or code (WaSeSS)ssj0000325411
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000044635114
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051336082
029 1# - (OCLC)
OCLC library identifier DEBBG
System control number BV035105427
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 14996847
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15300399
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)608931552
Canceled/invalid control number (OCoLC)48924624
-- (OCoLC)436649049
-- (OCoLC)606325300
-- (OCoLC)686054296
-- (OCoLC)769773100
-- (OCoLC)990644376
-- (OCoLC)993762005
-- (OCoLC)1001486354
-- (OCoLC)1006391079
-- (OCoLC)1009213204
-- (OCoLC)1012878990
-- (OCoLC)1014461638
-- (OCoLC)1020032191
-- (OCoLC)1027312240
-- (OCoLC)1036741258
-- (OCoLC)1038491113
-- (OCoLC)1039693851
-- (OCoLC)1044522578
-- (OCoLC)1060936925
-- (OCoLC)1066610812
-- (OCoLC)1073083237
-- (OCoLC)1081191862
-- (OCoLC)1086465626
-- (OCoLC)1238310689
-- (OCoLC)1259202824
-- (OCoLC)1340096149
042 ## - AUTHENTICATION CODE
Authentication code dlr
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.6
Item number .K63 1998
072 #7 - SUBJECT CATEGORY CODE
Subject category code QA
Source lcco
072 #7 - SUBJECT CATEGORY CODE
Subject category code UM
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYF
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM036000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UM
Source thema
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYF
Source thema
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1
Edition number 21
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 54.52
Number source bcl
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Knoop, Jens.
9 (RLIN) 37757
245 10 - TITLE STATEMENT
Title Optimal interprocedural program optimization :
Remainder of title a new framework and its application /
Statement of responsibility, etc. Jens Knoop.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©1998.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xxv, 288 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 ;
Volume/sequential designation 1428
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (pages 271-283) and index.
520 ## - SUMMARY, ETC.
Summary, etc. Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is aimed at compiler constructors and researchers interested in the systematic transfer of intraprocedural optimizations to the interprocedural setting, as well as students seeking a gentle introduction to the field.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
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 2010.
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 2010
Jurisdiction HathiTrust Digital Library
Status committed to preserve
Source of term pda
Institution to which field applies MiAaHDL
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Preface -- Preface -- The Intraprocedural Framework -- Optimal Intraprocedural Code Motion: The Transformations -- Optimal Intraprocedural Code Motion: The DFA-Algorithms -- The Framework -- The Programming Language -- Higher Order Data Flow Analysis -- The Interprocedural Setting -- Interprocedural Abstract Interpretation -- A Cookbook for Optimal Interprocedural Program Optimization -- The Application -- Optimal Interprocedural Code Motion: The Transformations -- Optimal Interprocedural Code Motion: The IDFA-Algorithms -- Conclusion -- Perspectives.
546 ## - LANGUAGE NOTE
Language note English.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming.
9 (RLIN) 3021
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer algorithms.
9 (RLIN) 896
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Compilers (Computer programs)
9 (RLIN) 15497
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algorithms.
9 (RLIN) 864
650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algorithms
9 (RLIN) 864
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algorithmes.
9 (RLIN) 16327
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Compilateurs (Logiciels)
9 (RLIN) 28860
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programmation (Informatique)
9 (RLIN) 27997
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element computer programming.
Source of heading or term aat
9 (RLIN) 3021
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element algorithms.
Source of heading or term aat
9 (RLIN) 864
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algorithms
Source of heading or term fast
9 (RLIN) 864
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 algorithms
Source of heading or term fast
9 (RLIN) 896
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 17 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programmatuurtechniek.
Source of heading or term gtt
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algoritmen.
Source of heading or term gtt
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Verificatie.
Source of heading or term gtt
9 (RLIN) 17723
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Optimaliseren.
Source of heading or term gtt
9 (RLIN) 16541
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Linguagens de programacao (computadores)
Source of heading or term larpcal
9 (RLIN) 14714
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Engenharia de programacao (software)
Source of heading or term larpcal
9 (RLIN) 14788
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software basico.
Source of heading or term larpcal
9 (RLIN) 20930
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 Ordinateurs
General subdivision Programmation.
Source of heading or term ram
9 (RLIN) 34564
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algorithmes.
Source of heading or term ram
9 (RLIN) 16327
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Compilateurs (logiciels)
Source of heading or term ram
9 (RLIN) 28860
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading Knoop, Jens.
Title Optimal interprocedural program optimization.
Place, publisher, and date of publication Berlin ; New York : Springer, ©1998
Record control number (DLC) 98037580
-- (OCoLC)39868125
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 1428.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/3-540-49639-4">https://link.springer.com/10.1007/3-540-49639-4</a>
938 ## -
-- YBP Library Services
-- YANK
-- 13351390
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 28/07/2022   28/07/2022 28/07/2022 eBook

Powered by Koha