Foundational and practical aspects of resource analysis second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers /
This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the worksh...
Corporate Authors: | FOPARA (Workshop) Madrid, Spain) |
---|---|
Other Authors: | FOPARA (Workshop), Peña, Ricardo, 1950-, Eekelen, M. C. J. D. van., Shkaravska, Olha., SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2012.
Berlin ; New York : [2012] |
Physical Description: |
1 online resource (141 pages) : illustrations. |
Series: |
Lecture notes in computer science ;
7177. LNCS sublibrary. Programming and software engineering. |
Subjects: |
LEADER | 06578cam a2201201 a 4500 | ||
---|---|---|---|
001 | 801402257 | ||
003 | OCoLC | ||
005 | 20240223121953.0 | ||
006 | m o d | ||
007 | cr cnu---unuuu | ||
008 | 120723s2012 gw a ob 101 0 eng d | ||
019 | |a 848081560 |a 1204002083 |a 1259221114 | ||
020 | |a 9783642324956 |q (electronic bk.) | ||
020 | |a 3642324959 |q (electronic bk.) | ||
020 | |z 9783642324949 | ||
024 | 7 | |a 10.1007/978-3-642-32495-6 |2 doi | |
035 | |a (OCoLC)801402257 |z (OCoLC)848081560 |z (OCoLC)1204002083 |z (OCoLC)1259221114 | ||
037 | |b Springer | ||
040 | |a GW5XE |b eng |e pn |c GW5XE |d C$Q |d COO |d OCLCO |d ZMC |d OCLCQ |d CUS |d E7B |d MEAUC |d OCLCF |d BEDGE |d OCLCO |d YDXCP |d AU@ |d OCL |d OCLCO |d OCLCQ |d EBLCP |d OCLCQ |d ESU |d OCLCQ |d IOG |d NJR |d BUF |d CEF |d OCLCQ |d U3W |d WYU |d YOU |d TKN |d LEAUB |d OCLCQ |d AJS |d OCLCQ |d OCLCO |d UKAHL |d OCLCQ |d DCT |d LUN |d QGK |d OCLCO |d OCLCL |d OCLCQ | ||
049 | |a COM6 | ||
050 | 4 | |a QA76.76.D47 |b F67 2011 | |
072 | 7 | |a UYD |2 bicssc | |
072 | 7 | |a COM074000 |2 bisacsh | |
082 | 0 | 4 | |a 005.1/2 |2 23 |
111 | 2 | |a FOPARA (Workshop) |n (2nd : |d 2011 : |c Madrid, Spain) | |
245 | 1 | 0 | |a Foundational and practical aspects of resource analysis : |b second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers / |c Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.). |
246 | 3 | 0 | |a FOPARA 2011. |
260 | |a Berlin ; |a New York : |b Springer, |c ©2012. | ||
264 | 1 | |a Berlin ; |a New York : |b Springer, |c [2012] | |
264 | 4 | |c ©2012. | |
300 | |a 1 online resource (141 pages) : |b illustrations. | ||
336 | |a text |b txt |2 rdacontent. | ||
337 | |a computer |b c |2 rdamedia. | ||
338 | |a online resource |b cr |2 rdacarrier. | ||
347 | |a text file |b PDF |2 rda. | ||
490 | 1 | |a Lecture notes in computer science, |x 1611-3349 ; |v 7177. | |
490 | 1 | |a LNCS sublibrary, SL 2, Programming and software engineering. | |
505 | 0 | 0 | |t A Higher-Order Characterization of Probabilistic Polynomial Time / |r Ugo Dal Lago and Paolo Parisen Toldin -- |t Typing a Core Binary-Field Arithmetic in a Light Logic / |r Emanuele Cesena, Marco Pedicini and Luca Roversi -- |t Interpolation-Based Height Analysis for Improving a Recurrence Solver / |r Manuel Montenegro, Olha Shkaravska, Marko van Eekelen and Ricardo Peña -- |t Interval-Based Resource Usage Verification: Formalization and Prototype / |r Pedro Lopez-Garcia, Luthfi Darmawan, Francisco Bueno and Manuel Hermenegildo -- |t Certifying and Reasoning on Cost Annotations of Functional Programs / |r Roberto M. Amadio and Yann Régis-Gianas -- |t On Abstractions for Timing Analysis in the \mathbbKK Framework / |r Mihail Asăvoae, Irina Măriuca Asăvoae and Dorel Lucanu -- |t Certifying Execution Time / |r Vítor Rodrigues, João Pedro Pedroso, Mário Florido and Simão Melo de Sousa -- |t Counter Automata for Parameterised Timing Analysis of Box-Based Systems / |r Christoph A. Herrmann and Kevin Hammond. |
504 | |a Includes bibliographical references and author index. | ||
588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed August 9, 2012). | |
520 | |a This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis. | ||
546 | |a English. | ||
650 | 0 | |a Computer software |x Development |v Congresses. | |
650 | 0 | |a Logic design. | |
650 | 0 | |a Software engineering. | |
650 | 2 | |a Software. | |
650 | 2 | |a Electronic Data Processing. | |
650 | 6 | |a Logiciels. | |
650 | 6 | |a Structure logique. | |
650 | 6 | |a Génie logiciel. | |
650 | 6 | |a Informatique. | |
650 | 7 | |a software. |2 aat. | |
650 | 7 | |a Informatique. |2 eclas. | |
650 | 7 | |a Computer software |x Development. |2 fast. | |
653 | 4 | |a Computer science. | |
653 | 4 | |a Computer system performance. | |
653 | 4 | |a Software engineering. | |
653 | 4 | |a Computer software. | |
653 | 4 | |a Logic design. | |
653 | 4 | |a System Performance and Evaluation. | |
653 | 4 | |a Algorithm Analysis and Problem Complexity. | |
653 | 4 | |a Logics and Meanings of Programs. | |
653 | 4 | |a Programming Languages, Compilers, Interpreters. | |
653 | 4 | |a Computation by Abstract Devices. | |
655 | 7 | |a Conference papers and proceedings. |2 fast. | |
655 | 7 | |a Software. |2 lcgft. | |
655 | 7 | |a Conference papers and proceedings. |2 lcgft. | |
700 | 1 | |a Peña, Ricardo, |d 1950- |1 https://id.oclc.org/worldcat/entity/E39PCjyGcGc3BG78DqGPkPK6Dm. | |
700 | 1 | |a Eekelen, M. C. J. D. van. | |
700 | 1 | |a Shkaravska, Olha. | |
710 | 2 | |a SpringerLink (Online service) | |
773 | 0 | |t Springer eBooks. | |
776 | 0 | 8 | |i Printed edition: |z 9783642324949. |
830 | 0 | |a Lecture notes in computer science ; |v 7177. |x 1611-3349. | |
830 | 0 | |a LNCS sublibrary. |n SL 2, |p Programming and software engineering. | |
907 | |a .b3622263x |b multi |c - |d 120912 |e 240320 | ||
998 | |a (3)cue |a cu |b 240227 |c m |d z |e - |f eng |g gw |h 0 |i 2 | ||
948 | |a MARCIVE Overnight, in 2024.03 | ||
948 | |a MARCIVE Comprehensive, in 2023.06 | ||
948 | |a MARCIVE Comp, in 2022.12 | ||
948 | |a MARCIVE Over, 07/2021 | ||
948 | |a MARCIVE Comp, 2019.12 | ||
948 | |a MARCIVE Comp, 2018.05 | ||
948 | |a MARCIVE Comp, 2017.10 | ||
948 | |a MARCIVE August, 2017 | ||
948 | |a MARCIVE extract Aug, 5 2017 | ||
994 | |a 92 |b COM | ||
995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
995 | |a Loaded with m2btab.elec in 2024.02 | ||
995 | |a Loaded with m2btab.ltiac in 2023.06 | ||
995 | |a Loaded with m2btab.ltiac in 2022.12 | ||
995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
995 | |a Loaded with m2btab.elec in 2021.06 | ||
995 | |a Loaded with m2btab.ltiac in 2019.12 | ||
995 | |a Loaded with m2btab.ltiac in 2018.06 | ||
995 | |a Loaded with m2btab.ltiac in 2017.10 | ||
995 | |a Loaded with m2btab.ltiac in 2017.08 | ||
995 | |a Loaded with m2btab.elec in 2016 | ||
995 | |a Loaded with m2btab.elec in 2016 | ||
995 | |a OCLC offline update by CMU | ||
999 | |e z | ||
999 | |a cue | ||
989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240227 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i150318935 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-642-32495-6 |3 SpringerLink |z Click here for access |