Recent trends in data type specification: proceedings
Gespeichert in:
Format: | Tagungsbericht Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin u.a.
Springer
1995
|
Schriftenreihe: | Lecture notes in computer science
906 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | VIII, 523 S. graph. Darst. |
ISBN: | 354059132X 038759132X |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV010079729 | ||
003 | DE-604 | ||
005 | 19950705 | ||
007 | t| | ||
008 | 950227s1995 gw d||| |||| 10||| eng d | ||
016 | 7 | |a 943561949 |2 DE-101 | |
020 | |a 354059132X |9 3-540-59132-X | ||
020 | |a 038759132X |9 0-387-59132-X | ||
035 | |a (OCoLC)633815520 | ||
035 | |a (DE-599)BVBBV010079729 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a gw |c DE | ||
049 | |a DE-384 |a DE-739 |a DE-91G |a DE-19 |a DE-20 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
050 | 0 | |a QA76.9.A23W67 1994 | |
082 | 0 | |a 005.7/3 20 | |
084 | |a ST 265 |0 (DE-625)143634: |2 rvk | ||
084 | |a DAT 373f |2 stub | ||
084 | |a DAT 335f |2 stub | ||
245 | 1 | 0 | |a Recent trends in data type specification |b proceedings |c 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30 - June 3, 1994. Egidio Astesiano ... (ed.) |
264 | 1 | |a Berlin u.a. |b Springer |c 1995 | |
300 | |a VIII, 523 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 906 | |
650 | 4 | |a Abstract data types (Computer science) -- Congresses | |
650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
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 1994 |z Santa Margherita Ligure |2 gnd-content | |
689 | 0 | 0 | |a Abstrakter Datentyp |0 (DE-588)4120827-4 |D s |
689 | 0 | 1 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Abstrakter Datentyp |0 (DE-588)4120827-4 |D s |
689 | 1 | 1 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
689 | 1 | |5 DE-604 | |
700 | 1 | |a Astesiano, Egidio |d 1939- |e Sonstige |0 (DE-588)11815351X |4 oth | |
711 | 2 | |a Workshop on Specification of Abstract Data Types |n 10 |d 1994 |c Santa Margherita Ligure |j Sonstige |0 (DE-588)2144241-1 |4 oth | |
830 | 0 | |a Lecture notes in computer science |v 906 |w (DE-604)BV000000607 |9 906 | |
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=006690455&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006690455 |
Datensatz im Suchindex
_version_ | 1820874846583652352 |
---|---|
adam_text |
TABLE
OF
CONTENTS
INVITED
PAPERS
L.
BACHMAIR,
H.
GANZINGER,
J.
STUBER
COMBINING
ALGEBRA
AND
UNIVERSAL
ALGEBRA
IN
FIRST-ORDER
THEOREM
PROVING:
THE
CASE
OF
COMMUTATIVE
RINGS
1
C.
BEERI
BULK
TYPES
AND
QUERY
LANGUAGE
DESIGN
30
J.
MESEGUER,
N.
MARTF-OLIET
FROM
ABSTRACT
DATA
TYPES
TO
LOGICAL
FRAMEWORKS
48
M.
WIRSING
ALGEBRAIC
SPECIFICATION
LANGUAGES:
AN
OVERVIEW
81
CONTRIBUTED
PAPERS
D.
ASPINALL
TYPES,
SUBTYPES,
AND
ASL+
116
D.
BERT,
R.
ECHAHED
ON
THE
OPERATIONAL
SEMANTICS
OF
THE
ALGEBRAIC
AND
LOGIC
PROGRAMMING
LANGUAGE
LPG
132
M.
BIDOIT,
R.
HENNICKER
BEHAVIOURAL
THEORIES
153
M.
BROY
EQUATIONS
FOR
DESCRIBING
DYNAMIC
NETS
OF
COMMUNICATING
SYSTEMS
170
M.
CERIOLI
A
LAZY
APPROACH
TO
PARTIAL
ALGEBRAS
188
G.
DENKER
TRANSACTIONS
IN
OBJECT-ORIENTED
SPECIFICATIONS
203
H.-D.
EHRICH,
A.
SERNADAS
LOCAL
SPECIFICATION
OF
DISTRIBUTED
FAMILIES
OF
SEQUENTIAL
OBJECTS
219
H.
EHRIG,
M.
LOWE,
F.OREJAS
DYNAMIC
ABSTRACT
DATA
TYPES
BASED
ON
ALGEBRAIC
GRAPH
TRANSFORMATIONS
236
M.
FERNANDEZ,
J.P.
JOUANNAUD
MODULAR
TERMINATION
OF
TERM
REWRITING
SYSTEMS
REVISITED
255
VIII
J.
L.
FIADEIRO,
J.
F.
COSTA
INSTITUTIONS
FOR
BEHAVIOUR
SPECIFICATION
273
M.
GOGOLLA,
R.
HERZIG
AN
ALGEBRAIC
SEMANTICS
FOR
THE
OBJECT
SPECIFICATION
LANGUAGE
TROLL
LIGHT
290
U.
HENSEL,
H.
REICHEL
DEFINING
EQUATIONS
IN
TERMINAL
COALGEBRAS
307
C.
HINTERMEIER,
C.
KIRCHNER,
H.
KIRCHNER
SORT
INHERITANCE
FOR
ORDER-SORTED
EQUATIONS!
PRESENTATIONS
319
H.
HUSSMANN
AXIOMATIC
SPECIFICATION
OF
LARGE
INFORMATION
SYSTEMS:
EXPERIENCES
AND
CONSEQUENCES
336
U.
LECHNER,
C.
LENGAUER,
M.
WIRSING
AN
OBJECT-ORIENTED
AIRPORT:
SPECIFICATION
AND
REFINEMENT
IN
MAUDE
351
K.
MEINKE
TOPOLOGICAL
METHODS
FOR
ALGEBRAIC
SPECIFICATION
368
T.
MOSSAKOWSKI
A
HIERARCHY
OF
INSTITUTIONS
SEPARATED
BY
PROPERTIES
OF
PARAMETERIZED
ABSTRACT
DATA
TYPES
389
F.
PARISI-PRESICCE,
A.
PIERANTONIO
DYNAMICAL
BEHAVIOR
OF
OBJECT
SYSTEMS
'
406
A.
SERNADAS,
C.
SERNADAS,
J.M.
VALENQA
A
THEORY-BAS,ED
TOPOLOGICAL
NOTION
OF
INSTITUTION
420
J.
UNDERWOOD
TYPING
ABSTRACT
DATA
TYPES
437
M.
WALICKI,
S.
MELDAL
MULTIALGEBRAS,
POWER
ALGEBRAS
AND
COMPLETE
CALCULI
OF
IDENTITIES
AND
INCLUSIONS
453
U.
WOLTER
INSTITUTIONAL
FRAMES
469
E.
ZUCCA
IMPLEMENTATION
OF
DATA
STRUCTURES
IN
AN
IMPERATIVE
FRAMEWORK
483
M.
GOGOLLA,
M.
CERIOLI
WHAT
IS
AN
ABSTRACT
DATA
TYPE
AFTER
ALL?
499 |
any_adam_object | 1 |
author_GND | (DE-588)11815351X |
building | Verbundindex |
bvnumber | BV010079729 |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.9.A23W67 1994 |
callnumber-search | QA76.9.A23W67 1994 |
callnumber-sort | QA 276.9 A23 W67 41994 |
callnumber-subject | QA - Mathematics |
classification_rvk | ST 265 |
classification_tum | DAT 373f DAT 335f |
ctrlnum | (OCoLC)633815520 (DE-599)BVBBV010079729 |
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">BV010079729</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950705</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950227s1995 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">943561949</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354059132X</subfield><subfield code="9">3-540-59132-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">038759132X</subfield><subfield code="9">0-387-59132-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633815520</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010079729</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-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</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 1994</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 373f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recent trends in data type specification</subfield><subfield code="b">proceedings</subfield><subfield code="c">10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30 - June 3, 1994. Egidio Astesiano ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 523 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">906</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">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">1994</subfield><subfield code="z">Santa Margherita Ligure</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">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</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">Abstrakter Datentyp</subfield><subfield code="0">(DE-588)4120827-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Astesiano, Egidio</subfield><subfield code="d">1939-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)11815351X</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">10</subfield><subfield code="d">1994</subfield><subfield code="c">Santa Margherita Ligure</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2144241-1</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">906</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">906</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=006690455&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-006690455</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 1994 Santa Margherita Ligure gnd-content |
genre_facet | Konferenzschrift 1994 Santa Margherita Ligure |
id | DE-604.BV010079729 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:06:13Z |
institution | BVB |
institution_GND | (DE-588)2144241-1 |
isbn | 354059132X 038759132X |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006690455 |
oclc_num | 633815520 |
open_access_boolean | |
owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-83 DE-11 DE-188 DE-706 |
owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-83 DE-11 DE-188 DE-706 |
physical | VIII, 523 S. graph. Darst. |
publishDate | 1995 |
publishDateSearch | 1995 |
publishDateSort | 1995 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Recent trends in data type specification proceedings 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30 - June 3, 1994. Egidio Astesiano ... (ed.) Berlin u.a. Springer 1995 VIII, 523 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 906 Abstract data types (Computer science) -- Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Abstrakter Datentyp (DE-588)4120827-4 gnd rswk-swf Spezifikation (DE-588)4139161-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Santa Margherita Ligure gnd-content Abstrakter Datentyp (DE-588)4120827-4 s Algebraische Spezifikation (DE-588)4207192-6 s DE-604 Spezifikation (DE-588)4139161-5 s Astesiano, Egidio 1939- Sonstige (DE-588)11815351X oth Workshop on Specification of Abstract Data Types 10 1994 Santa Margherita Ligure Sonstige (DE-588)2144241-1 oth Lecture notes in computer science 906 (DE-604)BV000000607 906 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006690455&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Recent trends in data type specification proceedings Lecture notes in computer science Abstract data types (Computer science) -- Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd Abstrakter Datentyp (DE-588)4120827-4 gnd Spezifikation (DE-588)4139161-5 gnd |
subject_GND | (DE-588)4207192-6 (DE-588)4120827-4 (DE-588)4139161-5 (DE-588)1071861417 |
title | Recent trends in data type specification proceedings |
title_auth | Recent trends in data type specification proceedings |
title_exact_search | Recent trends in data type specification proceedings |
title_full | Recent trends in data type specification proceedings 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30 - June 3, 1994. Egidio Astesiano ... (ed.) |
title_fullStr | Recent trends in data type specification proceedings 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30 - June 3, 1994. Egidio Astesiano ... (ed.) |
title_full_unstemmed | Recent trends in data type specification proceedings 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30 - June 3, 1994. Egidio Astesiano ... (ed.) |
title_short | Recent trends in data type specification |
title_sort | recent trends in data type specification proceedings |
title_sub | proceedings |
topic | Abstract data types (Computer science) -- Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd Abstrakter Datentyp (DE-588)4120827-4 gnd Spezifikation (DE-588)4139161-5 gnd |
topic_facet | Abstract data types (Computer science) -- Congresses Algebraische Spezifikation Abstrakter Datentyp Spezifikation Konferenzschrift 1994 Santa Margherita Ligure |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006690455&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT astesianoegidio recenttrendsindatatypespecificationproceedings AT workshoponspecificationofabstractdatatypessantamargheritaligure recenttrendsindatatypespecificationproceedings |