Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991...

Titel: Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers
verantwortlich: Bidoit, Michel (Sonstige); Workshop on Specification of Abstract Data Types (Sonstige); COMPASS (Sonstige)
Schriftenreihe: Lecture notes in computer science ; 655
veröffentlicht: Berlin [u.a.]: Springer, 1993
Online-Ausg.. Berlin [u.a.]: Springer, 2006
Erscheinungsjahr: 1993
Teil von: Lecture notes in computer science ; 655
Druckausg.: Recent trends in data type specification, Berlin : Springer, 1993, X, 344 S.
Andere Ausgaben: Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers
Medientyp: E-Book Konferenzbericht
Datenquelle: K10plus Verbundkatalog
Springer Lecture Notes
Tags: Tag hinzufügen

Zugang

Weitere Informationen sehen Sie, wenn Sie angemeldet sind. Noch keinen Account? Jetzt registrieren.


LEADER	10982cam a2201441 4500
001	183-595126804
003	DE-627
005	20240214204719.0
007	cr uuu---uuuuu
008	090328s1993 gw \|\|\|\|\|o 00\| \|\|eng c
020			\|a 9783540475453 \|9 978-3-540-47545-3
024	7		\|a 10.1007/3-540-56379-2 \|2 doi
035			\|a (DE-627)595126804
035			\|a (DE-576)9595126802
035			\|a (DE-599)GBV595126804
035			\|a (OCoLC)699833784
035			\|a (DE-601)NLM003721493
035			\|a (ZBM)0825.00065
035			\|a (ZBM)0825.00065
035			\|a (DE-He213)978-3-540-47545-3
035			\|a (EBP)040471888
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
041			\|a eng
044			\|c XA-DE-BE
050		0	\|a QA76.9.A23
072		7	\|a UMZ \|2 bicssc
072		7	\|a COM051230 \|2 bisacsh
084			\|a 28 \|2 sdnb
084			\|a SS 4800 \|q SEPA \|2 rvk \|0 (DE-625)rvk/143528:
084			\|a SS 1991 \|q SEPA \|2 rvk \|0 (DE-625)rvk/143428:
084			\|a ST 230 \|q SEPA \|2 rvk \|0 (DE-625)rvk/143617:
084			\|a *00B25 \|2 msc
084			\|a 68-06 \|2 msc
084			\|a 54.52 \|2 bkl
084			\|a 54.53 \|2 bkl
084			\|a 54.51 \|2 bkl
245	1	0	\|a Recent trends in data type specification \|b 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers \|c M. Bidoit ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 1993
300			\|a Online-Ressource (X, 344 S.)
336			\|a Text \|b txt \|2 rdacontent
337			\|a Computermedien \|b c \|2 rdamedia
338			\|a Online-Ressource \|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 655
500			\|a Literaturangaben
520			\|a Algebraic specification of concurrency -- Objects and their specification -- The use of sorts in algebraic specifications -- Implementation and behavioural equivalence: A survey -- Relationships between logical frameworks -- Label algebras: A systematic use of terms -- How to specify non determinism and true concurrency with algebraic term nets -- Bounded implementation of algebraic specifications -- New concepts of amalgamation and extension for a general theory of specifications -- Nonequivalence of categories for equational algebraic specifications -- Process semantics of temporal logic specification -- The object-based specification language ?: concepts, syntax, and semantics -- Specifications with observable formulae and observational satisfaction relation -- Event logic for specifying abstract dynamic data types -- A soft stairway to institutions -- Generic classes in an object-based language.
520			\|a The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are: - specification languagesand program development - algebraic specification of concurrency - theorem proving - object-oriented specifications - order-sorted algebras - abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process.
533			\|a Online-Ausg. \|b Berlin [u.a.] \|c Springer \|d 2006 \|f Springer lecture notes archive \|7 \|2006\|\|\|\|\|\|\|\|\|\|
650		0	\|a Logic design
650		0	\|a Abstract data types (Computer science) \|v Congresses
650		0	\|a Computer science
650		0	\|a Software engineering
650		0	\|a Information theory.
650		0	\|a Data structures (Computer science).
650		0	\|a Compilers (Computer programs).
650		4	\|a Computer Science
650		4	\|a Logics and Meanings of Programs
650		4	\|a Programming Languages, Compilers, Interpreters
650		4	\|a Software Engineering
655		7	\|a Konferenzschrift \|0 (DE-588)1071861417 \|0 (DE-627)826484824 \|0 (DE-576)433375485 \|2 gnd-content
689	0	0	\|D s \|0 (DE-588)4120827-4 \|0 (DE-627)105773670 \|0 (DE-576)209538295 \|a Abstrakter Datentyp \|2 gnd
689	0	1	\|D s \|0 (DE-588)4139161-5 \|0 (DE-627)105637424 \|0 (DE-576)209692081 \|a Spezifikation \|2 gnd
689	0		\|5 (DE-627)
700	1		\|a Bidoit, Michel \|4 oth
711	2		\|a Workshop on Specification of Abstract Data Types \|n 8 \|d 1991 \|c Dourdan \|0 (DE-588)2126872-1 \|0 (DE-627)121353435 \|0 (DE-576)194326373 \|4 oth
711	2		\|a COMPASS \|n 3 \|d 1991 \|c Dourdan \|0 (DE-588)5313985-9 \|0 (DE-627)265469910 \|0 (DE-576)197511767 \|4 oth
776	1		\|z 3540563792
776	1		\|z 9783540563792
776	0	8	\|i Druckausg. \|t Recent trends in data type specification \|d Berlin : Springer, 1993 \|h X, 344 S. \|w (DE-627)12087721X \|w (DE-576)031781330 \|z 3540563792 \|z 0387563792
830		0	\|a Lecture notes in computer science \|v 655 \|9 65500 \|w (DE-627)316228877 \|w (DE-576)093890923 \|w (DE-600)2018930-8 \|x 1611-3349 \|7 ns
856	4	0	\|u http://www.springerlink.com/content/p04544882t52 \|x Verlag \|z lizenzpflichtig \|3 Volltext
856	4	0	\|u http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-56379-2 \|x Verlag \|z lizenzpflichtig \|3 Volltext
856	4	0	\|u http://dx.doi.org/10.1007/3-540-56379-2 \|x Resolving-System \|z lizenzpflichtig \|3 Volltext
856	4	0	\|u https://doi.org/10.1007/3-540-56379-2 \|m X:SPRINGER \|x Resolving-System \|z lizenzpflichtig
856	4	2	\|u https://zbmath.org/?q=an:0825.00065 \|m B:ZBM \|v 2021-04-12 \|x Verlag \|y Zentralblatt MATH \|3 Inhaltstext
912			\|a ZDB-1-SLN
912			\|a ZDB-2-LNC \|b 1993
912			\|a ZDB-2-SCS \|b 1993
912			\|a ZDB-2-BAE \|b 1993
912			\|a ZDB-2-SXCS \|b 1993
912			\|a ZDB-2-SEB \|b 1993
912			\|a SSG-OPC-mat
924	1		\|a 1221298674 \|b DE-1a \|9 1a \|c GBV \|d d \|h 5:INTERN \|k http://erf.sbb.spk-berlin.de/han/512881081/dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 202667138 \|b DE-84 \|9 84 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 201777371 \|b DE-46 \|9 46 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 116277150X \|b DE-18 \|9 18 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2 \|k http://emedien.sub.uni-hamburg.de/han/SpringerEbooks/dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 202426386 \|b DE-830 \|9 830 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 202690806 \|b DE-8 \|9 8 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 3503727221 \|b DE-104 \|9 104 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 1114763853 \|b DE-27 \|9 27 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 202731952 \|b DE-Ilm1 \|9 Ilm 1 \|c GBV \|d d \|g Online-Ressource \|h Internet
924	1		\|a 1273487230 \|b DE-7 \|9 7 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2 \|k http://han.sub.uni-goettingen.de/han/SpringerLectureNotesinComputerScience/dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 1159774560 \|b DE-705 \|9 705 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 20264345X \|b DE-28 \|9 28 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 202702634 \|b DE-Wim2 \|9 Wim 2 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 202631613 \|b DE-3 \|9 3 \|c GBV \|d d \|g ebook \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 1173496815 \|b DE-9 \|9 9 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 167035718X \|b DE-95 \|9 95 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 1196441022 \|b DE-Ma9 \|9 Ma 9 \|c GBV \|d d \|g ebook SpringerLectureNotes \|k http://dx.doi.org/10.1007/3-540-56379-2 \|k http://han.med.uni-magdeburg.de/han/NLUNIeBookSpringerLectureNotes/dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 1196477566 \|b DE-Ma14 \|9 Ma 14 \|c GBV \|d d \|g ebook SpringerLectureNotes \|k http://dx.doi.org/10.1007/3-540-56379-2 \|k http://han.med.uni-magdeburg.de/han/NLUNIeBookSpringerLectureNotes/dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 1217416641 \|b DE-Luen4 \|9 Lün 4 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 1586808818 \|b DE-Kt1 \|9 Kt 1 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 92764620X \|b DE-715 \|9 715 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 1754571913 \|b DE-715 \|9 715 \|c GBV \|d d \|k http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991010473619703501 \|l Springer Lecture Notes [Nationallizenz] \|l Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden.
924	1		\|a 202655296 \|b DE-700 \|9 700 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 3848426307 \|b DE-Wis1 \|9 Wis 1 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 1263874711 \|b DE-755 \|9 755 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 1172947848 \|b DE-960 \|9 960 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 203361962 \|b DE-916 \|9 916 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 1823528074 \|b DE-Ki95 \|9 Ki 95 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 1222077132 \|b DE-H155 \|9 H 155 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 202678962 \|b DE-517 \|9 517 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 1172991685 \|b DE-960-3 \|9 960/3 \|c GBV \|d d \|k http://dx.doi.org/10.1007/3-540-56379-2
924	1		\|a 4484378930 \|b DE-14 \|9 14 \|c BSZ \|d d \|k https://doi.org/10.1007/3-540-56379-2
924	1		\|a 4484378949 \|b DE-576 \|9 576 \|c BSZ \|d d
924	1		\|a 4484338602 \|b DE-Ofb1 \|9 Ofb 1 \|c BSZ \|d d \|g E-Book Springer \|k https://doi.org/10.1007/3-540-56379-2 \|l Zum Online-Dokument \|l Zugang im Hochschulnetz der HS Offenburg / extern via VPN oder Shibboleth (Login über Institution)
936	r	v	\|a SS 4800 \|b Lecture notes in computer science \|k Informatik \|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen \|k Schriftenreihen (indiv. Sign.) \|k Lecture notes in computer science \|0 (DE-627)1271461242 \|0 (DE-625)rvk/143528: \|0 (DE-576)201461242
936	r	v	\|a SS 1991 \|b Veranstaltungsjahr 1991 \|k Informatik \|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen \|k Kongressberichte \|k Veranstaltungsjahr 1991 \|0 (DE-627)127168652X \|0 (DE-625)rvk/143428: \|0 (DE-576)20168652X
936	r	v	\|a ST 230 \|b Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge \|k Informatik \|k Monografien \|k Software und -entwicklung \|k Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge \|0 (DE-627)1270877534 \|0 (DE-625)rvk/143617: \|0 (DE-576)200877534
936	b	k	\|a 54.52 \|j Software engineering \|0 (DE-627)106418882
936	b	k	\|a 54.53 \|j Programmiersprachen \|0 (DE-627)106418890
936	b	k	\|a 54.51 \|j Programmiermethodik \|0 (DE-627)106418122
951			\|a BO
980			\|a 595126804 \|b 183 \|c sid-183-col-kxpbbi

