000 08761cam a22012134a 4500
001 ocn143589254
003 OCoLC
005 20250703143507.0
006 m o d
007 cr |n|||||||||
008 070215s2007 gw a ob 111 0 eng c
010 _a 2007922986
040 _aCOO
_beng
_epn
_cCOO
_dHNK
_dN$T
_dYDXCP
_dGW5XE
_dBTCTA
_dTEX
_dUAB
_dOCLCQ
_dCEF
_dOCLCQ
_dYNG
_dMNU
_dE7B
_dUBC
_dIDEBK
_dOCLCO
_dOCLCQ
_dA7U
_dOCLCQ
_dBEDGE
_dOCLCQ
_dOCLCF
_dOCLCO
_dOCLCQ
_dOCLCO
_dSLY
_dOCLCO
_dNUI
_dOCL
_dOCLCO
_dEBLCP
_dDEBSZ
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCQ
_dVT2
_dSHS
_dOCLCQ
_dESU
_dOCLCQ
_dOCLCO
_dU3W
_dOCLCQ
_dOCLCO
_dSTF
_dOCLCQ
_dAU@
_dOCLCO
_dMERER
_dWYU
_dOCLCQ
_dYOU
_dW2U
_dOL$
_dOCLCQ
_dOCLCO
_dCNTRU
_dBWN
_dZHM
_dDCT
_dERF
_dOCLCQ
_dOCLCO
_dOCLCQ
_dEUX
_dOCLCO
_dCOM
_dOCLCO
_dOCL
_dOCLCQ
_dOCLCO
_dOCLCL
016 7 _z983418055
_2DE-101
016 7 _a983418055
_2GyFmDB
019 _a176949800
_a180752360
_a185026877
_a228382185
_a260242269
_a607332894
_a613443908
_a648308015
_a767233220
_a814502858
_a880102153
_a964921580
_a993766922
_a1005751485
_a1006406870
_a1009237545
_a1012878153
_a1014431629
_a1020026915
_a1027355568
_a1035662949
_a1036769439
_a1038474903
_a1039699184
_a1044329339
_a1044582458
_a1056281614
_a1056347343
_a1058042054
_a1060676807
_a1066579200
_a1069500639
_a1077932342
_a1081208549
_a1086882219
_a1087310637
_a1110203414
_a1110732313
_a1110974963
_a1112602057
_a1119395405
_a1162631578
_a1167527625
020 _a9783540713159
_q(soft cover ;
_qalk. paper)
020 _a3540713158
_q(soft cover ;
_qalk. paper)
020 _a9783540713227
_q(electronic bk.)
020 _a3540713220
_q(electronic bk.)
020 _a1280940697
020 _a9781280940699
020 _a661094069X
020 _a9786610940691
024 7 _a10.1007/978-3-540-71322-7
_2doi
027 _aSpringer eBook: Computer Science
029 1 _aAU@
_b000042405750
029 1 _aAU@
_b000042693250
029 1 _aAU@
_b000042808901
029 1 _aAU@
_b000058161515
029 1 _aAU@
_b000065269335
029 1 _aDEBSZ
_b282634266
029 1 _aDEBSZ
_b449582205
029 1 _aNLGGC
_b384199186
029 1 _aNZ1
_b12055131
029 1 _aAU@
_b000068801743
029 1 _aAU@
_b000058469909
035 _a(OCoLC)143589254
_z(OCoLC)176949800
_z(OCoLC)180752360
_z(OCoLC)185026877
_z(OCoLC)228382185
_z(OCoLC)260242269
_z(OCoLC)607332894
_z(OCoLC)613443908
_z(OCoLC)648308015
_z(OCoLC)767233220
_z(OCoLC)814502858
_z(OCoLC)880102153
_z(OCoLC)964921580
_z(OCoLC)993766922
_z(OCoLC)1005751485
_z(OCoLC)1006406870
_z(OCoLC)1009237545
_z(OCoLC)1012878153
_z(OCoLC)1014431629
_z(OCoLC)1020026915
_z(OCoLC)1027355568
_z(OCoLC)1035662949
_z(OCoLC)1036769439
_z(OCoLC)1038474903
_z(OCoLC)1039699184
_z(OCoLC)1044329339
_z(OCoLC)1044582458
_z(OCoLC)1056281614
_z(OCoLC)1056347343
_z(OCoLC)1058042054
_z(OCoLC)1060676807
_z(OCoLC)1066579200
_z(OCoLC)1069500639
_z(OCoLC)1077932342
_z(OCoLC)1081208549
_z(OCoLC)1086882219
_z(OCoLC)1087310637
_z(OCoLC)1110203414
_z(OCoLC)1110732313
_z(OCoLC)1110974963
_z(OCoLC)1112602057
_z(OCoLC)1119395405
_z(OCoLC)1162631578
_z(OCoLC)1167527625
037 _a978-3-540-71315-9
_bSpringer
_nhttp://www.springerlink.com
042 _apcc
050 4 _aQA76.76.V47
_bP745 2007
072 7 _aQA
_2lcco
072 7 _aCOM
_x051330
_2bisacsh
072 7 _aK
_2bicssc
082 0 4 _a005.1/4
_222
084 _aTP311. 53-532
_2clc
049 _aMAIN
245 0 0 _aProgram analysis and compilation, theory and practice :
_bessays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday /
_cThomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
260 _aBerlin ;
_aNew York :
_bSpringer,
_c©2007.
300 _a1 online resource (x, 360 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
347 _bPDF
490 1 _aLecture notes in computer science,
_x0302-9743 ;
_v4444.
_aFestschrift
504 _aIncludes bibliographical references and index.
505 0 _aAn 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 _aReinhard 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 _aEnglish.
600 1 0 _aWilhelm, R.
_q(Reinhard),
_d1946-
_915708
600 1 6 _aWilhelm, R.
_q(Reinhard),
_d1946-
_915708
600 1 7 _aWilhelm, R.,
_d1946-
_2cct
_920822
600 1 7 _aWilhelm, R.
_q(Reinhard),
_d1946-
_2fast
_1https://id.oclc.org/worldcat/entity/E39PBJw93GrBmX9XdtGkf9WMT3
_915708
650 0 _aComputer programs
_xVerification
_vCongresses.
_917232
650 0 _aCompilers (Computer programs)
_vCongresses.
_915496
650 0 _aComputer programming
_vCongresses.
650 6 _aLogiciels
_xVérification
_vCongrès.
_918708
650 6 _aCompilateurs (Logiciels)
_vCongrès.
_917999
650 6 _aProgrammation (Informatique)
_vCongrès.
650 7 _aCOMPUTERS
_xSoftware Development & Engineering
_xQuality Assurance & Testing.
_2bisacsh
_918709
650 0 7 _aCompilers (Computer programs)
_2cct
_915497
650 0 7 _aComputer programming.
_2cct
_93021
650 0 7 _aComputer programs
_xVerification.
_2cct
_917233
650 7 _aInformatique.
_2eclas
_914930
650 7 _aCompilers (Computer programs)
_2fast
_915497
650 7 _aComputer programming
_2fast
_93021
650 7 _aComputer programs
_xVerification
_2fast
_917233
655 2 _aCongress
_911670
655 7 _aproceedings (reports)
_2aat
655 7 _aFestschriften
_2fast
_9109631
655 7 _aConference papers and proceedings
_2fast
_96065
655 7 _aConference papers and proceedings.
_2lcgft
_96065
655 7 _aFestschriften.
_2lcgft
_9109631
655 7 _aActes de congrès.
_2rvmgf
_9609890
700 1 _aReps, Thomas W.
_q(Thomas William)
_1https://id.oclc.org/worldcat/entity/E39PBJxmHd3Rbq69htjHWH3vpP
_920824
700 1 _aSagiv, Mooly.
_919287
700 1 _aBauer, Jörg.
_920825
700 1 _aWilhelm, R.
_q(Reinhard),
_d1946-
_1https://id.oclc.org/worldcat/entity/E39PBJw93GrBmX9XdtGkf9WMT3
_915708
758 _ihas work:
_aProgram analysis and compilation, theory and practice (Text)
_1https://id.oclc.org/worldcat/entity/E39PCGJhhF3cQ9dV9xPbWRG3pP
_4https://id.oclc.org/worldcat/ontology/hasWork
773 0 _tSpringer e-books
776 0 8 _iPrint version:
_tProgram analysis and compilation, theory and practice.
_dBerlin ; New York : Springer, ©2007
_z9783540713159
_z3540713158
_w(DLC) 2007922986
_w(OCoLC)122935587
830 0 _aLecture notes in computer science ;
_v4444.
830 0 _aLecture notes in computer science.
_pFestschrift.
_919696
856 4 0 _uhttps://link.springer.com/10.1007/978-3-540-71322-7
938 _aBaker and Taylor
_bBTCP
_nBK0007506488
938 _aProQuest Ebook Central
_bEBLB
_nEBL6451329
938 _aProQuest Ebook Central
_bEBLB
_nEBL3037333
938 _aebrary
_bEBRY
_nebr10186889
938 _aEBSCOhost
_bEBSC
_n206140
938 _aProQuest MyiLibrary Digital eBook Collection
_bIDEB
_n94069
938 _aYBP Library Services
_bYANK
_n2722400
994 _a92
_bATIST
999 _c636098
_d636098