A systematic catalogue of reusable abstract data types :: SCD d'Orléans

A systematic catalogue of reusable abstract data types

A systematic catalogue of reusable abstract data types

This book presents a comprehensive catalogue of elementary data types like sets, maps, orders, trees and lists, written in Ada. Such data types are often used in systems programming. The major focus is on: - a uniform syntactic and semantic interface for all data types, - many implementation variant...

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Uhl, Jürgen, Schmid, Hans Albrecht (Autor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 460
Témata:	Génie logiciel Informatique Langages de programmation Types abstraits de données (informatique) Logiciels > Réutilisation
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• A systematic catalogue of reusable abstract data types, Jürgen Uhl, Hans Albrecht Schmid, Berlin, Springer-Verlag, 1990, 1 vol. (XII-344 p.), Lecture notes in computer science, 3-540-53229-3 • A Systematic Catalogue of Reusable Abstract Data Types, Texte imprimé, 9783662169490

Podobné jednotky

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 30, 1992 : selected papers

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 20, 1990 : proceedings

Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types
Autor: Sherman, Mark Steven, 19..-

Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems
Autor: Geurts, Frederic, 1965-

Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
Autor: Parisi-Presicce, Francesco

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999 : selected papers

Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

Design patterns : elements of reusable object-oriented software
Autor: Gamma, Erich, a další
Vydáno: (1995)

Recent trends in data type specification : 5th Workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987 : selected papers

Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

Algebraic methodology and software technology : 6th international conference, AMAST ±97, Sydney, Australia, December 13-17, 1997 : proceedings

Software reuse : methods, techniques, and tools : 7th international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings
Autor: Gacek, Cristina, 1964-

Software reuse : advances in software reusability : 6th international conference, ICSR-6, Vienna, Austria, June 27-29, 2000 : proceedings

Software reuse : ; proceedings methods, techniques, and tools : 8th international conference, ICSR 2004, Madrid, Spain, July 5-9, 2004

Algebraic methodology and software technology : 7th International Conference, AMAST 98, Amazonia, Brazil, January 4 8, 1999 : proceedings

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1 5, 1996 : proceedings

Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

Live data structures in logic programs : derivation by means of abstract interpretation
Autor: Mulkers, Anne, 19..-

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

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings

Verification, model checking, and abstract interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21 22, 2002 : revised papers
Vydáno: (2003)

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
Autor: Steffen, Bernhard, 1956-

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
Autor: Müller-Olm, Markus, 19..-

Types in compilation : Second International Workshop, TIC 98 Kyoto, Japan, March 25 27, 1998 : proceedings

Programming Languages and Systems : 8th European Symposium on Programming, ESOP 99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 99 Amsterdam, The Netherlands, March 22 28, 1999 Proceedings

Generic programming : advanced lectures
Autor: Backhouse, Roland Carl, 1948-

The Munich Project CIP. the program transformation system CIP-S
Autor: Bauer, Friedrich Ludwig, 1924-2015, a další

OOER'95 : object-oriented and entity-relationship modelling : 14th International Conference, Gold Coast, Australia, December 13-15, 1995 : proceedings

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24 26, 1989 : proceedings
Autor: Bläsius, Karl Hans, 1952-

Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India December 19 21, 1989 : proceedings : FST and TCS 9

Theory of program structures : schemes, semantics, verification
Autor: Greibach, Sheila, 1939-
Vydáno: (2005)

KORSO : methods, languages, and tools for the construction of correct software : final report
Autor: Broy, Manfred, 1949-

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism
Autor: Rao, Josyula Ramachandra, 19..-

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales