Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999 : selected papers
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
1827 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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, 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999, selected papers, Didier Bert, Christine Choppy, Peter Mosses (eds.), New York, Springer, 2000, 1 vol. (X-476 p.), Lecture notes in computer science, 3-540-67898-0 • Recent Trends in Algebraic Development Techniques, Texte imprimé, 9783662163283 |
Taula de continguts:
- Invited Topics
- A Type-Theoretic Memory Model for Verification of Sequential Java Programs
- From States to Histories
- Principles and Pragmatics of Subtyping in PVS
- Casl: Language, Methodology and Tools
- Extending Casl by Late Binding
- Towards an Evolutionary Formal Software-Development Using CASL
- Development of Parsing Tools for CASL Using Generic Language Technology
- Using CASL to Specify the Requirements and the Design: A Problem Specific Approach
- Subsorted Partial Higher-Order Logic as an Extension of CASL
- Specifying Real Numbers in CASL
- Foundations
- Specification Refinement with System F The Higher-Order Case
- Guarded Algebras: Disguising Partiality so You Won t Know Whether Its There
- A General Completeness Result in Refinement
- An Institution of Hybrid Systems
- Realization of Probabilistic Automata: Categorical Approach
- Specifications in an Arbitrary Institution with Symbols
- A General Algebraic Framework for Studying Modular Systems
- Specification of Processes and Interactions
- History Preserving Bisimulation for Contextual Nets
- A Model for Interaction of Agents and Environments
- Algebra-Coalgebra Structures and Bialgebras
- A Uniform Model Theory for the Specification of Data and Process Types
- Other Topics
- Relating Abstract Datatypes and Z-Schemata
- Algebraic Specification of Operator-Based Multimedia Scenarios
- Higher-Order Logic and Theorem Proving for Structured Specifications
- Extraction of Structured Programs from Specification Proofs
- Towards a Verification Logic for Rewriting Logic
- The Rôle of Normalisation in Testing from Structured Algebraic Specifications.