Recent trends in data type specification : 5th Workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987 : selected papers
The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science since...
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Σειρά: | Lecture notes in computer science
332 |
| Θέματα: | |
| Διαθέσιμο Online: | 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: | • Recent trends in data type specification, selected papers, 5th Workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987, 1988, Berlin, Springer-Verlag, 1 vol. (259 p.), Lecture notes in computer science, 3-540-50325-0 • Recent Trends in Data Type Specification, Texte imprimé, 9783662187777 |
| LEADER | 04523nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 943837 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155165488 | ||
| 020 | |a 9783540459705 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Workshop on specification of abstract data types |n (05 |d :1987 |c :Gullane, GB). | |
| 245 | 1 | 0 | |a Recent trends in data type specification : |b 5th Workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987 : selected papers |c [edited by] D. Sannella, A. Tarlecki. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 332 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a The stratified loose approach: A generalization of initial and loose semantics -- Algebraic data type and process specifications based on projection spaces -- Structuring theories on consequence -- Completion with history-dependent complexities for generated equations -- Jungle evaluation -- The ACT-system experiences and future enhancements -- The specification language of OBSCURE -- Algebraic specifications of reachable higher-order algebras -- Observing nondeterministic data types -- Initial behaviour semantics for algebraic specifications -- Partial algebras, subsorting, and dependent types -- Operational semantics of behavioural canons based on narrowing -- The algebraic specification of semicomputable data types. | |
| 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 The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science since 1974. The main goal of work in this area is to evolve a methodology to support the design and formal development of reliable software. The particular approach taken builds upon concepts from universal algebra and elementary category theory. The core of this work has now stabilized to a great extent and is mature enough to find application in real-life software engineering and to related topics such as concurrency, databases, and even hardware design. Such applications are becoming more feasible because of the emergence of integrated specification/development environments which include tools such as theorem provers based on fast term rewriting engines. Researchers are also exploring ways of widening the scope of the theory to make it applicable to (for example) higher-order functions and non-deterministic programs. Another trend is toward taking a more general view which allows superficially different approaches having the same general aims and methods to be unified. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Types abstraits de données (informatique) | ||
| 650 | |a Structures de données (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Sannella, Donald, |d 1956- |4 pbd | |
| 700 | 1 | |a Tarlecki, Andrzej, |d 1956- |4 pbd | |
| 776 | 0 | |0 020870078 |t Recent trends in data type specification |o selected papers |f 5th Workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987 |d 1988 |c Berlin |n Springer-Verlag |p 1 vol. (259 p.) |s Lecture notes in computer science |z 3-540-50325-0 | |
| 776 | 0 | |t Recent Trends in Data Type Specification |b Texte imprimé |z 9783662187777 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-50325-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-0GTQN5P1-D |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747925224 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-50325-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750937351 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-50325-0 |z Accès INSA CVL | |
| 997 | |0 943837 |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/ | ||