Static analysis: 8th international symposium, SAS 2001, Paris, France, July 16 - 18, 2001 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2001
|
| Schriftenreihe: | Lecture notes in computer science
2126 |
| Schlagworte: | |
| Beschreibung: | XI, 436 S. graph. Darst. |
| ISBN: | 3540423141 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013798451 | ||
| 003 | DE-604 | ||
| 005 | 20010927 | ||
| 007 | t| | ||
| 008 | 010626s2001 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 961727764 |2 DE-101 | |
| 020 | |a 3540423141 |9 3-540-42314-1 | ||
| 035 | |a (OCoLC)47183588 | ||
| 035 | |a (DE-599)BVBBV013798451 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-824 |a DE-706 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.1 |2 21 | |
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Static analysis |b 8th international symposium, SAS 2001, Paris, France, July 16 - 18, 2001 ; proceedings |c Patrick Cousot (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2001 | |
| 300 | |a XI, 436 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 2126 | |
| 650 | 4 | |a Langages de programmation - Congrès | |
| 650 | 7 | |a Langages de programmation - Sémantique - Congrès |2 ram | |
| 650 | 7 | |a Ordinateurs - Programmation - Congrès |2 ram | |
| 650 | 4 | |a Programmation (Informatique) - Congrès | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 7 | |a abstraction |2 inriac | |
| 650 | 7 | |a analyse statique |2 inriac | |
| 650 | 7 | |a manipulation programme |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation sous contrainte |2 inriac | |
| 650 | 7 | |a structure donnée |2 inriac | |
| 650 | 7 | |a transformation programme |2 inriac | |
| 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 Constraint-logische Programmierung |0 (DE-588)4382849-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 2001 |z Paris |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 Constraint-logische Programmierung |0 (DE-588)4382849-8 |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, Patrick |e Sonstige |4 oth | |
| 711 | 2 | |a SAS |n 8 |d 2001 |c Paris |j Sonstige |0 (DE-588)10022163-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2126 |w (DE-604)BV000000607 |9 2126 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009434625 | |
Datensatz im Suchindex
| _version_ | 1820874903624089600 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV013798451 |
| 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)47183588 (DE-599)BVBBV013798451 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| 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 a22000008cb4500</leader><controlfield tag="001">BV013798451</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010927</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010626s2001 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">961727764</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540423141</subfield><subfield code="9">3-540-42314-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)47183588</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013798451</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</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.1</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">8th international symposium, SAS 2001, Paris, France, July 16 - 18, 2001 ; proceedings</subfield><subfield code="c">Patrick 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">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 436 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">2126</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation - Sémantique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Programmation - Congrès</subfield><subfield code="2">ram</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">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">abstraction</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse statique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">manipulation programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation sous contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">structure donnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">transformation programme</subfield><subfield code="2">inriac</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">Constraint-logische Programmierung</subfield><subfield code="0">(DE-588)4382849-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">2001</subfield><subfield code="z">Paris</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">Constraint-logische Programmierung</subfield><subfield code="0">(DE-588)4382849-8</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, Patrick</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">8</subfield><subfield code="d">2001</subfield><subfield code="c">Paris</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10022163-4</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">2126</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2126</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009434625</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2001 Paris gnd-content |
| genre_facet | Konferenzschrift 2001 Paris |
| id | DE-604.BV013798451 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:08Z |
| institution | BVB |
| institution_GND | (DE-588)10022163-4 |
| isbn | 3540423141 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009434625 |
| oclc_num | 47183588 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-824 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-824 DE-706 |
| physical | XI, 436 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Static analysis 8th international symposium, SAS 2001, Paris, France, July 16 - 18, 2001 ; proceedings Patrick Cousot (ed.) Berlin [u.a.] Springer 2001 XI, 436 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2126 Langages de programmation - Congrès Langages de programmation - Sémantique - Congrès ram Ordinateurs - Programmation - Congrès ram Programmation (Informatique) - Congrès Programmatuurtechniek gtt abstraction inriac analyse statique inriac manipulation programme inriac programmation en logique inriac programmation sous contrainte inriac structure donnée inriac transformation programme inriac 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 Constraint-logische Programmierung (DE-588)4382849-8 gnd rswk-swf Statische Analyse (DE-588)4325372-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Paris gnd-content Statische Analyse (DE-588)4325372-6 s DE-604 Programmanalyse (DE-588)4175841-9 s Programmtransformation (DE-588)4263654-1 s Constraint-logische Programmierung (DE-588)4382849-8 s Model Checking (DE-588)4434799-6 s Cousot, Patrick Sonstige oth SAS 8 2001 Paris Sonstige (DE-588)10022163-4 oth Lecture notes in computer science 2126 (DE-604)BV000000607 2126 |
| spellingShingle | Static analysis 8th international symposium, SAS 2001, Paris, France, July 16 - 18, 2001 ; proceedings Lecture notes in computer science Langages de programmation - Congrès Langages de programmation - Sémantique - Congrès ram Ordinateurs - Programmation - Congrès ram Programmation (Informatique) - Congrès Programmatuurtechniek gtt abstraction inriac analyse statique inriac manipulation programme inriac programmation en logique inriac programmation sous contrainte inriac structure donnée inriac transformation programme inriac 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 Constraint-logische Programmierung (DE-588)4382849-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)4382849-8 (DE-588)4325372-6 (DE-588)1071861417 |
| title | Static analysis 8th international symposium, SAS 2001, Paris, France, July 16 - 18, 2001 ; proceedings |
| title_auth | Static analysis 8th international symposium, SAS 2001, Paris, France, July 16 - 18, 2001 ; proceedings |
| title_exact_search | Static analysis 8th international symposium, SAS 2001, Paris, France, July 16 - 18, 2001 ; proceedings |
| title_full | Static analysis 8th international symposium, SAS 2001, Paris, France, July 16 - 18, 2001 ; proceedings Patrick Cousot (ed.) |
| title_fullStr | Static analysis 8th international symposium, SAS 2001, Paris, France, July 16 - 18, 2001 ; proceedings Patrick Cousot (ed.) |
| title_full_unstemmed | Static analysis 8th international symposium, SAS 2001, Paris, France, July 16 - 18, 2001 ; proceedings Patrick Cousot (ed.) |
| title_short | Static analysis |
| title_sort | static analysis 8th international symposium sas 2001 paris france july 16 18 2001 proceedings |
| title_sub | 8th international symposium, SAS 2001, Paris, France, July 16 - 18, 2001 ; proceedings |
| topic | Langages de programmation - Congrès Langages de programmation - Sémantique - Congrès ram Ordinateurs - Programmation - Congrès ram Programmation (Informatique) - Congrès Programmatuurtechniek gtt abstraction inriac analyse statique inriac manipulation programme inriac programmation en logique inriac programmation sous contrainte inriac structure donnée inriac transformation programme inriac 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 Constraint-logische Programmierung (DE-588)4382849-8 gnd Statische Analyse (DE-588)4325372-6 gnd |
| topic_facet | Langages de programmation - Congrès Langages de programmation - Sémantique - Congrès Ordinateurs - Programmation - Congrès Programmation (Informatique) - Congrès Programmatuurtechniek abstraction analyse statique manipulation programme programmation en logique programmation sous contrainte structure donnée transformation programme Computer programming Congresses Programming languages (Electronic computers) Congresses Programmtransformation Programmanalyse Model Checking Constraint-logische Programmierung Statische Analyse Konferenzschrift 2001 Paris |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT cousotpatrick staticanalysis8thinternationalsymposiumsas2001parisfrancejuly16182001proceedings AT sasparis staticanalysis8thinternationalsymposiumsas2001parisfrancejuly16182001proceedings |