Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
London [u.a.]
Chapman & Hall
1997
|
| Ausgabe: | 1. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VI, 440 S. graph. Darst. |
| ISBN: | 0412820501 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011673207 | ||
| 003 | DE-604 | ||
| 005 | 20080716 | ||
| 007 | t| | ||
| 008 | 971208s1997 xx d||| |||| 10||| eng d | ||
| 020 | |a 0412820501 |9 0-412-82050-1 | ||
| 035 | |a (OCoLC)37998205 | ||
| 035 | |a (DE-599)BVBBV011673207 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-19 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.131 |2 21 | |
| 082 | 0 | |a 005.3 |2 21 | |
| 084 | |a DAT 350f |2 stub | ||
| 245 | 1 | 0 | |a Algorithmic languages and calculi |b IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France |c ed. by Richard S. Bird |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a London [u.a.] |b Chapman & Hall |c 1997 | |
| 300 | |a VI, 440 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Programmeertalen |2 gtt | |
| 650 | 4 | |a Algorithms |v Congresses | |
| 650 | 4 | |a Computer programming |v Congresses | |
| 650 | 4 | |a Programming languages (Electronic computers) |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Bird, Richard |d 1943- |e Sonstige |0 (DE-588)123092213 |4 oth | |
| 711 | 2 | |a International Workshop on Algorithmic Languages and Calculi |d 1997 |c Bischoffsheim |j Sonstige |0 (DE-588)5263282-9 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007869528&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007869528 | |
Datensatz im Suchindex
| _version_ | 1820882524512976896 |
|---|---|
| adam_text |
CONTENTS
Preface
vii
Programme
Committee
viii
1
Dynamic programming: a different perspective
S. Curtis
1
2
Calculating with pointer structures
B.
Möller 24
3
Deriving a systolic regular language recognizer
M. Vaccari and R. Backhouse
49
Discussion
73
4
A calculational fusion system HYLO
Y. Onoue,
Z. Hu, H.
Iwasaki and M. Takeichi
76
5
Refinement of data parallel programs in Pei
E.
Violara,
S. Genaud
and G.-R. Perrin
107
6
Solving large systems of differential equations in parallel
using covers and skeletons
M.
Südholt,
С.
Piepenbrock,
К.
Obermayer
and P. Pepper
132
Discussion
160
7
Refinement of parameterized algebraic specifications
Y.V Srinivas
164
8
Towards a compositional interpretation of object diagrams
J.C. Bicarregui,
K.C. Lano
and
T.S.E. Maibaum 187
9
Defining and detecting feature interactions
M.
Frappier,
A. Mili
and J.
Desharnais
212
10
Synthesising interconnections
J.L. Fiadeim, A. Lopes and
T.S.E. Maibaum 240
11
A powerful transformation rule, its applications and variants
K. Achatz and H. Partsch
265
12
Program derivation via list introduction
A. Pettorossi and M.
Proietti
296
13
Towards a calculus for abstract syntax trees
D.S.
Wile
324
Discussion
354
14
Principled strength reduction
Y.A. Liu
357
Contents
15 The formal
reconstruction and speedup of the linear time fragment
of Willard's relational calculus subset
D. Goyal and R. Paige
382
16
Predicative semantics of loops
T.S.Norvell
415
Discussion
438
Index of contributors
441
Keyword index
443 |
| any_adam_object | 1 |
| author_GND | (DE-588)123092213 |
| building | Verbundindex |
| bvnumber | BV011673207 |
| 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 1997 |
| classification_tum | DAT 350f |
| ctrlnum | (OCoLC)37998205 (DE-599)BVBBV011673207 |
| dewey-full | 005.131 005.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 005.3 |
| dewey-search | 005.131 005.3 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. ed. |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV011673207</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080716</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">971208s1997 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0412820501</subfield><subfield code="9">0-412-82050-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37998205</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011673207</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="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</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.131</subfield><subfield code="2">21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.3</subfield><subfield code="2">21</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">Algorithmic languages and calculi</subfield><subfield code="b">IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France</subfield><subfield code="c">ed. by Richard S. Bird</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Chapman & Hall</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 440 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="650" ind1=" " ind2="7"><subfield code="a">Programmeertalen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield><subfield code="v">Congresses</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bird, Richard</subfield><subfield code="d">1943-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)123092213</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Algorithmic Languages and Calculi</subfield><subfield code="d">1997</subfield><subfield code="c">Bischoffsheim</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5263282-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=007869528&sequence=000002&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-007869528</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV011673207 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:08:16Z |
| institution | BVB |
| institution_GND | (DE-588)5263282-9 |
| isbn | 0412820501 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007869528 |
| oclc_num | 37998205 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM |
| physical | VI, 440 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Chapman & Hall |
| record_format | marc |
| spelling | Algorithmic languages and calculi IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France ed. by Richard S. Bird 1. ed. London [u.a.] Chapman & Hall 1997 VI, 440 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Programmeertalen gtt Algorithms Congresses Computer programming Congresses Programming languages (Electronic computers) Congresses (DE-588)1071861417 Konferenzschrift gnd-content Bird, Richard 1943- Sonstige (DE-588)123092213 oth International Workshop on Algorithmic Languages and Calculi 1997 Bischoffsheim Sonstige (DE-588)5263282-9 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007869528&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Algorithmic languages and calculi IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France Programmeertalen gtt Algorithms Congresses Computer programming Congresses Programming languages (Electronic computers) Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Algorithmic languages and calculi IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France |
| title_auth | Algorithmic languages and calculi IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France |
| title_exact_search | Algorithmic languages and calculi IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France |
| title_full | Algorithmic languages and calculi IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France ed. by Richard S. Bird |
| title_fullStr | Algorithmic languages and calculi IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France ed. by Richard S. Bird |
| title_full_unstemmed | Algorithmic languages and calculi IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France ed. by Richard S. Bird |
| title_short | Algorithmic languages and calculi |
| title_sort | algorithmic languages and calculi ifip tc2 wg2 1 international workshop on algorithmic languages and calculi 17 22 february 1997 alsace france |
| title_sub | IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France |
| topic | Programmeertalen gtt Algorithms Congresses Computer programming Congresses Programming languages (Electronic computers) Congresses |
| topic_facet | Programmeertalen Algorithms Congresses Computer programming Congresses Programming languages (Electronic computers) Congresses Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007869528&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT birdrichard algorithmiclanguagesandcalculiifiptc2wg21internationalworkshoponalgorithmiclanguagesandcalculi1722february1997alsacefrance AT internationalworkshoponalgorithmiclanguagesandcalculibischoffsheim algorithmiclanguagesandcalculiifiptc2wg21internationalworkshoponalgorithmiclanguagesandcalculi1722february1997alsacefrance |