Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- p...
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | , |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science
1837 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Mathematics of program construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 2000, proceedings, Roland Backhouse, José Nuno Oliveira (eds.), 2000, New York, Springer, 1 vol. (VII-255 p.), Lecture notes in computer science, 3-540-67727-5 • Mathematics of Program Construction, Texte imprimé, 9783662204900 |
Sisällysluettelo:
- Integrating Programming, Properties, and Validation
- Polytypic Values Possess Polykinded Types
- The Zip Calculus
- Separation and Reduction
- Reasoning about Non-terminating Loops Using Deadline Commands
- Quantum Programming
- Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series
- Proving Pointer Programs in Hoare Logic
- On Guarded Commands with Fair Choice
- Formal Methods and Dependability
- Liberating Data Refinement
- Theorems about Composition
- The Universal Resolving Algorithm: Inverse Computation in a Functional Language
- Metacomputation-Based Compiler Architecture
- A Metalanguage for Programming with Bound Names Modulo Renaming.