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
Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was he...
Enregistré dans:
| Collectivités auteurs: | , |
|---|---|
| Andre forfattere: | , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
785 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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, 1992, selected papers, Hartmut Ehrig, Fernando Orejas, eds, Berlin, Springer-Verlag, 1994, 1 vol. (VIII-350 p.), Lecture notes in computer science, 3-540-57867-6 • Recent Trends in Data Type Specification, Texte imprimé, 9783662207826 |
| LEADER | 04579nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 944408 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155187260 | ||
| 020 | |a 9783540483618 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Workshop on specification of abstract data types |n (09 |d :1991 |c :Caldes de Malavella). | |
| 245 | 1 | 0 | |a Recent trends in data type specification : |b 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 30, 1992 : selected papers |c [edited by] Hartmut Ehrig, Fernando Orejas. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 785 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Towards an algebraic semantics for the object paradigm -- Rewriting techniques for software engineering -- Identity and existence, and types in algebra -- Overloading and inheritance -- A SMoLCS based kit for defining high-level algebraic Petri nets -- Institutions for very abstract specifications -- About the correctness and adequacy of PLUSS specifications -- Semantic constructions in the specification language Glider -- On certification of specifications for TROLL light objects -- Translating TROLL light concepts to Maude -- Algebraic high level nets -- 2-Categorical specification of partial algebras -- A behavioural algebraic framework for modular system design with reuse -- On fibred adjunctions and completeness for fibred categories -- Implementing inequality and nondeterministic specifications with bi-rewriting systems -- A semantic basis for logic-independent transformation -- Unified algebras and abstract syntax -- Structured inheritance for algebraic class specifications -- Towards a theory for the animation of algebraic specifications -- Second-order proof systems for algebraic specification languages -- An institution of object behaviour. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Types abstraits de données (informatique) | ||
| 700 | 1 | |a Ehrig, Hartmut, |d 1944- |4 pbd | |
| 700 | 1 | |a Orejas, Fernando, |d 1952- |4 pbd | |
| 711 | 2 | |a COMPASS Workshop |n (04 |d :1992 |c :Caldes de Malavella). |4 aut | |
| 776 | 0 | |0 018428142 |t Recent trends in data type specification |o 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October, 1992 |o selected papers |f Hartmut Ehrig, Fernando Orejas, eds |c Berlin |n Springer-Verlag |d 1994 |p 1 vol. (VIII-350 p.) |s Lecture notes in computer science |z 3-540-57867-6 | |
| 776 | 0 | |t Recent Trends in Data Type Specification |b Texte imprimé |z 9783662207826 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-57867-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-6Q1SJVLH-W |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747919917 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-57867-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750932449 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-57867-6 |z Accès INSA CVL | |
| 997 | |0 944408 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||