Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2007
|
| Schriftenreihe: | Lecture Notes in Computer Science
4421 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV022398869 | ||
| 003 | DE-604 | ||
| 005 | 20170306 | ||
| 007 | t| | ||
| 008 | 070424s2007 gw d||| |||| 10||| eng d | ||
| 015 | |a 07,N14,0104 |2 dnb | ||
| 016 | 7 | |a 983416885 |2 DE-101 | |
| 020 | |a 9783540713142 |c : EUR 72.76 (freier Pr.), sfr 111.50 (freier Pr.) |9 978-3-540-71314-2 | ||
| 020 | |a 354071314X |c : EUR 72.76 (freier Pr.), sfr 111.50 (freier Pr.) |9 3-540-71314-X | ||
| 024 | 3 | |a 9783540713142 | |
| 028 | 5 | 2 | |a 12032907 |
| 035 | |a (OCoLC)633453030 | ||
| 035 | |a (DE-599)DNB983416885 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 005.13 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 350f |2 stub | ||
| 245 | 1 | 0 | |a Programming languages and systems |b 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |c Rocco De Nicola (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2007 | |
| 300 | |a XVII, 538 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 4421 | |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessalgebra |0 (DE-588)4283920-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Statische Analyse |0 (DE-588)4325372-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2007 |z Braga |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 2 | 1 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 2 | 2 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 3 | 1 | |a Prozessalgebra |0 (DE-588)4283920-8 |D s |
| 689 | 3 | 2 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a DeNicola, Rocco |4 edt | |
| 711 | 2 | |a ESOP |n 16 |d 2007 |c Braga |j Sonstige |0 (DE-588)6063711-0 |4 oth | |
| 711 | 2 | |a ETAPS |n 10 |d 2007 |c Braga |j Sonstige |0 (DE-588)6063710-9 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 4421 |w (DE-604)BV000000607 |9 4421 | |
| 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=015607567&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-015607567 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 001z 2001 A 999 |
|---|---|
| DE-BY-TUM_katkey | 1592051 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010253560 |
| _version_ | 1822409017973014528 |
| adam_text |
ROCCO DE NICOLA (ED.)
PROGRAMMING
LANGUAGES
AND SYSTEMS
16TH EUROPEAN SYMPOSIUM ON PROGRAMMING, ESOP 2007
HELD AS PART OF THE JOINT EUROPEAN CONFERENCES
ON THEORY AND PRACTICS OF SOFTWARE, ETAPS 2007
BRAGA, PORTUGAL, MARCH 24 - APRIL 1, 2007
PROCEEDINGS
SPRINGE
R
TABL
E OF CONTENT
S
INVITE
D TAL
K
TECHNIQUES FOR CONTEXTUA
L EQUIVALENC
E IN HIGHER-ORDER
, TYPE
D
LANGUAGE
S 1
ANDREW PITTS
MODEL
S AN
D LANGUAGE
S FO
R WE
B SERVICE
S
STRUCTURE
D COMMUNICATION-CENTRE
D PROGRAMMIN
G FOR WE
B SERVICES .
. 2
MARCO CARBONE, KOHEI HONDA, AND NOBUKO YOSHIDA
CC-PI
: A CONSTRAINT-BASE
D LANGUAG
E FOR SPECIFYING SERVICE LEVEL
AGREEMENT
S 18
MARIA GRAZIA BUSCEMI AND UGO MONTANARI
A CALCULU
S FOR ORCHESTRATIO
N OF WEB SERVICES 3
3
ALESSANDRO LAPADVIA, ROSARIO PUGLIESE, AND FRANCESCO TIEZZI
A CONCURREN
T CALCULU
S WIT
H ATOMI
C TRANSACTION
S 48
LUCIA ACCIAI, MICHELE BOREALE, AND SILVANO DAL ZILIO
VERIFICATIO
N
MODA
L I/
O AUTOMAT
A FOR INTERFAC
E AN
D PRODUC
T LINE THEORIE
S 64
J
- KIM G. LARSEN, ULRIK NYMAN, AND ANDRZEJ WQSOWSKI
USING HISTOR
Y INVARIANT
S T
O VERIFY OBSERVER
S 80
.-,. K. RUSTAN M, LEINO AND WOLFRAM SCHULTE
TER
M REWRITIN
G
ON TH
E IMPLEMENTATIO
N OF CONSTRUCTIO
N FUNCTION
S FOR NON-FREE
CONCRET
E DAT
A TYPE
S 95
, FREDERIC BLANQUI, THERESE HARDIN, AND PIERRE WEIS
ANTI-PATTER
N MATCHIN
G 110
CLAUDE KIRCHNER, RADU KOPETZ, AND PIERRE-ETIENNE MOREAU
LANGUAG
E BASE
D SECURIT
Y
A CERTIFIED LIGHTWEIGHT NON-INTERFERENCE JAV
A BYTECOD
E VERIFIER 125
' GILLES BARTHE, DAVID PICHARDIE, AND TAMARA REZK
XVI TABLE OF CONTENTS
CONTROLLIN
G TH
E WHA
T AN
D WHER
E OF DECLASSIFICATION IN LANGUAGE-BASE
D
SECURIT
Y 141
HEIKO MANTEL AND ALEXANDER REINHARD
COST ANALYSIS OF JAV
A BYTECOD
E 157
E. ALBERT, P. ARENAS, S. GENAIM, G. PUEBLA, AND D, ZANARDINI
LOGICS AN
D CORRECTNES
S PROOF
S
ON TH
E RELATIONSHI
P BETWEE
N CONCURREN
T SEPARATIO
N LOGIC AN
D
ASSUME-GUARANTE
E REASONIN
G 173
XINYU FENG, RODRIGO FERREIRA, AND ZHONG SHAO
ABSTRAC
T PREDICATE
S AN
D MUTABL
E ADTS IN HOAR
E TYP
E THEOR
Y 189
ALEKSANDAR NANEVSKI, AMAL AHMED, GREG MORRISETT, AND
LARS BIRKEDAL
STRUCTUR
E OF A PROOF-PRODUCIN
G COMPILER FOR A SUBSE
T OF HIGHER ORDE
R
LOGIC 205
GUODONG LI, SCOTT OWENS, AND KONRAD SLIND
STATI
C ANALYSI
S AN
D ABSTRAC
T INTERPRETATIO
N I
MODULA
R SHAP
E ANALYSI
S FOR DYNAMICALL
Y ENCAPSULATE
D PROGRAM
S 220
N. RINETZKY, A. POETZSCH-HEFFTER, G, RAMALINGAM, M, SAGIV, AND
E. YAHAV
STATI
C ANALYSIS BY POLICY ITERATIO
N ON RELATIONA
L DOMAIN
S 237
STEPHANE GAUBERT, ERIC GOUBAULT, ANKUR TALY, AND SARAH ZENNOU
COMPUTIN
G PROCEDUR
E SUMMARIE
S FOR INTERPROCEDURA
L ANALYSI
S 253
SUMIT GULWANI AND ASHISH TIWARI
SMALL WITNESSE
S FOR ABSTRAC
T INTERPRETATION-BASE
D PROOFS 268
FREDERIC BESSON, THOMAS JENSEN, AND TIPHAINE TURPIN
STATI
C ANALYSI
S AN
D ABSTRAC
T INTERPRETATIO
N I
I
INTERPROCEDURALL
Y ANALYSIN
G LINEA
R INEQUALIT
Y RELATION
S 284
HELMUT SEIDL, ANDREA FLEXEDER, AND MICHAEL FETTER
PRECIS
E FIXPOIN
T COMPUTATIO
N THROUG
H STRATEG
Y ITERATIO
N 300
THOMAS GAWLITZA AND HELMUT SEIDL
SEMANTI
C THEORIE
S FOR OBJEC
T ORIENTE
D LANGUAGE
S
A COMPLET
E GUID
E T
O TH
E FUTUR
E
FRANK S. DE BOER, DAVE CLARKE, AND EINAR BROCH JOHNSEN
316
TABLE OF CONTENTS XVII
TH
E JAV
A MEMORY MODEL
: OPERATIO
N ALL Y, DENOTATIONALLY
,
AXIOM ATICALL
Y 331
PIETRO CENCIARELLI, ALEXANDER KNAPP, AND ELEONORA SIBILIO
IMMUTABL
E OBJECT
S FOR A JAVA-LIK
E LANGUAG
E 347
C. HAACK, E. POLL, J. SCHAEFER, AND A. SCHUBERT
PROCES
S ALGEBRAI
C TECHNIQUE
S
SCALAR OUTCOME
S SUFFICE FOR FINITAR
Y PROBABILISTI
C TESTIN
G 363
YUXIN DENG, ROB VAN GLABBEEK, CARROLL MORGAN, AND CHENYI ZHANG
PROBABILISTI
C ANONYMIT
Y VIA COALGEBRAI
C SIMULATION
S 379
JCHIRO HASUO AND YOSHINOBU KAWABE
A FAUL
T TOLERANC
E BISIMULATIO
N PROO
F FOR CONSENSU
S 395
ADRIAN FRANCALANZA AND MATTHEW HENNESSY
A CORE CAICULU
S FOR A COMPARATIV
E ANALYSIS OF BIO-INSPIRED CALCULI .
. 411
CRISTIAN VERSARI
APPLICATIV
E PROGRAMMIN
G
A REWRITIN
G SEMANTIC
S FOR TYP
E INFERENCE 426
GEORGE KUAN, DAVID MACQUEEN, AND ROBERT BRUCE FINALER
PRINCIPA
L TYP
E SCHEMES FOR MODULA
R PROGRAM
S 441
DEREK DREYER AND MATTHIAS BLUME
A CONSISTEN
T SEMANTIC
S OF SELF-ADJUSTING COMPUTATIO
N 458
UMUT A. ACAR, MATTHIAS BLUME, AND JACOB DONHAM
MULTI-LANGUAG
E SYNCHRONIZATIO
N 475
ROBERT ENNALS AND DAVID GAY
TYPE
S FOR SYSTEM
S PROPERTIE
S
TYPE-BASE
D ANALYSI
S OF DEADLOCK FOR A CONCURREN
T CAICULU
S WIT
H
INTERRUPT
S 490
KOHEI SUENAGA AND NAOKI KOBAYASHI
TYP
E RECONSTRUCTIO
N FOR GENERA
L REFINEMENT TYPE
S 505
KENNETH KNOWLES AND CORMAC FLANAGAN
DEPENDEN
T TYPE
S FOR LOW-LEVEL PROGRAMMIN
G 520
JEREMY CONDIT, MATTHEW HARREN, ZACHARY ANDERSON,
DAVID GAY, AND GEORGE C. NECULA
AUTHO
R INDE
X 537 |
| any_adam_object | 1 |
| author2 | DeNicola, Rocco |
| author2_role | edt |
| author2_variant | r d rd |
| author_facet | DeNicola, Rocco |
| building | Verbundindex |
| bvnumber | BV022398869 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 350f |
| ctrlnum | (OCoLC)633453030 (DE-599)DNB983416885 |
| 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 a2200000 cb4500</leader><controlfield tag="001">BV022398869</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170306</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">070424s2007 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N14,0104</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">983416885</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540713142</subfield><subfield code="c">: EUR 72.76 (freier Pr.), sfr 111.50 (freier Pr.)</subfield><subfield code="9">978-3-540-71314-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354071314X</subfield><subfield code="c">: EUR 72.76 (freier Pr.), sfr 111.50 (freier Pr.)</subfield><subfield code="9">3-540-71314-X</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540713142</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12032907</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633453030</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB983416885</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">22/ger</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 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming languages and systems</subfield><subfield code="b">16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings</subfield><subfield code="c">Rocco De Nicola (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 538 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">4421</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</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="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</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">2007</subfield><subfield code="z">Braga</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</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">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><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="2"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">DeNicola, Rocco</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ESOP</subfield><subfield code="n">16</subfield><subfield code="d">2007</subfield><subfield code="c">Braga</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6063711-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">10</subfield><subfield code="d">2007</subfield><subfield code="c">Braga</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6063710-9</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">4421</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">4421</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=015607567&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-015607567</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2007 Braga gnd-content |
| genre_facet | Konferenzschrift 2007 Braga |
| id | DE-604.BV022398869 |
| illustrated | Illustrated |
| indexdate | 2025-01-27T13:31:14Z |
| institution | BVB |
| institution_GND | (DE-588)6063711-0 (DE-588)6063710-9 |
| isbn | 9783540713142 354071314X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015607567 |
| oclc_num | 633453030 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XVII, 538 S. graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Rocco De Nicola (ed.) Berlin [u.a.] Springer 2007 XVII, 538 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 4421 Formale Sprache (DE-588)4017848-1 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Prozessalgebra (DE-588)4283920-8 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Abstrakte Interpretation (DE-588)4621153-6 gnd rswk-swf Statische Analyse (DE-588)4325372-6 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2007 Braga gnd-content Programmiersprache (DE-588)4047409-4 s DE-604 Formale Sprache (DE-588)4017848-1 s Programmierung (DE-588)4076370-5 s Statische Analyse (DE-588)4325372-6 s Abstrakte Interpretation (DE-588)4621153-6 s Prozessalgebra (DE-588)4283920-8 s Programmierlogik (DE-588)4047408-2 s DeNicola, Rocco edt ESOP 16 2007 Braga Sonstige (DE-588)6063711-0 oth ETAPS 10 2007 Braga Sonstige (DE-588)6063710-9 oth Lecture Notes in Computer Science 4421 (DE-604)BV000000607 4421 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015607567&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Lecture Notes in Computer Science Formale Sprache (DE-588)4017848-1 gnd Programmierlogik (DE-588)4047408-2 gnd Prozessalgebra (DE-588)4283920-8 gnd Programmierung (DE-588)4076370-5 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd Statische Analyse (DE-588)4325372-6 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4017848-1 (DE-588)4047408-2 (DE-588)4283920-8 (DE-588)4076370-5 (DE-588)4621153-6 (DE-588)4325372-6 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| title_auth | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| title_exact_search | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| title_full | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Rocco De Nicola (ed.) |
| title_fullStr | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Rocco De Nicola (ed.) |
| title_full_unstemmed | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Rocco De Nicola (ed.) |
| title_short | Programming languages and systems |
| title_sort | programming languages and systems 16th european symposium on programming esop 2007 held as part of the joint european conferences on theory and practics of software etaps 2007 braga portugal march 24 april 1 2007 proceedings |
| title_sub | 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| topic | Formale Sprache (DE-588)4017848-1 gnd Programmierlogik (DE-588)4047408-2 gnd Prozessalgebra (DE-588)4283920-8 gnd Programmierung (DE-588)4076370-5 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd Statische Analyse (DE-588)4325372-6 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Formale Sprache Programmierlogik Prozessalgebra Programmierung Abstrakte Interpretation Statische Analyse Programmiersprache Konferenzschrift 2007 Braga |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015607567&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT denicolarocco programminglanguagesandsystems16theuropeansymposiumonprogrammingesop2007heldaspartofthejointeuropeanconferencesontheoryandpracticsofsoftwareetaps2007bragaportugalmarch24april12007proceedings AT esopbraga programminglanguagesandsystems16theuropeansymposiumonprogrammingesop2007heldaspartofthejointeuropeanconferencesontheoryandpracticsofsoftwareetaps2007bragaportugalmarch24april12007proceedings AT etapsbraga programminglanguagesandsystems16theuropeansymposiumonprogrammingesop2007heldaspartofthejointeuropeanconferencesontheoryandpracticsofsoftwareetaps2007bragaportugalmarch24april12007proceedings |