Programming languages and systems: 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1998
|
| Schriftenreihe: | Lecture notes in computer science
1381 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 281 S. graph. Darst. |
| ISBN: | 3540643028 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011801648 | ||
| 003 | DE-604 | ||
| 005 | 19980403 | ||
| 007 | t| | ||
| 008 | 980223s1998 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 952933772 |2 DE-101 | |
| 020 | |a 3540643028 |9 3-540-64302-8 | ||
| 035 | |a (OCoLC)39002085 | ||
| 035 | |a (DE-599)BVBBV011801648 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-20 |a DE-384 |a DE-739 |a DE-19 |a DE-634 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.6.E976 1998 | |
| 082 | 0 | |a 005.1 21 | |
| 082 | 0 | |a 005.1 |2 21 | |
| 084 | |a DAT 300f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Programming languages and systems |b 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings |c Chris Hankin (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1998 | |
| 300 | |a X, 281 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 1381 | |
| 650 | 4 | |a Computer programming -- Congresses | |
| 650 | 4 | |a Programming languages (Electronic computers) -- Congresses | |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |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 1998 |z Lissabon |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Hankin, Chris |e Sonstige |4 oth | |
| 711 | 2 | |a ESOP |n 7 |d 1998 |c Lissabon |j Sonstige |0 (DE-588)2168735-3 |4 oth | |
| 711 | 2 | |a ETAPS |n 1 |d 1998 |c Lissabon |j Sonstige |0 (DE-588)2168738-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1381 |w (DE-604)BV000000607 |9 1381 | |
| 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=007968206&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007968206 | |
Datensatz im Suchindex
| _version_ | 1820874872266424320 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
PAPERS
CONCURRENT
CONSTRAINT
PROGRAMMING
BASED
ON
FUNCTIONAL
PROGRAMMING
(EXTENDED
ABSTRACT)
.
1
G.
SMOLKA
REGULAR
PAPERS
A
BISIMULATION
METHOD
FOR
CRYPTOGRAPHIC
PROTOCOLS
.
12
M.
ABADI
AND
A.
D.
GORDON
A
POLYVARIANT
BINDING-TIME
ANALYSIS
FOR
OFF-LINE
PARTIAL
DEDUCTION
.
27
M.
BRUYNOOGHE,
M.
LEUSCHEL
AND
K.
SAGONAS
VERIFIABLE
AND
EXECUTABLE
LOGIC
SPECIFICATIONS
OF
CONCURRENT
OBJECTS
IN
.
42
L.
CAIRES
AND
L.
MONTEIRO
COMPLEXITY
OF
CONCRETE
TYPE-INFERENCE
IN
THE
PRESENCE
OF EXCEPTIONS
.
57
R.
CHATTERJEE,
B.
G.
RYDER
AND
W.
A.
LANDI
SYNCHRONISATION
ANALYSIS
TO
STOP
TUPLING
.
75
W.-N.
CHIN,
S.-C.
KHOO
AND
T.-W.
LEE
PROPAGATING
DIFFERENCES:
AN
EFFICIENT
NEW
FIXPOINT
ALGORITHM
FOR
DISTRIBUTIVE
CONSTRAINT
SYSTEMS
.
90
C.
FECHT
AND
H.
SEIDL
REASONING
ABOUT
CLASSES
IN
OBJECT-ORIENTED
LANGUAGES:
LOGICAL
MODELS
AND
TOOLS
.
105
U.
HENSEL,
M.
HUISMAN,
B.
JACOBS
AND
H.
TEWS
LANGUAGE
PRIMITIVES
AND
TYPE
DISCIPLINE
FOR
STRUCTURED
COMMUNICATION-BASED
PROGRAMMING
.
122
K.
HONDA,
V.
T.
VASCONCELOS
AND
M.
KUBO
THE
FUNCTIONAL
IMPERATIVE:
SHAPE!
.
139
C.
B.
JAY
AND
P.
A.
SLEEKIER
CODE
MOTION
AND
CODE
PLACEMENT:
JUST
SYNONYMS?
.
154
J.
KNOOP,
0.
RUTHING
AND
B.
STEFFEN
X
RECURSIVE
OBJECT
TYPES
IN
A
LOGIC
OF
OBJECT-ORIENTED
PROGRAMS
.
170
K.
R.
M.
LEINO
MODE-AUTOMATA:
ABOUT
MODES
AND
STATES
FOR
REACTIVE
SYSTEMS
.
185
F.
MARANINCHI
AND
Y.
REMOND
FROM
CLASSES
TO
OBJECTS
VIA
SUBTYPING
.
200
D.
REMY
BUILDING
A
BRIDGE
BETWEEN
POINTER
ALIASES
AND
PROGRAM
DEPENDENCES
.
221
J.
L.
ROSS
AND
M.
SAGIV
A
COMPLETE
DECLARATIVE
DEBUGGER
OF
MISSING
ANSWERS
.
236
S.
RUGGIERI
SYSTEMATIC
CHANGE
OF
DATA
REPRESENTATION:
PROGRAM
MANIPULATIONS
AND
A
CASE
STUDY
.
252
W.
L.
SCHERLIS
A
GENERIC
FRAMEWORK
FOR
SPECIALIZATION
(ABRIDGED
VERSION)
.
267
P.
THIEMANN
AUTHOR
INDEX
.
283 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011801648 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6.E976 1998 |
| callnumber-search | QA76.6.E976 1998 |
| callnumber-sort | QA 276.6 E976 41998 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1998 SS 4800 |
| classification_tum | DAT 300f |
| ctrlnum | (OCoLC)39002085 (DE-599)BVBBV011801648 |
| dewey-full | 005.121 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 21 005.1 |
| dewey-search | 005.1 21 005.1 |
| dewey-sort | 15.1 221 |
| 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">BV011801648</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980403</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">980223s1998 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">952933772</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540643028</subfield><subfield code="9">3-540-64302-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)39002085</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011801648</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-20</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6.E976 1998</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1 21</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 300f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming languages and systems</subfield><subfield code="b">7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings</subfield><subfield code="c">Chris Hankin (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 281 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">1381</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers) -- Congresses</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">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">1998</subfield><subfield code="z">Lissabon</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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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">ESOP</subfield><subfield code="n">7</subfield><subfield code="d">1998</subfield><subfield code="c">Lissabon</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2168735-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">1</subfield><subfield code="d">1998</subfield><subfield code="c">Lissabon</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2168738-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">1381</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1381</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=007968206&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-007968206</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1998 Lissabon gnd-content |
| genre_facet | Konferenzschrift 1998 Lissabon |
| id | DE-604.BV011801648 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:37Z |
| institution | BVB |
| institution_GND | (DE-588)2168735-3 (DE-588)2168738-9 |
| isbn | 3540643028 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007968206 |
| oclc_num | 39002085 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-20 DE-384 DE-739 DE-19 DE-BY-UBM DE-634 DE-83 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-20 DE-384 DE-739 DE-19 DE-BY-UBM DE-634 DE-83 DE-188 DE-706 |
| physical | X, 281 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Programming languages and systems 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings Chris Hankin (ed.) Berlin [u.a.] Springer 1998 X, 281 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1381 Computer programming -- Congresses Programming languages (Electronic computers) -- Congresses Programmierung (DE-588)4076370-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1998 Lissabon gnd-content Programmiersprache (DE-588)4047409-4 s DE-604 Programmierung (DE-588)4076370-5 s Hankin, Chris Sonstige oth ESOP 7 1998 Lissabon Sonstige (DE-588)2168735-3 oth ETAPS 1 1998 Lissabon Sonstige (DE-588)2168738-9 oth Lecture notes in computer science 1381 (DE-604)BV000000607 1381 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007968206&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Programming languages and systems 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings Lecture notes in computer science Computer programming -- Congresses Programming languages (Electronic computers) -- Congresses Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4076370-5 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Programming languages and systems 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings |
| title_auth | Programming languages and systems 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings |
| title_exact_search | Programming languages and systems 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings |
| title_full | Programming languages and systems 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings Chris Hankin (ed.) |
| title_fullStr | Programming languages and systems 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings Chris Hankin (ed.) |
| title_full_unstemmed | Programming languages and systems 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings Chris Hankin (ed.) |
| title_short | Programming languages and systems |
| title_sort | programming languages and systems 7th european symposium on programming esop 98 held as part of the joint european conferences on theory and practice of software etaps 98 lisbon portugal march 28 april 4 1998 proceedings |
| title_sub | 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings |
| topic | Computer programming -- Congresses Programming languages (Electronic computers) -- Congresses Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Computer programming -- Congresses Programming languages (Electronic computers) -- Congresses Programmierung Programmiersprache Konferenzschrift 1998 Lissabon |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007968206&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT hankinchris programminglanguagesandsystems7theuropeansymposiumonprogrammingesop98heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps98lisbonportugalmarch28april41998proceedings AT esoplissabon programminglanguagesandsystems7theuropeansymposiumonprogrammingesop98heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps98lisbonportugalmarch28april41998proceedings AT etapslissabon programminglanguagesandsystems7theuropeansymposiumonprogrammingesop98heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps98lisbonportugalmarch28april41998proceedings |