Static analysis: 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2005
|
| Series: | Lecture notes in computer science
3672 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | X, 367 S. graph. Darst. |
| ISBN: | 9783540285847 3540285849 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV020851915 | ||
| 003 | DE-604 | ||
| 005 | 20080813 | ||
| 007 | t| | ||
| 008 | 051102s2005 gw d||| |||| 10||| eng d | ||
| 015 | |a 05,N35,0090 |2 dnb | ||
| 015 | |a 05,A41,0103 |2 dnb | ||
| 016 | 7 | |a 975942263 |2 DE-101 | |
| 020 | |a 9783540285847 |c kart. : EUR 55.64 (freier Pr.), sfr 92.00 (freier Pr.) |9 978-3-540-28584-7 | ||
| 020 | |a 3540285849 |c kart. : EUR 55.64 (freier Pr.), sfr 92.00 (freier Pr.) |9 3-540-28584-9 | ||
| 024 | 3 | |a 9783540285847 | |
| 028 | 5 | 2 | |a 11547662 |
| 035 | |a (OCoLC)61430243 | ||
| 035 | |a (DE-599)BVBBV020851915 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-739 |a DE-91G |a DE-706 |a DE-83 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.1/3 |2 22 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Static analysis |b 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings |c Chris Hankin ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2005 | |
| 300 | |a X, 367 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 3672 | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Analyse statique |2 rasuqam | |
| 650 | 7 | |a Langage de programmation |2 rasuqam | |
| 650 | 4 | |a Langages de programmation - Congrès | |
| 650 | 4 | |a Programmation (Informatique) - Congrès | |
| 650 | 7 | |a Programmation |2 rasuqam | |
| 650 | 4 | |a Computer programming |v Congresses | |
| 650 | 4 | |a Programming languages (Electronic computers) |v Congresses | |
| 650 | 0 | 7 | |a Datenfluss |0 (DE-588)4191571-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmtransformation |0 (DE-588)4263654-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kontrollfluss |0 (DE-588)4131769-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Statische Analyse |0 (DE-588)4325372-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2005 |z London |2 gnd-content | |
| 689 | 0 | 0 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 1 | 1 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 2 | 1 | |a Programmtransformation |0 (DE-588)4263654-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 3 | 1 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 4 | 1 | |a Datenfluss |0 (DE-588)4191571-9 |D s |
| 689 | 4 | 2 | |a Kontrollfluss |0 (DE-588)4131769-5 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Hankin, Chris |e Sonstige |4 oth | |
| 711 | 2 | |a SAS |n 12 |d 2005 |c London |j Sonstige |0 (DE-588)10113620-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 3672 |w (DE-604)BV000000607 |9 3672 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=2668953&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m Digitalisierung UBPassau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014173611&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-014173611 | |
Record in the Search Index
| _version_ | 1820874966962274304 |
|---|---|
| adam_text |
Table of Contents
Invited Talks
Algorithmic Game Semantics and Static Analysis
Samson Abramsky
Prom Typed Process Calculi to Source-Based Security
Andrew D. Gordon
Contributed Papers
Widening Operators for Weakly-Relational Numeric Abstractions
Roberto
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
Roberto Bagnara,
Inference of Well-Typings for Logic Programs with Application to
Termination Analysis
Maurice Bruynooghe, John Gallagher, Wouter Van Humbeeck
Memory Space Conscious Loop Iteration Duplication for Reliable
Execution
Guilin Chen, Mahmut Kandemir, Mustafa Karakoy
Memory Usage Verification for OO Programs
Wei-Ngan Chin, Huu
Abstraction Refinement for Termination
Byron Cook, Andreas Podelski, Andrey Rybalchenko
Data-Abstraction Refinement: A Game Semantic Approach
Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic
Locality-Based Abstractions
Javier
Type-Safe Optimisation of
Neal Glew, Jens Palsberg, Christian Groihoff
X Table of Contents
Using Dependent Types to Certify the Safety of Assembly Code
Matthew
The PER Model of Abstract Non-interference
Sebastian Hunt, Isabella Mastroeni
A Relational Abstraction for Functions
Bertrand Jeannet,
Taming False Alarms from a Domain-Unaware C Analyzer by a
Bayesian Statistical Post Analysis
Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi
Banshee: A Scalable Constraint-Based Analysis Toolkit
John Kodumal, Alex Aiken
A Generic Framework for Interprocedural Analysis of Numerical
Properties
Markus Müller-Olm,
Finding Basic Block and Variable Correspondence
Iman Narasamdya, Andrei Voronkov
Boolean Heaps
Andreas Podelski, Thomas
Interprocedural Shape Analysis for Cutpoint-Free Programs
Noam Rinetzky, Mooly Sagiv,
Understanding the Origin of Alarms in
Xavier
Pair-Sharing Analysis of Object-Oriented Programs
Stefano
Exploiting Sparsity in Polyhedral Analysis
Axel Simon, Andy King-
Secure Information Flow as a Safety Problem
Tachio Terauchi, Alex Aiken
Author Index |
| adam_txt |
Table of Contents
Invited Talks
Algorithmic Game Semantics and Static Analysis
Samson Abramsky
Prom Typed Process Calculi to Source-Based Security
Andrew D. Gordon
Contributed Papers
Widening Operators for Weakly-Relational Numeric Abstractions
Roberto
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
Roberto Bagnara,
Inference of Well-Typings for Logic Programs with Application to
Termination Analysis
Maurice Bruynooghe, John Gallagher, Wouter Van Humbeeck
Memory Space Conscious Loop Iteration Duplication for Reliable
Execution
Guilin Chen, Mahmut Kandemir, Mustafa Karakoy
Memory Usage Verification for OO Programs
Wei-Ngan Chin, Huu
Abstraction Refinement for Termination
Byron Cook, Andreas Podelski, Andrey Rybalchenko
Data-Abstraction Refinement: A Game Semantic Approach
Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic
Locality-Based Abstractions
Javier
Type-Safe Optimisation of
Neal Glew, Jens Palsberg, Christian Groihoff
X Table of Contents
Using Dependent Types to Certify the Safety of Assembly Code
Matthew
The PER Model of Abstract Non-interference
Sebastian Hunt, Isabella Mastroeni
A Relational Abstraction for Functions
Bertrand Jeannet,
Taming False Alarms from a Domain-Unaware C Analyzer by a
Bayesian Statistical Post Analysis
Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi
Banshee: A Scalable Constraint-Based Analysis Toolkit
John Kodumal, Alex Aiken
A Generic Framework for Interprocedural Analysis of Numerical
Properties
Markus Müller-Olm,
Finding Basic Block and Variable Correspondence
Iman Narasamdya, Andrei Voronkov
Boolean Heaps
Andreas Podelski, Thomas
Interprocedural Shape Analysis for Cutpoint-Free Programs
Noam Rinetzky, Mooly Sagiv,
Understanding the Origin of Alarms in
Xavier
Pair-Sharing Analysis of Object-Oriented Programs
Stefano
Exploiting Sparsity in Polyhedral Analysis
Axel Simon, Andy King-
Secure Information Flow as a Safety Problem
Tachio Terauchi, Alex Aiken
Author Index |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| building | Verbundindex |
| bvnumber | BV020851915 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)61430243 (DE-599)BVBBV020851915 |
| dewey-full | 005.1/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/3 |
| dewey-search | 005.1/3 |
| dewey-sort | 15.1 13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV020851915</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080813</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">051102s2005 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,N35,0090</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,A41,0103</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">975942263</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540285847</subfield><subfield code="c">kart. : EUR 55.64 (freier Pr.), sfr 92.00 (freier Pr.)</subfield><subfield code="9">978-3-540-28584-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540285849</subfield><subfield code="c">kart. : EUR 55.64 (freier Pr.), sfr 92.00 (freier Pr.)</subfield><subfield code="9">3-540-28584-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540285847</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11547662</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)61430243</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV020851915</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Static analysis</subfield><subfield code="b">12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings</subfield><subfield code="c">Chris Hankin ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 367 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">3672</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Analyse statique</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langage de programmation</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenfluss</subfield><subfield code="0">(DE-588)4191571-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kontrollfluss</subfield><subfield code="0">(DE-588)4131769-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2005</subfield><subfield code="z">London</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Datenfluss</subfield><subfield code="0">(DE-588)4191571-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="2"><subfield code="a">Kontrollfluss</subfield><subfield code="0">(DE-588)4131769-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hankin, Chris</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SAS</subfield><subfield code="n">12</subfield><subfield code="d">2005</subfield><subfield code="c">London</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10113620-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">3672</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3672</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2668953&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UBPassau</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014173611&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014173611</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2005 London gnd-content |
| genre_facet | Konferenzschrift 2005 London |
| id | DE-604.BV020851915 |
| illustrated | Illustrated |
| index_date | 2024-07-02T13:20:09Z |
| indexdate | 2025-01-10T15:08:07Z |
| institution | BVB |
| institution_GND | (DE-588)10113620-1 |
| isbn | 9783540285847 3540285849 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014173611 |
| oclc_num | 61430243 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-706 DE-83 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-706 DE-83 |
| physical | X, 367 S. graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Static analysis 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings Chris Hankin ... (eds.) Berlin [u.a.] Springer 2005 X, 367 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 3672 Literaturangaben Analyse statique rasuqam Langage de programmation rasuqam Langages de programmation - Congrès Programmation (Informatique) - Congrès Programmation rasuqam Computer programming Congresses Programming languages (Electronic computers) Congresses Datenfluss (DE-588)4191571-9 gnd rswk-swf Programmtransformation (DE-588)4263654-1 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Kontrollfluss (DE-588)4131769-5 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Statische Analyse (DE-588)4325372-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2005 London gnd-content Statische Analyse (DE-588)4325372-6 s DE-604 Programmanalyse (DE-588)4175841-9 s Programmtransformation (DE-588)4263654-1 s Programmverifikation (DE-588)4135576-3 s Datenfluss (DE-588)4191571-9 s Kontrollfluss (DE-588)4131769-5 s Hankin, Chris Sonstige oth SAS 12 2005 London Sonstige (DE-588)10113620-1 oth Lecture notes in computer science 3672 (DE-604)BV000000607 3672 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=2668953&prov=M&dok_var=1&dok_ext=htm Inhaltstext Digitalisierung UBPassau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014173611&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Static analysis 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings Lecture notes in computer science Analyse statique rasuqam Langage de programmation rasuqam Langages de programmation - Congrès Programmation (Informatique) - Congrès Programmation rasuqam Computer programming Congresses Programming languages (Electronic computers) Congresses Datenfluss (DE-588)4191571-9 gnd Programmtransformation (DE-588)4263654-1 gnd Programmanalyse (DE-588)4175841-9 gnd Kontrollfluss (DE-588)4131769-5 gnd Programmverifikation (DE-588)4135576-3 gnd Statische Analyse (DE-588)4325372-6 gnd |
| subject_GND | (DE-588)4191571-9 (DE-588)4263654-1 (DE-588)4175841-9 (DE-588)4131769-5 (DE-588)4135576-3 (DE-588)4325372-6 (DE-588)1071861417 |
| title | Static analysis 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings |
| title_auth | Static analysis 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings |
| title_exact_search | Static analysis 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings |
| title_exact_search_txtP | Static analysis 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings |
| title_full | Static analysis 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings Chris Hankin ... (eds.) |
| title_fullStr | Static analysis 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings Chris Hankin ... (eds.) |
| title_full_unstemmed | Static analysis 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings Chris Hankin ... (eds.) |
| title_short | Static analysis |
| title_sort | static analysis 12th international symposium sas 2005 london uk september 7 9 2005 proceedings |
| title_sub | 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings |
| topic | Analyse statique rasuqam Langage de programmation rasuqam Langages de programmation - Congrès Programmation (Informatique) - Congrès Programmation rasuqam Computer programming Congresses Programming languages (Electronic computers) Congresses Datenfluss (DE-588)4191571-9 gnd Programmtransformation (DE-588)4263654-1 gnd Programmanalyse (DE-588)4175841-9 gnd Kontrollfluss (DE-588)4131769-5 gnd Programmverifikation (DE-588)4135576-3 gnd Statische Analyse (DE-588)4325372-6 gnd |
| topic_facet | Analyse statique Langage de programmation Langages de programmation - Congrès Programmation (Informatique) - Congrès Programmation Computer programming Congresses Programming languages (Electronic computers) Congresses Datenfluss Programmtransformation Programmanalyse Kontrollfluss Programmverifikation Statische Analyse Konferenzschrift 2005 London |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=2668953&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014173611&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT hankinchris staticanalysis12thinternationalsymposiumsas2005londonukseptember792005proceedings AT saslondon staticanalysis12thinternationalsymposiumsas2005londonukseptember792005proceedings |