Paragon : :: SCD d'Orléans

Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types

Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types

Enregistré dans:

書目詳細資料
主要作者:	Sherman, Mark Steven, 19..-
格式:	Livre numérique
語言:	Anglais
出版:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
叢編:	Lecture notes in computer science 189
主題:	Génie logiciel Informatique Langages de programmation Types abstraits de données (informatique) Structures de données (informatique) Paragon (langage de programmation)
在線閱讀:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
提示:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Paragon, a language using type hierarchies for the specification, implementation, and selection of abstract data types, Mark Steven Sherman, Berlin, Springer-Verlag, 1985, 1 vol. (IX-364 p.), Lecture notes in computer science, 0-387-15212-1 • Paragon, Texte imprimé, 9783540152125 • Paragon, Texte imprimé, 9783662201565

相似書籍

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

A systematic catalogue of reusable abstract data types
由: Uhl, Jürgen, et autres

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

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

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

Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
由: 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

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

The Munich Project CIP. the program transformation system CIP-S
由: Bauer, Friedrich Ludwig, 1924-2015, et autres

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

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

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

An extended entity-relationship model : fundamentals and pragmatics
由: Gogolla, Martin

Programming languages and systems : 12th European Symposium on Programming, ESOP 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7 11, 2003 : proceedings

Programming languages and systems : 11th European Symposium on Programming, ESOP 2002 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 12, 2002 : proceedings

Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

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

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

CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15 18, 1990 : proceedings

Semantics of Data Types : International symposium Sophia-Antipolis, France, June 27 29, 1984 : proceedings

Metaclasses and their application : data model tailoring and database integration
由: Klas, Wolfgang, 19..-, et autres

Parallel symbolic languages and systems : International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings

Object-oriented methodologies and systems : international symposium, ISOOMS '94, Palermo, Italy, September 21-22, 1994 : proceedings

Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 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

CASL user manual : introduction to using the Common Algebraic Specification Language
由: Bidoit, Michel, 1957-, et autres

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

Traitement de données numériques avec Fortran 90
由: Olagnon, Michel, 1952-
出版: (1996)

Parallel execution of Parlog
由: Cheese, Andrew, 19..-

Algebraic specification techniques in object oriented programming environments
由: Breu, Ruth, 19..-

Specification and compositional verification of real-time systems
由: Hooman, Jozef, 19..-

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

STACS 99 : 16th Annual Symposium on Theoretical Aspects of Computer Science Trier, Germany, March 4 6, 1999 : proceedings

CASL reference manual : the complete documentation of the Common Algebraic Specification Language
由: Mosses, Peter D.

© 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