Unifying Theories of Programming
This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.
| ISBN: | 9783642357046 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 249 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Feliachi, Abderrahmane Gaudel, Marie-Claude Wolff, Burkhard |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 04.01.2013 |
| Untertitel: | 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers |
| Schlagworte: | Maude Monads UTP Verilog computation formal methods object-oriented programming programming languages programming theory semantics |