Modular programming languages: Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6 - 8, 2000 ; proceedings
Gespeichert in:
Format: | Tagungsbericht Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2000
|
Schriftenreihe: | Lecture notes in computer science
1897 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | XII, 298 S. Ill. |
ISBN: | 3540679588 |
Internformat
MARC
LEADER | 00000nam a22000008cb4500 | ||
---|---|---|---|
001 | BV013308787 | ||
003 | DE-604 | ||
005 | 20010507 | ||
007 | t| | ||
008 | 000815s2000 gw a||| |||| 10||| eng d | ||
016 | 7 | |a 959511407 |2 DE-101 | |
020 | |a 3540679588 |9 3-540-67958-8 | ||
035 | |a (OCoLC)44969190 | ||
035 | |a (DE-599)BVBBV013308787 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a gw |c DE | ||
049 | |a DE-739 |a DE-384 |a DE-91G |a DE-29T |a DE-706 |a DE-83 |a DE-188 | ||
050 | 0 | |a QA76.6 | |
082 | 0 | |a 005.13 |2 21 | |
084 | |a DAT 315f |2 stub | ||
245 | 1 | 0 | |a Modular programming languages |b Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6 - 8, 2000 ; proceedings |c Jürg Gutknecht ; Wolfgang Weck (ed.) |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2000 | |
300 | |a XII, 298 S. |b Ill. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science |v 1897 | |
650 | 7 | |a Engenharia de programacao (software) |2 larpcal | |
650 | 4 | |a Langages de programmation - Congrès | |
650 | 7 | |a Langages de programmation - Congrès |2 ram | |
650 | 7 | |a Linguagem de programacao (outras) |2 larpcal | |
650 | 7 | |a Modulair programmeren |2 gtt | |
650 | 7 | |a OBERON |2 inriac | |
650 | 7 | |a Programacao de computadores |2 larpcal | |
650 | 4 | |a Programmation modulaire - Congrès | |
650 | 7 | |a Programmation modulaire - Congrès |2 ram | |
650 | 7 | |a Programmeertalen |2 gtt | |
650 | 7 | |a architecture système |2 inriac | |
650 | 7 | |a compilateur |2 inriac | |
650 | 7 | |a langage modulaire |2 inriac | |
650 | 7 | |a langage programmation |2 inriac | |
650 | 7 | |a programmation modulaire |2 inriac | |
650 | 4 | |a Modular programming |v Congresses | |
650 | 4 | |a Programming languages (Electronic computers) |v Congresses | |
650 | 0 | 7 | |a Modulare Programmierung |0 (DE-588)4120756-7 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2000 |z Zürich |2 gnd-content | |
689 | 0 | 0 | |a Modulare Programmierung |0 (DE-588)4120756-7 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Gutknecht, Jürg |e Sonstige |4 oth | |
711 | 2 | |a Joint Modular Languages Conference |d 2000 |c Zürich |j Sonstige |0 (DE-588)10006682-3 |4 oth | |
830 | 0 | |a Lecture notes in computer science |v 1897 |w (DE-604)BV000000607 |9 1897 | |
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=009074390&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009074390 |
Datensatz im Suchindex
_version_ | 1820874893560905728 |
---|---|
adam_text |
JUERG GUTKNECHT WOLF GANG WECK (EDS.)
MODULAR
PROGRAMMING LANGUAGES
JOINT MODULAR LANGUAGES CONFERENCE, JMLC 2000
ZUERICH, SWITZERLAND, SEPTEMBER 6-8, 2000
PROCEEDINGS
$|)1 SPRINGER
TABLE OF CONTENTS
THE DEVELOPMENT OF PROCEDURAL PROGRAMMING LANGUAGES: PERSONAL
CONTRIBUTIONS AND PERSPECTIVES 1
NIKIAUS WIRTH (ZUERICH)
PARALLEL AND DISTRIBUTED COMPUTING
COMPOSABLE MESSAGE SEMANTICS IN OBERON 11
MARKUS HOF (JOHANNES KEPLER UNIVERSITY LINZ, AUSTRIA)
DERIVATION OF SECURE PARALLEL APPLICATIONS BY MEANS OF MODULE EMBEDDING
26
ATANNS RADENSKI (WINSTON-SALEM STATE UNIVERSITY, USA)
MIANJIN: A PARALLEL LANGUAGE WITH A TYPE SYSTEM THAT GOVERNS GLOBAL
SYSTEM BEHAVIOUR 38
PAUL ROE (QUEENSLAND UNIVERSITY OF TECHNOLOGY, AUSTRALIA) AND
CLEMENS SZYPERSKI (MICROSOFT RESEARCH, USA)
A DESIGN PATTERN AND PROGRAMMING FRAMEWORK FOR INTERACTIVE
METACOMPUTING 51
SPYROS LALIS (UNIVERSITY OF CRETC, GREECE)
MOBILE AGENTS BASED ON CONCURRENT CONSTRAINT PROGRAMMING 62
MAREK PARALIC (UNIVERSITY OF TECHNOLOGY IN KOSICE, SLOVAK REPUBLIC)
COMPONENTS
RETHINKING OUR TRADE AND SCIENCE: FROM DEVELOPING COMPONENTS TO
COMPONENT-BASED DEVELOPMENT 76
CLEMENS SZYPERSKI (MICROSOFT RESEARCH, USA)
EXPLICIT NAMESPACES 77
FRANZ ACHERMANN AND OSCAR NIERSTRASZ
(UNIVERSITY OF BERNE, SWITZERLAND)
STAND-ALONE MESSAGES: A STOP TOWARDS COMPONENT-ORIENTED
PROGRAMMING LANGUAGES 90
PETER H. FROEHLICH AND MICHAEL FRANZ (UC IRVINE, USA)
THE DESIGN OF A COM-ORIENTED MODULE SYSTEM 104
RICCARDO PUCELLA, (CORNELL UNIVERSITY, USA)
OBEROII AS AN IMPLEMENTATION LANGUAGE FOR COM COMPONENTS: A CASE
STUDY IN LANGUAGE INTCROPERABILITY 119
JUERG GUTKNECHT (ETH ZUERICH, SWITZERLAND)
XII TABLE OF CONTENTS
MODULARISATION OF SOFTWARE CONFIGURATION MANAGEMENT 134
HENRIK BASRBAK CHRISTENSEN (UNIVERSITY OF AARHUS, DCNMARK)
EXTENSIONS AND APPLICATIONS
LEONARDO: A FRAMEWORK FOR MODELING AND EDITING GRAPHICAL COMPONENTS. 147
ERICH OSWALD (ETH ZUERICH, SWITZERLAND)
OMX-FS: AN EXTENDED FILE SYSTEM ARCHITECTURE BASED ON A GENERIC
OBJECT MODEL 161
GABRIO RIVERA AND MOIRA NORRIE (ETH ZUERICH, SWITZERLAND)
ON ADDING A QUERY LANGUAGE TO A PERSISTENT OBJECT SYSTEM 175
MARKUS KNASMUELLER (BMD STEYR, AUSTRIA)
PROJECT C2 - A SURVEY OF AN INDUSTRIAL EMBEDDED APPLICATION WITH NATIVE
OBERON FOR PC 186
JOSEF SEDLACEK (RADIAER, SWITZERLAND) AND JUERG GUTKNECHT
(ETH ZUERICH, SWITZERLAND)
SYSTEM ARCHITECTURE AND DESIGN USING CO-OPERATING GROUPS OF REAL AND
ABSTRACT COMPONENTS 197
BRIAN KIRK (ROBINSON ASSOCIATES, UK)
COMPILERS AND RUNTIME ENVIRONMENTS
ABSTRACTION AND MODULARIZATION IN THE BETA PROGRAMMING LANGUAGE . 211
OLE LEHRMANN MADSEN (AARHUS UNIVERSITY, DENMARK)
DESIGN OF MULTILINGUAL RETARGETABLE COMPILERS: EXPERIENCE OF THE XDS
FRAMEWORK EVOLUTION 238
VITALY V. MIKHEEV (EXCELSIOR, RUSSIA)
STRUCTURING A COMPILER WITH ACTIVE OBJECTS 250
PATRIK REALI (ETH ZUERICH, SWITZERLAND)
A MULTIPROCESSOR KERNEL FOR ACTIVE OBJECT-BASED SYSTEMS 263
PIETER MULLER (ETH ZUERICH, SWITZERLAND)
EVALUATING THE JAVA VIRTUAL MACHINE AS A TARGET FOR LANGUAGES OTHER
THAN JAVA 278
K. JOHN COUGH AND DIANE CORNEY
(QUEENSLAND UNIVERSITY OF TECHNOLOGY, AUSTRALIA)
BUILDING YOUR OWN TOOLS: AN OBERON INDUSTRIAL CASE-STUDY 291
PAUL REED (PADDED GELL SOFTWARE LTD, UK)
AUTHOR INDEX 299 |
any_adam_object | 1 |
building | Verbundindex |
bvnumber | BV013308787 |
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 315f |
ctrlnum | (OCoLC)44969190 (DE-599)BVBBV013308787 |
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 a22000008cb4500</leader><controlfield tag="001">BV013308787</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010507</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">000815s2000 gw a||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">959511407</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540679588</subfield><subfield code="9">3-540-67958-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)44969190</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013308787</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-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</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 315f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modular programming languages</subfield><subfield code="b">Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6 - 8, 2000 ; proceedings</subfield><subfield code="c">Jürg Gutknecht ; Wolfgang Weck (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 298 S.</subfield><subfield code="b">Ill.</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">1897</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Engenharia de programacao (software)</subfield><subfield code="2">larpcal</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 - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Linguagem de programacao (outras)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modulair programmeren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">OBERON</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programacao de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation modulaire - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation modulaire - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmeertalen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">architecture système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">compilateur</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage modulaire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation modulaire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modular 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">Modulare Programmierung</subfield><subfield code="0">(DE-588)4120756-7</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">2000</subfield><subfield code="z">Zürich</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modulare Programmierung</subfield><subfield code="0">(DE-588)4120756-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gutknecht, Jürg</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Joint Modular Languages Conference</subfield><subfield code="d">2000</subfield><subfield code="c">Zürich</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10006682-3</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">1897</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1897</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=009074390&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-009074390</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2000 Zürich gnd-content |
genre_facet | Konferenzschrift 2000 Zürich |
id | DE-604.BV013308787 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:06:58Z |
institution | BVB |
institution_GND | (DE-588)10006682-3 |
isbn | 3540679588 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009074390 |
oclc_num | 44969190 |
open_access_boolean | |
owner | DE-739 DE-384 DE-91G DE-BY-TUM DE-29T DE-706 DE-83 DE-188 |
owner_facet | DE-739 DE-384 DE-91G DE-BY-TUM DE-29T DE-706 DE-83 DE-188 |
physical | XII, 298 S. Ill. |
publishDate | 2000 |
publishDateSearch | 2000 |
publishDateSort | 2000 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Modular programming languages Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6 - 8, 2000 ; proceedings Jürg Gutknecht ; Wolfgang Weck (ed.) Berlin [u.a.] Springer 2000 XII, 298 S. Ill. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1897 Engenharia de programacao (software) larpcal Langages de programmation - Congrès Langages de programmation - Congrès ram Linguagem de programacao (outras) larpcal Modulair programmeren gtt OBERON inriac Programacao de computadores larpcal Programmation modulaire - Congrès Programmation modulaire - Congrès ram Programmeertalen gtt architecture système inriac compilateur inriac langage modulaire inriac langage programmation inriac programmation modulaire inriac Modular programming Congresses Programming languages (Electronic computers) Congresses Modulare Programmierung (DE-588)4120756-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Zürich gnd-content Modulare Programmierung (DE-588)4120756-7 s DE-604 Gutknecht, Jürg Sonstige oth Joint Modular Languages Conference 2000 Zürich Sonstige (DE-588)10006682-3 oth Lecture notes in computer science 1897 (DE-604)BV000000607 1897 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009074390&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Modular programming languages Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6 - 8, 2000 ; proceedings Lecture notes in computer science Engenharia de programacao (software) larpcal Langages de programmation - Congrès Langages de programmation - Congrès ram Linguagem de programacao (outras) larpcal Modulair programmeren gtt OBERON inriac Programacao de computadores larpcal Programmation modulaire - Congrès Programmation modulaire - Congrès ram Programmeertalen gtt architecture système inriac compilateur inriac langage modulaire inriac langage programmation inriac programmation modulaire inriac Modular programming Congresses Programming languages (Electronic computers) Congresses Modulare Programmierung (DE-588)4120756-7 gnd |
subject_GND | (DE-588)4120756-7 (DE-588)1071861417 |
title | Modular programming languages Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6 - 8, 2000 ; proceedings |
title_auth | Modular programming languages Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6 - 8, 2000 ; proceedings |
title_exact_search | Modular programming languages Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6 - 8, 2000 ; proceedings |
title_full | Modular programming languages Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6 - 8, 2000 ; proceedings Jürg Gutknecht ; Wolfgang Weck (ed.) |
title_fullStr | Modular programming languages Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6 - 8, 2000 ; proceedings Jürg Gutknecht ; Wolfgang Weck (ed.) |
title_full_unstemmed | Modular programming languages Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6 - 8, 2000 ; proceedings Jürg Gutknecht ; Wolfgang Weck (ed.) |
title_short | Modular programming languages |
title_sort | modular programming languages joint modular languages conference jmlc 2000 zurich switzerland september 6 8 2000 proceedings |
title_sub | Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6 - 8, 2000 ; proceedings |
topic | Engenharia de programacao (software) larpcal Langages de programmation - Congrès Langages de programmation - Congrès ram Linguagem de programacao (outras) larpcal Modulair programmeren gtt OBERON inriac Programacao de computadores larpcal Programmation modulaire - Congrès Programmation modulaire - Congrès ram Programmeertalen gtt architecture système inriac compilateur inriac langage modulaire inriac langage programmation inriac programmation modulaire inriac Modular programming Congresses Programming languages (Electronic computers) Congresses Modulare Programmierung (DE-588)4120756-7 gnd |
topic_facet | Engenharia de programacao (software) Langages de programmation - Congrès Linguagem de programacao (outras) Modulair programmeren OBERON Programacao de computadores Programmation modulaire - Congrès Programmeertalen architecture système compilateur langage modulaire langage programmation programmation modulaire Modular programming Congresses Programming languages (Electronic computers) Congresses Modulare Programmierung Konferenzschrift 2000 Zürich |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009074390&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT gutknechtjurg modularprogramminglanguagesjointmodularlanguagesconferencejmlc2000zurichswitzerlandseptember682000proceedings AT jointmodularlanguagesconferencezurich modularprogramminglanguagesjointmodularlanguagesconferencejmlc2000zurichswitzerlandseptember682000proceedings |