openURL	url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fkatalog.fid-bbi.de%3Agenerator&rft.title=Recent+trends+in+data+type+specification%3A+8th+Workshop+on+Specification+of+Abstract+Data+Types+joint+with+the+3rd+COMPASS+Workshop%2C+Dourdan%2C+France%2C+August+26+-+30%2C+1991+%3B+selected+papers&rft.date=1993&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Recent+trends+in+data+type+specification%3A+8th+Workshop+on+Specification+of+Abstract+Data+Types+joint+with+the+3rd+COMPASS+Workshop%2C+Dourdan%2C+France%2C+August+26+-+30%2C+1991+%3B+selected+papers&rft.series=Lecture+notes+in+computer+science%2C+655&rft.au=&rft.pub=Springer&rft.edition=&rft.isbn=3540475451

openURL

url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fkatalog.fid-bbi.de%3Agenerator&rft.title=Recent+trends+in+data+type+specification%3A+8th+Workshop+on+Specification+of+Abstract+Data+Types+joint+with+the+3rd+COMPASS+Workshop%2C+Dourdan%2C+France%2C+August+26+-+30%2C+1991+%3B+selected+papers&rft.date=1993&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Recent+trends+in+data+type+specification%3A+8th+Workshop+on+Specification+of+Abstract+Data+Types+joint+with+the+3rd+COMPASS+Workshop%2C+Dourdan%2C+France%2C+August+26+-+30%2C+1991+%3B+selected+papers&rft.series=Lecture+notes+in+computer+science%2C+655&rft.au=&rft.pub=Springer&rft.edition=&rft.isbn=3540475451

