skip to content
Foundational and Practical Aspects of Resource Analysis : First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009, Revised Selected Papers Preview this item
ClosePreview this item
Checking...

Foundational and Practical Aspects of Resource Analysis : First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009, Revised Selected Papers

Author: Marko Eekelen; Olha Shkaravska
Publisher: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010.
Series: SpringerLink: Springer e-Books; Lecture Notes in Computer Science, 6324.
Edition/Format:   Computer file : English : Online-ausgView all editions and formats
Summary:

Constitutes the refereed proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, held at the 16th International Symposium on Formal  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: Kongress
Online-Publikation
Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Marko Eekelen; Olha Shkaravska
ISBN: 9783642153310 3642153313 9783642153303 3642153305
OCLC Number: 682059687
Reproduction Notes: Berlin [u.a.] Springer, 2010. online-Ressource. Online-Ausg.
Description: S.
Contents: FOPARA 2009.- Comparing Cost Functions in Resource Analysis.- Improvements to a Resource Analysis for Hume.- A Space Consumption Analysis by Abstract Interpretation.- Global and Local Space Properties of Stream Programs.- Characterising Effective Resource Analyses for Parallel and Distributed Coordination.- Static Complexity Analysis of Higher Order Programs.- Derivational Complexity Is an Invariant Cost Model.- A Local Criterion for Polynomial-Time Stratified Computations.- Non-deterministic Boolean Proof Nets.- Polynomial Time Computation in the Context of Recursive Analysis.
Series Title: SpringerLink: Springer e-Books; Lecture Notes in Computer Science, 6324.
Responsibility: edited by Marko Eekelen, Olha Shkaravska.

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/682059687> # Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009, Revised Selected Papers
    a bgn:ComputerFile, schema:CreativeWork ;
    library:oclcnum "682059687" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4663808601#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://dewey.info/class/004.0151/e22/ger/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4663808601#Place/eindhoven_2009> ; # Eindhoven <2009>
    schema:about <http://experiment.worldcat.org/entity/work/data/4663808601#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/4663808601#Topic/abstrakte_interpretation> ; # Abstrakte Interpretation
    schema:about <http://experiment.worldcat.org/entity/work/data/4663808601#Topic/komplexitatsklasse> ; # Komplexitätsklasse
    schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/4663808601#Topic/eingebettetes_system> ; # Eingebettetes System
    schema:about <http://experiment.worldcat.org/entity/work/data/4663808601#Topic/kostenfunktion> ; # Kostenfunktion
    schema:about <http://experiment.worldcat.org/entity/work/data/4663808601#Topic/programmanalyse> ; # Programmanalyse
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/4663808601#Topic/computer_communication_networks> ; # Computer Communication Networks
    schema:about <http://dewey.info/class/005.131/e22/ger/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4663808601#Topic/ressourcenbeschranktes_mass> ; # Ressourcenbeschränktes Maß
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/4663808601#Topic/logic_design> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/4663808601#Topic/computer_software> ; # Computer software
    schema:about <http://experiment.worldcat.org/entity/work/data/4663808601#Topic/computer_science> ; # Computer Science
    schema:author <http://viaf.org/viaf/130454338> ; # Olha Shkaravska
    schema:author <http://viaf.org/viaf/183630340> ; # Marko Eekelen
    schema:bookEdition "Online-ausg." ;
    schema:datePublished "2010" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4663808601> ;
    schema:genre "Online-Publikation" ;
    schema:genre "Kongress" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4663808601#Series/springerlink_springer_e_books> ; # SpringerLink: Springer e-Books
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4663808601#Series/lecture_notes_in_computer_science> ; # Lecture Notes in Computer Science ;
    schema:name "Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009, Revised Selected Papers" ;
    schema:productID "682059687" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/682059687#PublicationEvent/berlin_heidelberg_springer_verlag_heidelberg_2010> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4663808601#Agent/springer_verlag_heidelberg> ; # Springer-Verlag Heidelberg
    schema:url <http://sfx.metabib.ch:9003/sfx_locater?sid=ALEPH:DSV01&genre=book&isbn=978-3-642-15331-0&id=doi:10.1007/978-3-642-15331-0> ;
    schema:url <http://swbplus.bsz-bw.de/bsz330930338cov.htm> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-15331-0> ;
    schema:workExample <http://worldcat.org/isbn/9783642153303> ;
    schema:workExample <http://worldcat.org/isbn/9783642153310> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-15331-0> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/682059687> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4663808601#Agent/springer_verlag_heidelberg> # Springer-Verlag Heidelberg
    a bgn:Agent ;
    schema:name "Springer-Verlag Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663808601#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663808601#Place/eindhoven_2009> # Eindhoven <2009>
    a schema:Place ;
    schema:name "Eindhoven <2009>" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663808601#Series/lecture_notes_in_computer_science> # Lecture Notes in Computer Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/682059687> ; # Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009, Revised Selected Papers
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663808601#Series/springerlink_springer_e_books> # SpringerLink: Springer e-Books
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/682059687> ; # Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009, Revised Selected Papers
    schema:name "SpringerLink: Springer e-Books" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663808601#Topic/abstrakte_interpretation> # Abstrakte Interpretation
    a schema:Intangible ;
    schema:name "Abstrakte Interpretation" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663808601#Topic/computer_communication_networks> # Computer Communication Networks
    a schema:Intangible ;
    schema:name "Computer Communication Networks" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663808601#Topic/computer_science> # Computer Science
    a schema:Intangible ;
    schema:name "Computer Science" ;
    schema:name "Computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663808601#Topic/computer_software> # Computer software
    a schema:Intangible ;
    schema:name "Computer software" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663808601#Topic/eingebettetes_system> # Eingebettetes System
    a schema:Intangible ;
    schema:name "Eingebettetes System" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663808601#Topic/komplexitatsklasse> # Komplexitätsklasse
    a schema:Intangible ;
    schema:name "Komplexitätsklasse" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663808601#Topic/ressourcenbeschranktes_mass> # Ressourcenbeschränktes Maß
    a schema:Intangible ;
    schema:name "Ressourcenbeschränktes Maß" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663808601#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    .

<http://id.worldcat.org/fast/872527> # Computer software
    a schema:Intangible ;
    schema:name "Computer software" ;
    .

<http://viaf.org/viaf/130454338> # Olha Shkaravska
    a schema:Person ;
    schema:familyName "Shkaravska" ;
    schema:givenName "Olha" ;
    schema:name "Olha Shkaravska" ;
    .

<http://viaf.org/viaf/183630340> # Marko Eekelen
    a schema:Person ;
    schema:familyName "Eekelen" ;
    schema:givenName "Marko" ;
    schema:name "Marko Eekelen" ;
    .

<http://worldcat.org/isbn/9783642153303>
    a schema:ProductModel ;
    schema:isbn "3642153305" ;
    schema:isbn "9783642153303" ;
    .

<http://worldcat.org/isbn/9783642153310>
    a schema:ProductModel ;
    schema:isbn "3642153313" ;
    schema:isbn "9783642153310" ;
    .

<http://www.worldcat.org/title/-/oclc/682059687>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/682059687> ; # Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009, Revised Selected Papers
    schema:dateModified "2018-05-20" ;
    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.