Static analysis 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings /
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) which was held 7-9 September 2005 at Imperial College London."
Corporate Authors: | International Static Analysis Symposium London, England) |
---|---|
Other Authors: | International Static Analysis Symposium, Hankin, Chris., Siveroni, Igor., SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2005.
Berlin ; New York : [2005] |
Physical Description: |
1 online resource (x, 367 pages) : illustrations. |
Series: |
Lecture notes in computer science ;
3672. |
Subjects: |
LEADER | 07635cam a2201357 a 4500 | ||
---|---|---|---|
001 | 262681399 | ||
003 | OCoLC | ||
005 | 20240223121953.0 | ||
006 | m o d | ||
007 | cr cn||||||||| | ||
008 | 081017s2005 gw a ob 101 0 eng d | ||
015 | |a 05,A41,0103 |2 dnb | ||
015 | |a 05,N35,0090 |2 dnb | ||
016 | 7 | |a 975942263 |2 DE-101 | |
019 | |a 62079616 |a 288258638 |a 613657189 |a 704275327 |a 729894181 |a 767166513 |a 785777082 |a 964916150 |a 1035659571 |a 1058635510 |a 1066577630 |a 1084938532 |a 1105602554 |a 1114497534 |a 1132299719 |a 1151317149 |a 1171213769 |a 1406320470 |a 1418770036 | ||
020 | |a 9783540319719 | ||
020 | |a 3540319719 | ||
020 | |a 3540285849 | ||
020 | |a 9783540285847 | ||
024 | 3 | |a 9783540285847 | |
028 | 5 | 2 | |a 11547662 |
035 | |a (OCoLC)262681399 |z (OCoLC)62079616 |z (OCoLC)288258638 |z (OCoLC)613657189 |z (OCoLC)704275327 |z (OCoLC)729894181 |z (OCoLC)767166513 |z (OCoLC)785777082 |z (OCoLC)964916150 |z (OCoLC)1035659571 |z (OCoLC)1058635510 |z (OCoLC)1066577630 |z (OCoLC)1084938532 |z (OCoLC)1105602554 |z (OCoLC)1114497534 |z (OCoLC)1132299719 |z (OCoLC)1151317149 |z (OCoLC)1171213769 |z (OCoLC)1406320470 |z (OCoLC)1418770036 | ||
037 | |a 978-3-540-28584-7 |b Springer |n http://www.springerlink.com | ||
040 | |a GW5XE |b eng |e pn |c GW5XE |d I8H |d OCLCQ |d QCL |d OKU |d NUI |d N$T |d OCLCQ |d YNG |d E7B |d OCLCO |d OCLCQ |d OCLCF |d BEDGE |d DKDLA |d OCLCQ |d OCLCO |d YDXCP |d IDEBK |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d EBLCP |d VT2 |d OCLCQ |d ESU |d OCLCQ |d U3W |d BUF |d STF |d UAB |d OCLCQ |d TFW |d OCLCO |d OCLCQ |d WYU |d ICG |d OCLCQ |d QE2 |d OCLCQ |d OL$ |d OCLCQ |d AUD |d WURST |d OCLCQ |d INARC |d COM |d OCLCO |d OCLCQ |d WSU |d OCLCL | ||
049 | |a COM6 | ||
050 | 4 | |a QA76.6 |b .I5733 2005eb | |
055 | 3 | |a QA75 |b .L38 no.3672 | |
072 | 7 | |a QA |2 lcco | |
072 | 7 | |a COM |x 051010 |2 bisacsh | |
082 | 0 | 4 | |a 005.1/3 |2 22 |
084 | |a SS 4800 |2 rvk | ||
084 | |a 004 |2 sdnb | ||
084 | |a DAT 310f |2 stub | ||
111 | 2 | |a International Static Analysis Symposium |n (12th : |d 2005 : |c London, England) | |
245 | 1 | 0 | |a Static analysis : |b 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings / |c Chris Hankin, Igor Siveroni (eds.). |
246 | 3 | 0 | |a SAS 2005. |
260 | |a Berlin ; |a New York : |b Springer, |c ©2005. | ||
264 | 1 | |a Berlin ; |a New York : |b Springer, |c [2005] | |
264 | 4 | |c ©2005. | |
300 | |a 1 online resource (x, 367 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. | ||
490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3672. | |
500 | |a "12th International Static Analysis Symposium ... held ... at Imperial College London"--Preface. | ||
504 | |a Includes bibliographical references and index. | ||
520 | |a "This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) which was held 7-9 September 2005 at Imperial College London." | ||
588 | 0 | |a Print version record. | |
505 | 0 | |a Invited Talks -- Algorithmic Game Semantics and Static Analysis -- From Typed Process Calculi to Source-Based Security -- Contributed Papers -- Widening Operators for Weakly-Relational Numeric Abstractions -- Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra -- Inference of Well-Typings for Logic Programs with Application to Termination Analysis -- Memory Space Conscious Loop Iteration Duplication for Reliable Execution -- Memory Usage Verification for OO Programs -- Abstraction Refinement for Termination -- Data-Abstraction Refinement: A Game Semantic Approach -- Locality-Based Abstractions -- Type-Safe Optimisation of Plugin Architectures -- Using Dependent Types to Certify the Safety of Assembly Code -- The PER Model of Abstract Non-interference -- A Relational Abstraction for Functions -- Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis -- Banshee: A Scalable Constraint-Based Analysis Toolkit -- A Generic Framework for Interprocedural Analysis of Numerical Properties -- Finding Basic Block and Variable Correspondence -- Boolean Heaps -- Interprocedural Shape Analysis for Cutpoint-Free Programs -- Understanding the Origin of Alarms in Astrée -- Pair-Sharing Analysis of Object-Oriented Programs -- Exploiting Sparsity in Polyhedral Analysis -- Secure Information Flow as a Safety Problem. | |
506 | |a Available to OhioLINK libraries. | ||
650 | 0 | |a Computer programming |v Congresses. | |
650 | 0 | |a Programming languages (Electronic computers) |v Congresses. | |
650 | 6 | |a Programmation (Informatique) |v Congrès. | |
650 | 6 | |a Langages de programmation |v Congrès. | |
650 | 7 | |a COMPUTERS |x Programming Languages |x General. |2 bisacsh. | |
650 | 7 | |a Informatique. |2 eclas. | |
650 | 7 | |a Computer programming. |2 fast. | |
650 | 7 | |a Programming languages (Electronic computers) |2 fast. | |
650 | 7 | |a Datenfluss. |2 gnd. | |
650 | 7 | |a Kontrollfluss. |2 gnd. | |
650 | 7 | |a Programmanalyse. |2 gnd. | |
650 | 7 | |a Programmtransformation. |2 gnd. | |
650 | 7 | |a Programmverifikation. |2 gnd. | |
650 | 7 | |a Statische Analyse. |2 gnd. | |
650 | 7 | |a Programmation. |2 rasuqam. | |
650 | 7 | |a Langage de programmation. |2 rasuqam. | |
650 | 1 | 7 | |a Analyse statique. |2 rasuqam. |
653 | 0 | 0 | |a wiskunde. |
653 | 0 | 0 | |a mathematics. |
653 | 0 | 0 | |a programmeren. |
653 | 0 | 0 | |a programming. |
653 | 0 | 0 | |a computerwetenschappen. |
653 | 0 | 0 | |a computer sciences. |
653 | 0 | 0 | |a logica. |
653 | 0 | 0 | |a logic. |
653 | 0 | 0 | |a programmeertalen. |
653 | 0 | 0 | |a programming languages. |
653 | 0 | 0 | |a software engineering. |
653 | 1 | 0 | |a Information and Communication Technology (General) |
653 | 1 | 0 | |a Informatie- en communicatietechnologie (algemeen) |
655 | 2 | |a Congress. | |
655 | 7 | |a Conference papers and proceedings. |2 fast. | |
655 | 7 | |a Conference papers and proceedings. |2 lcgft. | |
655 | 7 | |a Actes de congrès. |2 rvmgf. | |
655 | 7 | |a Kongress. |2 swd. | |
655 | 7 | |a London (2005) |2 swd. | |
700 | 1 | |a Hankin, Chris. | |
700 | 1 | |a Siveroni, Igor. | |
710 | 2 | |a SpringerLink (Online service) | |
773 | 0 | |t OhioLINK electronic book center |w (OCoLC)180989150. | |
773 | 0 | |t SpringerLink |w (OCoLC)43927870. | |
776 | 0 | 8 | |i Print version: |a International Static Analysis Symposium (12th : 2005 : London, England). |t Static analysis. |d Berlin ; New York : Springer, ©2005 |z 3540285849 |z 9783540285847 |w (DLC) 2005931559 |w (OCoLC)61430243. |
830 | 0 | |a Lecture notes in computer science ; |v 3672. |x 0302-9743. | |
907 | |a .b29594431 |b multi |c - |d 100215 |e 240320 | ||
998 | |a (3)cue |a cc |a cu |b 240227 |c m |d z |e - |f eng |g gw |h 0 |i 3 | ||
948 | |a MARCIVE Overnight, in 2024.03 | ||
948 | |a MARCIVE Comp, in 2022.12 | ||
948 | |a MARCIVE Over, 07/2021 | ||
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 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 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 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 .i150190931 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/11547662 |3 SpringerLink |z Click here for access |