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...
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | , |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
332 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
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 |
Aurkibidea:
- 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.