skip to content
Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday Preview this item
ClosePreview this item
Checking...

Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday

Author: Thomas W Reps; Mooly Sagiv; Jörg Bauer; R Wilhelm
Publisher: Berlin ; New York : Springer, ©2007.
Series: Lecture notes in computer science, 4444.; Lecture notes in computer science., Festschrift.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Reinhard Wilhelm's career in Computer Science spans more than a third of a century. This book includes 15 refereed papers of a celebratory symposium held at Schloss Dagstuhl, Germany. It contains  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Named Person: R Wilhelm; Reinhard Wilhelm; R Wilhelm
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Thomas W Reps; Mooly Sagiv; Jörg Bauer; R Wilhelm
ISBN: 9783540713159 3540713158
OCLC Number: 122935587
Notes: "Papers ... [presented at] a celebratory symposium held at Schloss Dagstuhl, Germany"--Page 4 of cover.
"[Symposium held] June 9-10, 2006"--Preface.
Description: x, 360 pages : illustrations ; 24 cm
Contents: 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.
Series Title: Lecture notes in computer science, 4444.; Lecture notes in computer science., Festschrift.
Responsibility: Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/122935587> # Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "122935587" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1071889416#Place/berlin> ; # Berlin
    schema:about <http://id.worldcat.org/fast/871538> ; # Compilers (Computer programs)
    schema:about <http://viaf.org/viaf/79109798> ; # Reinhard Wilhelm
    schema:about <http://experiment.worldcat.org/entity/work/data/1071889416#Topic/compilateurs_logiciels> ; # Compilateurs (Logiciels)
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://id.loc.gov/authorities/subjects/sh85029528> ; # Computer programs--Verification
    schema:about <http://id.worldcat.org/fast/872448> ; # Computer programs--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/1071889416#Topic/computer_programming> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/1071889416#Person/wilhelm_r_reinhard_1946> ; # Reinhard Wilhelm
    schema:about <http://dewey.info/class/005.14/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1071889416#Topic/programmation_informatique> ; # Programmation (Informatique)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/25770062> ; # Jörg Bauer
    schema:contributor <http://viaf.org/viaf/28163343> ; # Mooly Sagiv
    schema:contributor <http://viaf.org/viaf/79109798> ; # Reinhard Wilhelm
    schema:contributor <http://viaf.org/viaf/91751447> ; # Thomas William Reps
    schema:copyrightYear "2007" ;
    schema:datePublished "2007" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1071889416> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1071889416#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science, Festschrift
    schema:name "Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday"@en ;
    schema:productID "122935587" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/122935587#PublicationEvent/berlin_new_york_springer_2007> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1071889416#Agent/springer> ; # Springer
    schema:url <http://catdir.loc.gov/catdir/toc/fy0714/2007922986.html> ;
    schema:url <https://doi.org/10.1007/978-3-540-71322-7> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4444> ;
    schema:workExample <http://worldcat.org/isbn/9783540713159> ;
    umbel:isLike <http://d-nb.info/983418055> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/122935587> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1071889416#Person/wilhelm_r_reinhard_1946> # Reinhard Wilhelm
    a schema:Person ;
    schema:birthDate "1946" ;
    schema:familyName "Wilhelm" ;
    schema:givenName "Reinhard" ;
    schema:givenName "R." ;
    schema:name "Reinhard Wilhelm" ;
    .

<http://experiment.worldcat.org/entity/work/data/1071889416#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/122935587> ; # Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1071889416#Topic/compilateurs_logiciels> # Compilateurs (Logiciels)
    a schema:Intangible ;
    schema:name "Compilateurs (Logiciels)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1071889416#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
    schema:name "Programmation (Informatique)"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85029528> # Computer programs--Verification
    a schema:Intangible ;
    schema:name "Computer programs--Verification"@en ;
    .

<http://id.worldcat.org/fast/871538> # Compilers (Computer programs)
    a schema:Intangible ;
    schema:name "Compilers (Computer programs)"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

<http://id.worldcat.org/fast/872448> # Computer programs--Verification
    a schema:Intangible ;
    schema:name "Computer programs--Verification"@en ;
    .

<http://viaf.org/viaf/25770062> # Jörg Bauer
    a schema:Person ;
    schema:familyName "Bauer" ;
    schema:givenName "Jörg" ;
    schema:name "Jörg Bauer" ;
    .

<http://viaf.org/viaf/28163343> # Mooly Sagiv
    a schema:Person ;
    schema:familyName "Sagiv" ;
    schema:givenName "Mooly" ;
    schema:name "Mooly Sagiv" ;
    .

<http://viaf.org/viaf/79109798> # Reinhard Wilhelm
    a schema:Person ;
    schema:birthDate "1946" ;
    schema:familyName "Wilhelm" ;
    schema:givenName "Reinhard" ;
    schema:givenName "R." ;
    schema:name "Reinhard Wilhelm" ;
    .

<http://viaf.org/viaf/91751447> # Thomas William Reps
    a schema:Person ;
    schema:familyName "Reps" ;
    schema:givenName "Thomas William" ;
    schema:givenName "Thomas W." ;
    schema:name "Thomas William Reps" ;
    .

<http://worldcat.org/isbn/9783540713159>
    a schema:ProductModel ;
    schema:isbn "3540713158" ;
    schema:isbn "9783540713159" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science, Festschrift
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/122935587> ; # Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science, Festschrift" ;
    .

<http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4444>
    rdfs:comment "Electronic resource available to Mason students, faculty, staff, and onsite patrons." ;
    .

<http://www.worldcat.org/title/-/oclc/122935587>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/122935587> ; # Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday
    schema:dateModified "2019-06-06" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.