TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8 12, 1991 Vol. 1, Colloquium on Trees in Algebra and Programming (CAAP'91)
TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - C...
محفوظ في:
| مؤلف مشترك: | |
|---|---|
| مؤلفون آخرون: | , |
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| سلاسل: | Lecture notes in computer science
493 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | 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: | • TAPSOFT'91, Vol. 1, Colloquium on Trees in Algebra and Programming (CAAP'91), proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, S. Abramsky, T.S.E. Maibaum (Eds.), 1991, Berlin, Springer, 1 vol. (VIII-455 p.), Lecture notes in computer science, 3-540-53982-4 • TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Texte imprimé, 9783540539827 • TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Texte imprimé, 9783662200445 |
جدول المحتويات:
- Full abstraction for series-parallel pomsets
- On causality observed incrementally, finally
- On the domain of traces and sequential composition
- Compilation of pattern matching with associative-commutative functions
- Linear bounded automata and rewrite systems : Influence of initial configurations on decision properties
- Algebraic graph rewriting using a single pushout
- Unifying initial and loose semantics of parameterized specifications in an arbitrary institution
- Non-strict don't care algebras and specifications
- Program specification and data refinement in type theory
- Static analysis of linear congruence equalities among variables of a program
- Simple solutions for approximate tree matching problems
- The tree inclusion problem
- Introducing a calculus of trees
- Domains in a realizability framework
- Iteration algebras extended abstract
- Logic programming as hypergraph Rewriting
- A fully abstract model for concurrent constraint programming
- A solved form algorithm for ask and tell Herbrand constraints
- A calculus of broadcasting systems
- Object-based concurrency : A process calculus analysis
- On the complexity of equation solving in process algebra
- Comparative semantics for a real-time programming language with integration
- A complete proof system for timed observations
- Type inference with inequalities.