Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi- sized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them ?n...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
1589 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
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 algebraic development techniques, 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, selected papers, José Luiz Fiadeiro (ed.), 1999, Berlin, Springer, 1 vol. (X-340 p.), Lecture notes in computer science, 3-540-66246-4 • Recent Trends in Algebraic Development Techniques, Texte imprimé, 9783662173596 |
| LEADER | 04837nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 948526 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155168649 | ||
| 020 | |a 9783540484837 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.1 | ||
| 111 | 2 | |a Workshop on Algebraic Development Techniques |n (13 |d :1998 |c :Lisbonne). | |
| 245 | 1 | 0 | |a Recent trends in algebraic development techniques : |b 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers |c [edited by] José Luiz Fiadeiro. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1589 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a An Algebraic Framework for Separate Type-Checking -- Moving Specification Structures Between Logical Systems -- Normal Forms for Partitions and Relations -- Parameterisation of Logics -- Semantic Constructions for Hidden Algebra -- Functorial Semantics for Multi-algebras -- An Algebra of Graph Derivations Using Finite (co ) Limit Double Theories -- Hierarchical Heterogeneous Specifications -- Parallel Admissible Graph Rewriting -- Refinements and Modules for Typed Graph Transformation Systems -- Complete Strategies for Term Graph Narrowing -- Non-deterministic Computations in ELAN -- Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics -- Translating OBJ3 into CASL: The Institution Level -- Casl: A Guided Tour of Its Design -- Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets -- Using Reflection to Specify Transaction Sequences in Rewriting Logic -- Concurrency and Data Types: A Specification Method An Example with LOTOS -- The Situation and State Calculus versus Branching Temporal Logic -- Modular Specification of Concurrent Systems with Observational Logic -- Proof Normalization of Structured Algebraic Specifications Is Convergent. | |
| 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 European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi- sized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them ?nancially viable. Discussions aiming at a consolidation have been underway since at least 1992, with concrete planning beginning in summer 1994 and culminating in a public meeting at TAPSOFT 95 in Aarhus. On the basis of a broad consensus, it was decided to establish a single annual federated spring conference in the slot that was then occupied by TAPSOFT and CAAP/ESOP/CC, comprising a number of existing and new conferences and covering a spectrum from theory to practice. ETAPS 98, the ?rst instance of the European Joint Conferences on Theory and Practice of Software, is taking place this year in Lisbon. It comprises ?ve conferences (FoSSaCS, FASE, ESOP, CC, TACAS), four workshops (ACoS, VISUAL, WADT, CMCS), seven invited lectures, and nine tutorials. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Types abstraits de données (informatique) | ||
| 650 | |a Informatique |x Mathématiques | ||
| 650 | |a Logiciels |x Développement | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Fiadeiro, José Luiz, |d 1961- |4 pbd | |
| 776 | 0 | |0 046436235 |t Recent trends in algebraic development techniques |o 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 |o selected papers |f José Luiz Fiadeiro (ed.) |d 1999 |c Berlin |n Springer |p 1 vol. (X-340 p.) |s Lecture notes in computer science |z 3-540-66246-4 | |
| 776 | 0 | |t Recent Trends in Algebraic Development Techniques |b Texte imprimé |z 9783662173596 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-48483-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-4RNJSBTD-9 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748059423 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-48483-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751510920 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-48483-3 |z Accès INSA CVL | |
| 997 | |0 948526 |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/ | ||