Normal view MARC view ISBD view

Advanced symbolic analysis for compilers : (Record no. 636259)

MARC details
000 -LEADER
fixed length control field	04997cam a22008894a 4500
001 - CONTROL NUMBER
control field	ocn166467770
003 - CONTROL NUMBER IDENTIFIER
control field	OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20250703143635.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	030317s2003 gw a ob 001 0 eng c
040 ## - CATALOGING SOURCE
Original cataloging agency	COO
Language of cataloging	eng
Description conventions	pn
Transcribing agency	COO
Modifying agency	QCL
--	OCLCQ
--	YNG
--	CSU
--	OCLCQ
--	DKDLA
--	OCLCQ
--	OCLCO
--	OCLCQ
--	GW5XE
--	OCLCF
--	OCLCQ
--	NUI
--	OCLCQ
--	HNK
--	BAKER
--	WAU
--	EBLCP
--	OCLCQ
--	YDX
--	UAB
--	ESU
--	OCLCQ
--	VT2
--	SHS
--	CEF
--	QE2
--	WYU
--	LEAUB
--	OL$
--	OCLCQ
--	AU@
--	AUD
--	OCLCQ
--	EUX
--	OCLCQ
--	UKAHL
--	OCLCO
--	OCL
--	OCLCQ
--	OCLCO
--	OCLCL
--	SXB
--	OCLCQ
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number	GBA365719
Source	bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number	967382041
Source	DE-101
019 ## -
--	52207627
--	436620430
--	644324448
--	768063043
--	935291133
--	990404100
--	1005747355
--	1055461711
--	1058394673
--	1066608911
--	1081203565
--	1102536266
--	1105605922
--	1114532138
--	1127171684
--	1162688436
--	1238372708
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9783540366140
Qualifying information	(electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	3540366148
Qualifying information	(electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN	3540011854
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN	9783540011859
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code	10.1007/3-540-36614-8
Source of number or code	doi
029 1# - (OCLC)
OCLC library identifier	AU@
System control number	000044634667
029 1# - (OCLC)
OCLC library identifier	AU@
System control number	000051313980
029 1# - (OCLC)
OCLC library identifier	AU@
System control number	000058157061
029 1# - (OCLC)
OCLC library identifier	AU@
System control number	000058394511
029 1# - (OCLC)
OCLC library identifier	NZ1
System control number	14991586
029 1# - (OCLC)
OCLC library identifier	NZ1
System control number	15297150
029 1# - (OCLC)
OCLC library identifier	DKDLA
System control number	820120-katalog:999887370805765
029 1# - (OCLC)
OCLC library identifier	AU@
System control number	000060410689
035 ## - SYSTEM CONTROL NUMBER
System control number	(OCoLC)166467770
Canceled/invalid control number	(OCoLC)52207627
--	(OCoLC)436620430
--	(OCoLC)644324448
--	(OCoLC)768063043
--	(OCoLC)935291133
--	(OCoLC)990404100
--	(OCoLC)1005747355
--	(OCoLC)1055461711
--	(OCoLC)1058394673
--	(OCoLC)1066608911
--	(OCoLC)1081203565
--	(OCoLC)1102536266
--	(OCoLC)1105605922
--	(OCoLC)1114532138
--	(OCoLC)1127171684
--	(OCoLC)1162688436
--	(OCoLC)1238372708
042 ## - AUTHENTICATION CODE
Authentication code	pcc
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number	QA76.76.C65
Item number	.F34 2003
055 #3 - CLASSIFICATION NUMBERS ASSIGNED IN CANADA
Classification number	QA75
Item number	.L38 no.2628
072 #7 - SUBJECT CATEGORY CODE
Subject category code	UMX
Source	bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code	UMC
Source	bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code	COM051010
Source	bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code	COM010000
Source	bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code	QA
Source	lcco
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	005.4/53
Edition number	21
084 ## - OTHER CLASSIFICATION NUMBER
Classification number	54.52
Number source	bcl
084 ## - OTHER CLASSIFICATION NUMBER
Classification number	SS 4800
Number source	rvk
084 ## - OTHER CLASSIFICATION NUMBER
Classification number	DAT 530f
Number source	stub
084 ## - OTHER CLASSIFICATION NUMBER
Classification number	DAT 383f
Number source	stub
049 ## - LOCAL HOLDINGS (OCLC)
Holding library	MAIN
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Fahringer, Thomas,
Dates associated with a name	1965-
--	https://id.oclc.org/worldcat/entity/E39PCjHkF3wtKjJp4rYwYCH9WC
9 (RLIN)	21548
245 10 - TITLE STATEMENT
Title	Advanced symbolic analysis for compilers :
Remainder of title	new techniques and algorithms for symbolic program analysis and optimization /
Statement of responsibility, etc.	Thomas Fahringer, Bernhard Scholz.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc.	Berlin ;
--	New York :
Name of publisher, distributor, etc.	Springer,
Date of publication, distribution, etc.	©2003.
300 ## - PHYSICAL DESCRIPTION
Extent	1 online resource (xii, 129 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	2628
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc	Includes bibliographical references and index.
520 ## - SUMMARY, ETC.
Summary, etc.	This book presents novel symbolic control and data flow techniques as well as symbolic techniques and algorithms for program analysis and program optimization. Program contexts, defining a new symbolic description of program semantics for control and data flow analysis, are at the center of the techniques and methods introduced. The authors develop solutions for a number of problems encountered in program analysis by using program contexts. The solutions proposed are efficient, versatile, unified, and more general than most existing methods. The authors' symbolic analysis framework is implemented as a prototype as part of the Vienna High Performance Compiler.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note	Symbolic Analysis of Programs -- Generating Program Contexts -- Symbolic Analysis Algorithms and Transformations -- Symbolic Analysis for Parallelizing Compilers -- Related Work -- Conclusion.
546 ## - LANGUAGE NOTE
Language note	English.
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	Computer algorithms.
9 (RLIN)	896
650 #0 - 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	Compilateurs (Logiciels)
9 (RLIN)	28860
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Algorithmes.
9 (RLIN)	16327
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
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Scholz, Bernhard
Fuller form of name	(Bernhard Friedrich),
Dates associated with a name	1972-
--	https://id.oclc.org/worldcat/entity/E39PCjy6DGgk3y9jGwPJFjKQmb
9 (RLIN)	21549
758 ## -
--	has work:
--	Advanced symbolic analysis for compilers (Text)
--	https://id.oclc.org/worldcat/entity/E39PCGkGRwFJtkmRD6kbPqTJpd
--	https://id.oclc.org/worldcat/ontology/hasWork
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information	Print version:Fahringer, Thomas, 1965-
Title	Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
Record control number	(OCoLC)51900320
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title	Lecture notes in computer science ;
Volume number/sequential designation	2628.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier	<a href="https://link.springer.com/10.1007/3-540-36614-8">https://link.springer.com/10.1007/3-540-36614-8</a>
938 ## -
--	Askews and Holts Library Services
--	ASKH
--	AH20752867
938 ## -
--	Baker & Taylor
--	BKTY
--	49.95
--	49.95
--	3540011854
--	0004192526
--	active
938 ## -
--	ProQuest Ebook Central
--	EBLB
--	EBL3072287
938 ## -
--	YBP Library Services
--	YANK
--	13350474
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