SOLR
_version_	1797789914987757568
author2	Bidoit, Michel
author2_role	oth
author2_variant	m b mb
author_corporate	Workshop on Specification of Abstract Data Types, COMPASS
author_corporate_role	oth, oth
author_facet	Bidoit, Michel, Workshop on Specification of Abstract Data Types, COMPASS
building	Library A
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.9.A23
callnumber-search	QA76.9.A23
callnumber-sort	QA 276.9 A23
callnumber-subject	QA - Mathematics
collection	ZDB-1-SLN, ZDB-2-LNC, ZDB-2-SCS, ZDB-2-BAE, ZDB-2-SXCS, ZDB-2-SEB, SSG-OPC-mat, sid-183-col-kxpbbi
contents	Algebraic specification of concurrency -- Objects and their specification -- The use of sorts in algebraic specifications -- Implementation and behavioural equivalence: A survey -- Relationships between logical frameworks -- Label algebras: A systematic use of terms -- How to specify non determinism and true concurrency with algebraic term nets -- Bounded implementation of algebraic specifications -- New concepts of amalgamation and extension for a general theory of specifications -- Nonequivalence of categories for equational algebraic specifications -- Process semantics of temporal logic specification -- The object-based specification language ?: concepts, syntax, and semantics -- Specifications with observable formulae and observational satisfaction relation -- Event logic for specifying abstract dynamic data types -- A soft stairway to institutions -- Generic classes in an object-based language., The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are: - specification languagesand program development - algebraic specification of concurrency - theorem proving - object-oriented specifications - order-sorted algebras - abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process.
ctrlnum	(DE-627)595126804, (DE-576)9595126802, (DE-599)GBV595126804, (OCoLC)699833784, (DE-601)NLM003721493, (ZBM)0825.00065, (DE-He213)978-3-540-47545-3, (EBP)040471888
doi_str_mv	10.1007/3-540-56379-2
facet_912a	ZDB-1-SLN, ZDB-2-LNC, ZDB-2-SCS, ZDB-2-BAE, ZDB-2-SXCS, ZDB-2-SEB, SSG-OPC-mat
facet_avail	Online
facet_local_del330	Abstrakter Datentyp, Spezifikation
finc_class_facet	Informatik, Mathematik
fincclass_txtF_mv	science-computerscience
footnote	Literaturangaben
format	eBook, ConferenceProceedings
format_access_txtF_mv	Book, E-Book
format_de105	Ebook
format_de14	Book, E-Book
format_de15	Book, E-Book
format_del152	Buch
format_detail_txtF_mv	text-online-monograph-independent-conference
format_dezi4	e-Book
format_finc	Book, E-Book
format_legacy	ElectronicBook
format_legacy_nrw	Book, E-Book
format_nrw	Book, E-Book
format_strict_txtF_mv	E-Book
genre	Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet	Congresses, Konferenzschrift
geogr_code	not assigned
geogr_code_person	not assigned
hierarchy_parent_id	183-316228877
hierarchy_parent_title	Lecture notes in computer science
hierarchy_sequence	65500
hierarchy_top_id	183-316228877
hierarchy_top_title	Lecture notes in computer science
id	183-595126804
illustrated	Not Illustrated
imprint	Berlin [u.a.], Springer, 1993
imprint_str_mv	Berlin [u.a.]: Springer, 1993, Online-Ausg.: Berlin [u.a.]: Springer, 2006
institution	FID-BBI-DE-23
is_hierarchy_id	183-595126804
is_hierarchy_title	Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers
isbn	9783540475453
isbn_isn_mv	3540563792, 9783540563792, 0387563792
issn_isn_mv	1611-3349
language	English
last_indexed	2024-04-30T19:41:07.728Z
marc024a_ct_mv	10.1007/3-540-56379-2
marc_error	[geogr_code]Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @64e01542
match_str	bidoit1993recenttrendsindatatypespecification8thworkshoponspecificationofabstractdatatypesjointwiththe3rdcompassworkshopdourdanfranceaugust26301991selectedpapers
mega_collection	K10plus Verbundkatalog, Springer Lecture Notes
multipart_link	093890923
multipart_part	(093890923)655
oclc_num	699833784
physical	Online-Ressource (X, 344 S.)
publishDate	1993
publishDateSort	1993
publishPlace	Berlin [u.a.]
publisher	Springer
record_format	marcfinc
record_id	595126804
recordtype	marcfinc
rvk_facet	SS 4800, SS 1991, ST 230
rvk_label	Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science, Kongressberichte, Veranstaltungsjahr 1991, Monografien, Software und -entwicklung, Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge
rvk_path	SS, SS 1991, ST, ST 230, SQ - SU, SS 4000 - SS 5999, SS 4800, SS 1800 - SS 2100, ST 230 - ST 285
rvk_path_str_mv	SS, SS 1991, ST, ST 230, SQ - SU, SS 4000 - SS 5999, SS 4800, SS 1800 - SS 2100, ST 230 - ST 285
series	Lecture notes in computer science, 655
series2	Lecture notes in computer science ; 655
source_id	183
spelling	Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers M. Bidoit ... (eds.), Berlin [u.a.] Springer 1993, Online-Ressource (X, 344 S.), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture notes in computer science 655, Literaturangaben, Algebraic specification of concurrency -- Objects and their specification -- The use of sorts in algebraic specifications -- Implementation and behavioural equivalence: A survey -- Relationships between logical frameworks -- Label algebras: A systematic use of terms -- How to specify non determinism and true concurrency with algebraic term nets -- Bounded implementation of algebraic specifications -- New concepts of amalgamation and extension for a general theory of specifications -- Nonequivalence of categories for equational algebraic specifications -- Process semantics of temporal logic specification -- The object-based specification language ?: concepts, syntax, and semantics -- Specifications with observable formulae and observational satisfaction relation -- Event logic for specifying abstract dynamic data types -- A soft stairway to institutions -- Generic classes in an object-based language., The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are: - specification languagesand program development - algebraic specification of concurrency - theorem proving - object-oriented specifications - order-sorted algebras - abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process., Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive \|2006\|\|\|\|\|\|\|\|\|\|, Logic design, Abstract data types (Computer science) Congresses, Computer science, Software engineering, Information theory., Data structures (Computer science)., Compilers (Computer programs)., Computer Science, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software Engineering, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4120827-4 (DE-627)105773670 (DE-576)209538295 Abstrakter Datentyp gnd, s (DE-588)4139161-5 (DE-627)105637424 (DE-576)209692081 Spezifikation gnd, (DE-627), Bidoit, Michel oth, Workshop on Specification of Abstract Data Types 8 1991 Dourdan (DE-588)2126872-1 (DE-627)121353435 (DE-576)194326373 oth, COMPASS 3 1991 Dourdan (DE-588)5313985-9 (DE-627)265469910 (DE-576)197511767 oth, 3540563792, 9783540563792, Druckausg. Recent trends in data type specification Berlin : Springer, 1993 X, 344 S. (DE-627)12087721X (DE-576)031781330 3540563792 0387563792, Lecture notes in computer science 655 65500 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, http://www.springerlink.com/content/p04544882t52 Verlag lizenzpflichtig Volltext, http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-56379-2 Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/3-540-56379-2 Resolving-System lizenzpflichtig Volltext, https://doi.org/10.1007/3-540-56379-2 X:SPRINGER Resolving-System lizenzpflichtig, https://zbmath.org/?q=an:0825.00065 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext
spellingShingle	Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers, Lecture notes in computer science, 655, Algebraic specification of concurrency -- Objects and their specification -- The use of sorts in algebraic specifications -- Implementation and behavioural equivalence: A survey -- Relationships between logical frameworks -- Label algebras: A systematic use of terms -- How to specify non determinism and true concurrency with algebraic term nets -- Bounded implementation of algebraic specifications -- New concepts of amalgamation and extension for a general theory of specifications -- Nonequivalence of categories for equational algebraic specifications -- Process semantics of temporal logic specification -- The object-based specification language ?: concepts, syntax, and semantics -- Specifications with observable formulae and observational satisfaction relation -- Event logic for specifying abstract dynamic data types -- A soft stairway to institutions -- Generic classes in an object-based language., The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are: - specification languagesand program development - algebraic specification of concurrency - theorem proving - object-oriented specifications - order-sorted algebras - abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process., Logic design, Abstract data types (Computer science) Congresses, Computer science, Software engineering, Information theory., Data structures (Computer science)., Compilers (Computer programs)., Computer Science, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software Engineering, Konferenzschrift, Abstrakter Datentyp, Spezifikation
title	Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers
title_auth	Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers
title_full	Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers M. Bidoit ... (eds.)
title_fullStr	Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers M. Bidoit ... (eds.)
title_full_unstemmed	Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers M. Bidoit ... (eds.)
title_in_hierarchy	655. Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers (1993)
title_short	Recent trends in data type specification
title_sort	recent trends in data type specification 8th workshop on specification of abstract data types joint with the 3rd compass workshop, dourdan, france, august 26 - 30, 1991 ; selected papers
title_sub	8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers
title_unstemmed	Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers
topic	Logic design, Abstract data types (Computer science) Congresses, Computer science, Software engineering, Information theory., Data structures (Computer science)., Compilers (Computer programs)., Computer Science, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software Engineering, Konferenzschrift, Abstrakter Datentyp, Spezifikation
topic_facet	Logic design, Abstract data types (Computer science), Computer science, Software engineering, Information theory., Data structures (Computer science)., Compilers (Computer programs)., Computer Science, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software Engineering, Konferenzschrift, Abstrakter Datentyp, Spezifikation
url	http://www.springerlink.com/content/p04544882t52, http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-56379-2, http://dx.doi.org/10.1007/3-540-56379-2, https://doi.org/10.1007/3-540-56379-2, https://zbmath.org/?q=an:0825.00065
work_keys_str_mv	AT bidoitmichel recenttrendsindatatypespecification8thworkshoponspecificationofabstractdatatypesjointwiththe3rdcompassworkshopdourdanfranceaugust26301991selectedpapers, AT workshoponspecificationofabstractdatatypesdourdan recenttrendsindatatypespecification8thworkshoponspecificationofabstractdatatypesjointwiththe3rdcompassworkshopdourdanfranceaugust26301991selectedpapers, AT compassdourdan recenttrendsindatatypespecification8thworkshoponspecificationofabstractdatatypesjointwiththe3rdcompassworkshopdourdanfranceaugust26301991selectedpapers

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991...

Bibliographische Detailangaben

Zugang