Static analysis: 10th international symposium, SAS 2003, San Diego, CA, USA, June 11 - 13, 2003 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
2003
|
| Schriftenreihe: | Lecture notes in computer science
2694 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | XIV, 503 S. |
| ISBN: | 3540403256 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV017193553 | ||
| 003 | DE-604 | ||
| 005 | 20041223 | ||
| 007 | t| | ||
| 008 | 030603s2003 xxu |||| 10||| eng d | ||
| 016 | 7 | |a 967884055 |2 DE-101 | |
| 020 | |a 3540403256 |9 3-540-40325-6 | ||
| 035 | |a (OCoLC)52295228 | ||
| 035 | |a (DE-599)BVBBV017193553 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-384 |a DE-91G |a DE-706 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.13 |2 21 | |
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Static analysis |b 10th international symposium, SAS 2003, San Diego, CA, USA, June 11 - 13, 2003 ; proceedings |c Radhia Cousot (ed.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 2003 | |
| 300 | |a XIV, 503 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2694 | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Langages de programmation - Congrès | |
| 650 | 4 | |a Programmation (Informatique) - Congrès | |
| 650 | 4 | |a Computer programming |v Congresses | |
| 650 | 4 | |a Programming languages (Electronic computers) |v Congresses | |
| 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 Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Statistische Analyse |0 (DE-588)4116599-8 |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 2003 |z San Diego Calif. |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 Statistische Analyse |0 (DE-588)4116599-8 |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 Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Cousot, Radhia |e Sonstige |4 oth | |
| 711 | 2 | |a SAS |n 10 |d 2003 |c San Diego, Calif. |j Sonstige |0 (DE-588)10058431-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2694 |w (DE-604)BV000000607 |9 2694 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010361712&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010361712 | |
Datensatz im Suchindex
| _version_ | 1820874921585147904 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
STATIC
ANALYSIS
OF
OBJECT-ORIENTED
LANGUAGES
PRECISE
ANALYSIS
OF
STRING
EXPRESSIONS
.
1
ASKE
SIMON
CHRISTENSEN,
ANDERS
M0LLER,
AND
MICHAEL
I.
SCHWARTZBACH
(BRICS,
DEPARTMENT
OF
COMPUTER
SCIENCE,
UNIVERSITY
OF
AARHUS)
MODULAR
CLASS
ANALYSIS
WITH
DATALOG
.
.
.
19
FREDERIC
BESSON
AND
THOMAS
JENSEN
(TRISA)
CLASS-LEVEL
MODULAR
ANALYSIS
FOR
OBJECT
ORIENTED
LANGUAGES
.
37
FRANCESCO
LOGOZZO
(STIX
-
ECOLE
POLYTECHNIQUE)
STATIC
ANALYSIS
OF
CONCURRENT
LANGUAGES
CHECKING
INTERFERENCE
WITH
FRACTIONAL
PERMISSIONS
.
55
JOHN
BOYLAND
(UNIVERSITY
OF
WISCONSIN-MILWAUKEE)
MESSAGE
ANALYSIS
FOR
CONCURRENT
LANGUAGES
.
73
RICHARD
CARLSSON,
KONSTANTINOS
SAGONAS,
AND
JESPER
WILHELMSSON
(COMPUTING
SCIENCE
DEPARTMENT,
UPPSALA
UNIVERSITY,
SWEDEN)
INSTANTANEOUS
TERMINATION
IN
PURE
ESTEREL
.
91
OLIVIER
TARDIEU
AND
ROBERT
DE
SIMONE
(INRIA)
STACK
SIZE
ANALYSIS
FOR
INTERRUPT-DRIVEN
PROGRAMS
.
109
KRISHNENDU
CHATTERJEE
(UNIVERSITY
OF
CALIFORNIA,
BERKELEY),
DI
MA
(PURDUE
UNIVERSITY),
RUPAK
MAJUMDAR
(UNIVERSITY
OF
CALIFORNIA,
BERKELEY),
TIAN
ZHAO
(UNIVERSITY
OF
WISCONSIN,
MILWAUKEE),
THOMAS
A.
HENZINGER
(UNIVERSITY
OF
CALIFORNIA,
BERKELEY),
AND
JENS
PALSBERG
(PURDUE
UNIVERSITY)
INVITED
PAPER
PROGRAM
DEVELOPMENT
USING
ABSTRACT
INTERPRETATION
(AND
THE
CIAO
SYSTEM
PREPROCESSOR)
.
127
MANUEL
V.
HERMENEGILDO
(TECHNICAL
UNIVERSITY
OF
MADRID
AND
UNIVERSITY
OF
NEW
MEXICO),
GERMAN
PUEBLA,
FRANCISCO
BUENO,
AND
PEDRO
LOPEZ-GARCIA
(TECHNICAL
UNIVERSITY
OF
MADRID)
XII
TABLE
OF
CONTENTS
STATIC
ANALYSIS
OF
FUNCTIONAL
LANGUAGES
SELECTIVE
TAIL
CALL
ELIMINATION
.
153
YASUHIKO
MINAMIDE
(UNIVERSITY
OF
TSUKUBA
AND
PRESTO,
JST)
INSERTING
SAFE
MEMORY
REUSE
COMMANDS
INTO
ML-LIKE
PROGRAMS
.
171
OUKSEH
LEE,
HONGSEOK
YANG,
AND
KWANGKEUN
YI
(KOREA
ADVANCED
INSTITUTE
OF
SCIENCE
AND
TECHNOLOGY)
STATIC
ANALYSIS
OF
PROCEDURAL
LANGUAGES
WEIGHTED
PUSHDOWN
SYSTEMS
AND
THEIR
APPLICATION
TO
INTERPROCEDURAL
DATAFLOW
ANALYSIS
.
189
THOMAS
REPS
(UNIVERSITY
OF
WISCONSIN),
STEFAN
SCHWOON
(UNIVERSITDT
STUTTGART),
AND
SOMESH
JHA
(UNIVERSITY
OF
WISCONSIN)
CLIENT-DRIVEN
POINTER
ANALYSIS
.
214
SAMUEL
Z.
GUYER
AND
CALVIN
LIN
(THE
UNIVERSITY
OF
TEXAS
AT
AUSTIN)
ABSTRACT
INTERPRETATION
OF
PROGRAMS
AS
MARKOV
DECISION
PROCESSES
.
237
DAVID
MONNIAUX
(CNRS/ECOLE
NORMALE
SUPERIEURE)
STATIC
DATA
ANALYSIS
A
LOGIC
FOR
ANALYZING
ABSTRACTIONS
OF
GRAPH
TRANSFORMATION
SYSTEMS
.
255
PAOLO
BALDAN
(DIPARTIMENTO
DI
INFORMATICA,
UNIVERSITA
CA
'
FOSCARI
VENEZIA,
ITALY),
BARBARA
KONIG
(INSTITUT
FUR
INFORMATIK,
TECHNISCHE
UNIVERSITDT
MUNCHEN,
GERMANY),
AND
BERNHARD
KONIG
(DEPARTMENT
OF
MATHEMATICS,
UNIVERSITY
OF
CALIFORNIA,
IRVINE,
USA)
TYPE
SYSTEMS
FOR
DISTRIBUTED
DATA
SHARING
.
273
BEN
LIBLIT,
ALEX
AIKEN,
AND
KATHERINE
YELICK
(UC
BERKELEY)
Z-RANKING:
USING
STATISTICAL
ANALYSIS
TO
COUNTER
THE
IMPACT
OF
STATIC
ANALYSIS
APPROXIMATIONS
.
295
TED
KREMENEK
AND
DAWSON
ENGLER
(STANFORD
UNIVERSITY)
COMPUTER-ASSISTED
VERIFICATION
OF
A
PROTOCOL
FOR
CERTIFIED
EMAIL
.
316
MARTIN
ABADI
(UNIVERSITY
OF
CALIFORNIA,
SANTA
CRUZ)
AND
BRUNO
BLANCHET
(ECOLE
NORMALE
SUPERIEURE,
PARIS
AND
MAX-PLANCK-INSTITUT
FUR
INFORMATIK,
SAARBRIICKEN)
TABLE
OF
CONTENTS
XIII
INVITED
TALK
CRAIG
INTERPOLATION
AND
REACHABILITY
ANALYSIS
.
336
KEN
L.
MCMILLAN
(CADENCE
BERKELEY
LABORATORIES)
STATIC
LINEAR
RELATION
ANALYSIS
PRECISE
WIDENING
OPERATORS
FOR
CONVEX
POLYHEDRA
.
337
ROBERTO
BAGNARA
(DEPARTMENT
OF
MATHEMATICS,
UNIVERSITY
OF
PARMA,
ITALY),
PATRICIA
M.
HILL
(SCHOOL
OF
COMPUTING,
UNIVERSITY
OF
LEEDS,
UK),
ELISA
RICCI,
AND
ENEA
ZAFFANELLA
(DEPARTMENT
OF
MATHEMATICS,
UNIVERSITY
OF
PARMA,
ITALY)
CARTESIAN
FACTORING
OF
POLYHEDRA
IN
LINEAR
RELATION
ANALYSIS
.
355
NICOLAS
HALBWACHS
(VERIMAG/CNRS),
DAVID
MERCHAT
(VERIMAG),
AND
CATHERINE
PARENT-VIGOUROUX
(VERIMAG/UJF)
STATIC
ANALYSIS
BASED
PROGRAM
TRANSFORMATION
CONTINUATION-BASED
PARTIAL
EVALUATION
WITHOUT
CONTINUATIONS
.
366
PETER
THIEMANN
(UNIVERSITAT
FREIBURG)
LOOP
TRANSFORMATIONS
FOR
REDUCING
DATA
SPACE
REQUIREMENTS
OF
RESOURCE-CONSTRAINED
APPLICATIONS
.
383
PRIYA
UNNIKRISHNAN,
GUANGYU
CHEN,
MAHMUT
KANDEMIR
(PENN
STATE
UNIV),
MUSTAFA
KARAKOY
(IMPERIAL
COLLEGE,
LONDON),
AND
IBRAHIM
KOLCU
(UMIST,
UK)
CODE
COMPACTION
OF
MATCHING
SINGLE-ENTRY
MULTIPLE-EXIT
REGIONS
.
401
WEN-KE
CHEN,
BENGU
LI,
AND
RAJIV
GUPTA
(UNIVERSITY
OF
ARIZONA)
STATIC
HEAP
ANALYSIS
EXISTENTIAL
HEAP
ABSTRACTION
ENTAILMENT
IS
UNDECIDABLE
.
418
VIKTOR
KUNCAK
AND
MARTIN
RINARD
(MIT
LABORATORY
FOR
COMPUTER
SCIENCE)
TYPESTATE
VERIFICATION:
ABSTRACTION
TECHNIQUES
AND
COMPLEXITY
RESULTS
.
439
JOHN
FIELD,
DEEPAK
GOYAL,
G.
RAMALINGAM
(IBM
T.J.
WATSON
RESEARCH
CENTER),
AND
ERAN
YAHAV
(TEL
AVIV
UNIVERSITY)
XIV
TABLE
OF
CONTENTS
STATIC
ANALYSIS
OF
ACCESSED
REGIONS
IN
RECURSIVE
DATA
STRUCTURES
.
463
STEPHEN
CHONG
AND
RADU
RUGINA
(CORNELL
UNIVERSITY)
ESTABLISHING
LOCAL
TEMPORAL
HEAP
SAFETY
PROPERTIES
WITH
APPLICATIONS
TO
COMPILE-TIME
MEMORY
MANAGEMENT
.
483
RAN
SHAHAM
(TEL-AVIV
UNIVERSITY
AND
IBM
HAIFA
RESEARCH
LABORATORY),
ERAN
YAHAV
(TEL-AVIV
UNIVERSITY),
ELLIOT
KOLODNER
(IBM
HAIFA
RESEARCH
LABORATORY),,
AND
MOOLY
SAGIV
(TEL-AVIV
UNIVERSITY)
AUTHOR
INDEX
.
505 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV017193553 |
| 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)52295228 (DE-599)BVBBV017193553 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV017193553</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20041223</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">030603s2003 xxu |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">967884055</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540403256</subfield><subfield code="9">3-540-40325-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)52295228</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017193553</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</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.13</subfield><subfield code="2">21</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">10th international symposium, SAS 2003, San Diego, CA, USA, June 11 - 13, 2003 ; proceedings</subfield><subfield code="c">Radhia Cousot (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 503 S.</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">2694</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</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="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">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">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</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">Statistische Analyse</subfield><subfield code="0">(DE-588)4116599-8</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">2003</subfield><subfield code="z">San Diego Calif.</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">Statistische Analyse</subfield><subfield code="0">(DE-588)4116599-8</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">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</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">Cousot, Radhia</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">10</subfield><subfield code="d">2003</subfield><subfield code="c">San Diego, Calif.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10058431-7</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">2694</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2694</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=010361712&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-010361712</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2003 San Diego Calif. gnd-content |
| genre_facet | Konferenzschrift 2003 San Diego Calif. |
| id | DE-604.BV017193553 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:07:25Z |
| institution | BVB |
| institution_GND | (DE-588)10058431-7 |
| isbn | 3540403256 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010361712 |
| oclc_num | 52295228 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-706 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-706 |
| physical | XIV, 503 S. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Static analysis 10th international symposium, SAS 2003, San Diego, CA, USA, June 11 - 13, 2003 ; proceedings Radhia Cousot (ed.) Berlin u.a. Springer 2003 XIV, 503 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2694 Includes bibliographical references and index Langages de programmation - Congrès Programmation (Informatique) - Congrès Computer programming Congresses Programming languages (Electronic computers) Congresses Programmtransformation (DE-588)4263654-1 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Statistische Analyse (DE-588)4116599-8 gnd rswk-swf Statische Analyse (DE-588)4325372-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2003 San Diego Calif. gnd-content Statische Analyse (DE-588)4325372-6 s DE-604 Programmanalyse (DE-588)4175841-9 s Programmtransformation (DE-588)4263654-1 s Statistische Analyse (DE-588)4116599-8 s Programmverifikation (DE-588)4135576-3 s Model Checking (DE-588)4434799-6 s Cousot, Radhia Sonstige oth SAS 10 2003 San Diego, Calif. Sonstige (DE-588)10058431-7 oth Lecture notes in computer science 2694 (DE-604)BV000000607 2694 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010361712&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Static analysis 10th international symposium, SAS 2003, San Diego, CA, USA, June 11 - 13, 2003 ; proceedings Lecture notes in computer science Langages de programmation - Congrès Programmation (Informatique) - Congrès Computer programming Congresses Programming languages (Electronic computers) Congresses Programmtransformation (DE-588)4263654-1 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Statistische Analyse (DE-588)4116599-8 gnd Statische Analyse (DE-588)4325372-6 gnd |
| subject_GND | (DE-588)4263654-1 (DE-588)4175841-9 (DE-588)4434799-6 (DE-588)4135576-3 (DE-588)4116599-8 (DE-588)4325372-6 (DE-588)1071861417 |
| title | Static analysis 10th international symposium, SAS 2003, San Diego, CA, USA, June 11 - 13, 2003 ; proceedings |
| title_auth | Static analysis 10th international symposium, SAS 2003, San Diego, CA, USA, June 11 - 13, 2003 ; proceedings |
| title_exact_search | Static analysis 10th international symposium, SAS 2003, San Diego, CA, USA, June 11 - 13, 2003 ; proceedings |
| title_full | Static analysis 10th international symposium, SAS 2003, San Diego, CA, USA, June 11 - 13, 2003 ; proceedings Radhia Cousot (ed.) |
| title_fullStr | Static analysis 10th international symposium, SAS 2003, San Diego, CA, USA, June 11 - 13, 2003 ; proceedings Radhia Cousot (ed.) |
| title_full_unstemmed | Static analysis 10th international symposium, SAS 2003, San Diego, CA, USA, June 11 - 13, 2003 ; proceedings Radhia Cousot (ed.) |
| title_short | Static analysis |
| title_sort | static analysis 10th international symposium sas 2003 san diego ca usa june 11 13 2003 proceedings |
| title_sub | 10th international symposium, SAS 2003, San Diego, CA, USA, June 11 - 13, 2003 ; proceedings |
| topic | Langages de programmation - Congrès Programmation (Informatique) - Congrès Computer programming Congresses Programming languages (Electronic computers) Congresses Programmtransformation (DE-588)4263654-1 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Statistische Analyse (DE-588)4116599-8 gnd Statische Analyse (DE-588)4325372-6 gnd |
| topic_facet | Langages de programmation - Congrès Programmation (Informatique) - Congrès Computer programming Congresses Programming languages (Electronic computers) Congresses Programmtransformation Programmanalyse Model Checking Programmverifikation Statistische Analyse Statische Analyse Konferenzschrift 2003 San Diego Calif. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010361712&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT cousotradhia staticanalysis10thinternationalsymposiumsas2003sandiegocausajune11132003proceedings AT sassandiegocalif staticanalysis10thinternationalsymposiumsas2003sandiegocausajune11132003proceedings |