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

    Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2010, Revised Selected Papers (Lecture Notes in Computer Science) (Paperback) Edited by Marko van Eekelen, Edited by Olha Shkaravska

    Hard to find title available from Book Depository

    $66.75 - Save $5.66 (7%) - RRP $72.41 Free delivery worldwide Available
    Dispatched in 4 business days
    When will my order arrive?
    Add to basket | Add to wishlist |

    DescriptionThe First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presenting originalresearchresultsthatarerelevanttothe analysisofresource(time,space) consumption by computer programs. FOPARA aimed to bring together the - searchers working on foundational issues with the researchers focusing more on practical results. Therefore, both theoretical and practical contributions were encouraged.The contributions coveredthe following topics: resourceanalysisfor embedded systems, logical and machine-independent characterizations of c- plexity classes, logics closely related to complexity classes, type systems for c- trolling complexity, semantic methods to analyze resources,including quasi- and sup-interpretations, practical applications of resource analysis, etc. This ?rst FOPARA brought two di?erent groups of researchers together. In 2006 and 2008 informal application-oriented resource analysis workshops (an EmBoundedOpen WorkshopinBudapest,2006,andaResourceAnalysisWo- shop in Hertfordshire, 2008) were held as a?liated events of the International Symposium on the Implementation and Application of Functional Languages (IFL). Participants in these workshops were the University of St. Andrew (UK), Heriot-Watt University of Edinburgh (UK), Ludwig Maximilians University of Munich (Germany), Complutense University of Madrid (Spain) and the Po- technical University of Madrid (Spain). Another group of researchers was active in the series of informal workshops on implicit computational complexity (see, for instance, WICC 2008 in Paris). That series gathers researchers working in theoretical foundations of resource analysis, mainly from France (universities of ParisDiderotandParisNord,LORIANancy),Italy(universitiesofBolognaand Turin), Norway, Germany and Portugal.


Other books

Other people who viewed this bought | Other books in this category
Showing items 1 to 10 of 10

 

Reviews | Bibliographic data
  • Full bibliographic data for Foundational and Practical Aspects of Resource Analysis

    Title
    Foundational and Practical Aspects of Resource Analysis
    Subtitle
    First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2010, Revised Selected Papers
    Authors and contributors
    Edited by Marko van Eekelen, Edited by Olha Shkaravska
    Physical properties
    Format: Paperback
    Number of pages: 170
    Width: 155 mm
    Height: 231 mm
    Thickness: 10 mm
    Weight: 272 g
    Language
    English
    ISBN
    ISBN 13: 9783642153303
    ISBN 10: 3642153305
    Classifications

    BIC E4L: COM
    Nielsen BookScan Product Class 3: S10.2
    B&T Book Type: NF
    LC subject heading: , ,
    DC22: 004
    Warengruppen-Systematik des deutschen Buchhandels: 16320
    LC classification: QA
    BIC subject category V2: UMB, UMZ
    B&T General Subject: 229
    BIC subject category V2: UMX
    B&T Merchandise Category: COM
    BISAC V2.8: COM014000
    Abridged Dewey: 005
    Ingram Subject Code: XL
    BISAC V2.8: COM051230, COM051010, COM043000
    LC subject heading:
    BISAC V2.8: COM036000, COM051000
    LC classification: QA76.758
    DC22: 005.12
    Libri: EDVA7090
    BIC subject category V2: UKN
    LC classification: QA76.9.A43, QA76.9.L63
    Libri: ALGO6000, MATH3500, PROG6000, NETZ9800
    BIC subject category V2: UMG
    LC subject heading:
    LC classification: QA75.5-76.95, QA76.5913, TK5105.5-5105.9, QA76.7-76.73, QA76.76.C65, QA76.6-76.66
    Thema V1.0: UMZ, UMX, UMB, UKN, UMG
    Illustrations note
    35 black & white illustrations, biography
    Publisher
    Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    Imprint name
    Springer-Verlag Berlin and Heidelberg GmbH & Co. K
    Publication date
    04 October 2010
    Publication City/Country
    Berlin
    Table of 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.