Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings

Forsideomslag
Helmut Seidl
Springer Berlin Heidelberg, 9. mar. 2007 - 379 sider

This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.

Fra bogen

Hvad folk siger - Skriv en anmeldelse

Vi har ikke fundet nogen anmeldelser de normale steder.

Indhold

Invited Talk
1
Iterator Types
17
Types and Effects for Resource Usage Analysis
32
Copyright

16 andre sektioner vises ikke

Andre udgaver - Se alle

Almindelige termer og sætninger

Bibliografiske oplysninger