Recent trends in data type specification: Caldes de Malavella, Spain, October 26 - 30, 1992 ; selected papers
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin u.a.
Springer
1994
|
| Series: | Lecture notes in computer science
785 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII, 350 S. graph. Darst. |
| ISBN: | 3540578676 0387578676 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008958932 | ||
| 003 | DE-604 | ||
| 005 | 20140225 | ||
| 007 | t| | ||
| 008 | 940221s1994 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 940411695 |2 DE-101 | |
| 020 | |a 3540578676 |9 3-540-57867-6 | ||
| 020 | |a 0387578676 |9 0-387-57867-6 | ||
| 035 | |a (OCoLC)473058012 | ||
| 035 | |a (DE-599)BVBBV008958932 | ||
| 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-20 |a DE-19 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.9.A23W67 1992 | |
| 082 | 0 | |a 005.7/3 20 | |
| 084 | |a ST 265 |0 (DE-625)143634: |2 rvk | ||
| 084 | |a DAT 373 |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Recent trends in data type specification |b Caldes de Malavella, Spain, October 26 - 30, 1992 ; selected papers |c Hartmut Ehrig ... (eds.). 9th Workshop on Specification of Abstract Data Types joint with the 4th COMPASS Workshop |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1994 | |
| 300 | |a VIII, 350 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 785 | |
| 650 | 4 | |a Abstract data types (Computer science) -- Congresses | |
| 650 | 0 | 7 | |a Abstrakter Datentyp |0 (DE-588)4120827-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikation |0 (DE-588)4139161-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Caldas de Malavella |2 gnd-content | |
| 689 | 0 | 0 | |a Abstrakter Datentyp |0 (DE-588)4120827-4 |D s |
| 689 | 0 | 1 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ehrig, Hartmut |d 1944-2016 |e Sonstige |0 (DE-588)107905582 |4 oth | |
| 711 | 2 | |a Workshop on Specification of Abstract Data Types |n 9 |d 1992 |c Caldas de Malavella |j Sonstige |0 (DE-588)2134989-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 785 |w (DE-604)BV000000607 |9 785 | |
| 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=005913177&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005913177 | |
Record in the Search Index
| _version_ | 1820874842321190912 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
PAPERS
J.
A.
GOGUEN
AND
R.
DIACONESCU
TOWARDS
AN
ALGEBRAIC
SEMANTICS
FOR
THE
OBJECT
PARADIGM
1
J.-P.
JOUANNAUD
REWRITING
TECHNIQUES
FOR
SOFTWARE
ENGINEERING
30
A.
POIGND
IDENTITY
AND
EXISTENCE,
AND
TYPES
IN
ALGEBRA
-
A SURVEY
OF
SORTS
53
E.
G.
WAGNER
OVERLOADING
AND
INHERITANCE
79
CONTRIBUTED
PAPERS
M.
BETTAZ
AND
G.
REGGIO
A
SMOLCS
BASED
KIT
FOR
DEFINING
HIGH-LEVEL
ALGEBRAIC
PETRI
NETS
98
M.
CERIOLI
AND
G.
REGGIO
INSTITUTIONS
FOR
VERY
ABSTRACT
SPECIFICATIONS
1
13
C.
CHOPPY
ABOUT
THE
"CORRECTNESS"
AND
"ADEQUACY"
OF
PLUSS
SPECIFICATIONS
128
S.
CIGRICI,
R.
JIMDNEZ
AND
F.
OREJAS
SEMANTIC
CONSTRUCTIONS
IN
THE
SPECIFICATION
LANGUAGE
GLIDER
144
S.
CONRAD
ON
CERTIFICATION
OF
SPECIFICATIONS
FOR
TROLL
LIGHT
OBJECTS
158
G.
DENKER
AND
M.
GOGOLLA
TRANSLATING
TROLL
LIGHT
CONCEPTS
TO
MAUDE
173
H.
EHRIG,
J.
PADBERG
AND
L.
RIBEIRO
ALGEBRAIC
HIGH
LEVEL
NETS:
PETRI
NETS
REVISITED
188
M.
GROSSE-RHODE
AND
U.
WOLTER
2-CATEGORICAL
SPECIFICATION
OF
PARTIAL
ALGEBRAS
207
R.
HENNICKER
AND
F.
NICKI
A
BEHAVIOURAL
ALGEBRAIC
FRAMEWORK
FOR
MODULAR
SYSTEM
DESIGN
WITH
REUSE
220
VIII
C.
HERMIDA
ON
FIBRED
ADJUNCTIONS
AND
COMPLETENESS
FOR
FIBRED
CATEGORIES
235
J.
LEVY
AND
J.
AGUSTF
IMPLEMENTING
INEQUALITY
AND
NONDETERMINISTIC
SPECIFICATIONS
WITH
252
BI-REWRITING
SYSTEMS
J.
LIU
A
SEMANTIC
BASIS
OF
LOGIC-INDEPENDENT
TRANSFORMATION
268
P.
D.
MOSSES
UNIFIED
ALGEBRAS
AND
ABSTRACT
SYNTAX
280
F.
PARISI
PRESICCE
AND
A.
PIERANTONIO
STRUCTURED
INHERITANCE
FOR
ALGEBRAIC
CLASS
SPECIFICATIONS
295
C.
RIECKHOFF
TOWARDS
A
THEORY
FOR
THE
ANIMATION
OF
ALGEBRAIC
SPECIFICATION
310
P.-Y.
SCHOBBENS
SECOND-ORDER
PROOF
SYSTEMS
FOR
ALGEBRAIC SPECIFICATION
LANGUAGES
321
A.
SERNADAS,
J.
F.
COSTA
AND
C.
SERNADAS
AN
INSTITUTION
OF
OBJECT
BEHAVIOUR
337 |
| any_adam_object | 1 |
| author_GND | (DE-588)107905582 |
| building | Verbundindex |
| bvnumber | BV008958932 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.A23W67 1992 |
| callnumber-search | QA76.9.A23W67 1992 |
| callnumber-sort | QA 276.9 A23 W67 41992 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 265 |
| classification_tum | DAT 373 |
| ctrlnum | (OCoLC)473058012 (DE-599)BVBBV008958932 |
| dewey-full | 005.7/320 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.7/3 20 |
| dewey-search | 005.7/3 20 |
| dewey-sort | 15.7 13 220 |
| 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">BV008958932</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140225</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940221s1994 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">940411695</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540578676</subfield><subfield code="9">3-540-57867-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387578676</subfield><subfield code="9">0-387-57867-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)473058012</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008958932</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-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A23W67 1992</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.7/3 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 265</subfield><subfield code="0">(DE-625)143634:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 373</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">Recent trends in data type specification</subfield><subfield code="b">Caldes de Malavella, Spain, October 26 - 30, 1992 ; selected papers</subfield><subfield code="c">Hartmut Ehrig ... (eds.). 9th Workshop on Specification of Abstract Data Types joint with the 4th COMPASS Workshop</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 350 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">785</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abstract data types (Computer science) -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakter Datentyp</subfield><subfield code="0">(DE-588)4120827-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</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">1992</subfield><subfield code="z">Caldas de Malavella</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Abstrakter Datentyp</subfield><subfield code="0">(DE-588)4120827-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</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">Ehrig, Hartmut</subfield><subfield code="d">1944-2016</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)107905582</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Workshop on Specification of Abstract Data Types</subfield><subfield code="n">9</subfield><subfield code="d">1992</subfield><subfield code="c">Caldas de Malavella</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2134989-7</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">785</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">785</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=005913177&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-005913177</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1992 Caldas de Malavella gnd-content |
| genre_facet | Konferenzschrift 1992 Caldas de Malavella |
| id | DE-604.BV008958932 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:10Z |
| institution | BVB |
| institution_GND | (DE-588)2134989-7 |
| isbn | 3540578676 0387578676 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005913177 |
| oclc_num | 473058012 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-739 DE-384 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-83 DE-11 DE-188 DE-706 |
| physical | VIII, 350 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Recent trends in data type specification Caldes de Malavella, Spain, October 26 - 30, 1992 ; selected papers Hartmut Ehrig ... (eds.). 9th Workshop on Specification of Abstract Data Types joint with the 4th COMPASS Workshop Berlin u.a. Springer 1994 VIII, 350 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 785 Abstract data types (Computer science) -- Congresses Abstrakter Datentyp (DE-588)4120827-4 gnd rswk-swf Spezifikation (DE-588)4139161-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1992 Caldas de Malavella gnd-content Abstrakter Datentyp (DE-588)4120827-4 s Spezifikation (DE-588)4139161-5 s DE-604 Ehrig, Hartmut 1944-2016 Sonstige (DE-588)107905582 oth Workshop on Specification of Abstract Data Types 9 1992 Caldas de Malavella Sonstige (DE-588)2134989-7 oth Lecture notes in computer science 785 (DE-604)BV000000607 785 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005913177&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Recent trends in data type specification Caldes de Malavella, Spain, October 26 - 30, 1992 ; selected papers Lecture notes in computer science Abstract data types (Computer science) -- Congresses Abstrakter Datentyp (DE-588)4120827-4 gnd Spezifikation (DE-588)4139161-5 gnd |
| subject_GND | (DE-588)4120827-4 (DE-588)4139161-5 (DE-588)1071861417 |
| title | Recent trends in data type specification Caldes de Malavella, Spain, October 26 - 30, 1992 ; selected papers |
| title_auth | Recent trends in data type specification Caldes de Malavella, Spain, October 26 - 30, 1992 ; selected papers |
| title_exact_search | Recent trends in data type specification Caldes de Malavella, Spain, October 26 - 30, 1992 ; selected papers |
| title_full | Recent trends in data type specification Caldes de Malavella, Spain, October 26 - 30, 1992 ; selected papers Hartmut Ehrig ... (eds.). 9th Workshop on Specification of Abstract Data Types joint with the 4th COMPASS Workshop |
| title_fullStr | Recent trends in data type specification Caldes de Malavella, Spain, October 26 - 30, 1992 ; selected papers Hartmut Ehrig ... (eds.). 9th Workshop on Specification of Abstract Data Types joint with the 4th COMPASS Workshop |
| title_full_unstemmed | Recent trends in data type specification Caldes de Malavella, Spain, October 26 - 30, 1992 ; selected papers Hartmut Ehrig ... (eds.). 9th Workshop on Specification of Abstract Data Types joint with the 4th COMPASS Workshop |
| title_short | Recent trends in data type specification |
| title_sort | recent trends in data type specification caldes de malavella spain october 26 30 1992 selected papers |
| title_sub | Caldes de Malavella, Spain, October 26 - 30, 1992 ; selected papers |
| topic | Abstract data types (Computer science) -- Congresses Abstrakter Datentyp (DE-588)4120827-4 gnd Spezifikation (DE-588)4139161-5 gnd |
| topic_facet | Abstract data types (Computer science) -- Congresses Abstrakter Datentyp Spezifikation Konferenzschrift 1992 Caldas de Malavella |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005913177&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT ehrighartmut recenttrendsindatatypespecificationcaldesdemalavellaspainoctober26301992selectedpapers AT workshoponspecificationofabstractdatatypescaldasdemalavella recenttrendsindatatypespecificationcaldesdemalavellaspainoctober26301992selectedpapers |