000 | 03951nam a22005295i 4500 | ||
---|---|---|---|
001 | u375377 | ||
003 | SIRSI | ||
005 | 20160812084321.0 | ||
007 | cr nn 008mamaa | ||
008 | 101108s2010 gw | s |||| 0|eng d | ||
020 |
_a9783642166907 _9978-3-642-16690-7 |
||
040 | _cMX-MeUAM | ||
050 | 4 | _aQA76.9.L63 | |
050 | 4 | _aQA76.5913 | |
050 | 4 | _aQA76.63 | |
082 | 0 | 4 |
_a005.1015113 _223 |
100 | 1 |
_aQin, Shengchao. _eeditor. |
|
245 | 1 | 0 |
_aUnifying Theories of Programming _h[recurso electrónico] : _bThird International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings / _cedited by Shengchao Qin. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010. |
|
300 |
_aVIII, 310p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6445 |
|
505 | 0 | _aSpecification Coverage for Testing in Circus -- UTP and Sustainability -- A Probabilistic BPEL-Like Language -- On Modelling User Observations in the UTP -- Unifying Theories of Confidentiality -- Saoithín: A Theorem Prover for UTP -- A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs -- Programmable Verifiers in Imperative Programming -- Unifying Theories in Isabelle/HOL -- Unifying Recursion in Partial, Total and General Correctness -- Halting Still Standing – Programs versus Specifications -- Promoting Models -- Probabilistic Choice, Reversibility, Loops, and Miracles -- Towards a Pomset Semantics for a Shared-Variable Parallel Language -- Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language. | |
520 | _aThis book constitutes the proceedings of the Third International Symposium on Unifying Theories of Programming (UTP 2010) held at East China Normal University,Shanghai,China,November15–16,2010inconjunctionwiththe12th International Conference on Formal Engineering Methods (ICFEM 2010). This symposium followed on the success of the ?rst one, held at Walworth Castle (Durham, UK) in 2006, and the second, held at Trinity College (Dublin, Ireland) in 2008. Based on the pioneering work of C.A.R. Hoare, He Jifeng, and others on unifying theories of programming, the aims of this symposium series are, as stated in UTP 2008, to continue to rea?rm the signi?cance of the ongoing UTP project, to encourage e?orts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the bene?ts of such a unifying theoretical framework among the wider computer science and software engineering communities. TheprogramfortheUTP2010symposiumincludesoneinvitedtutorial,three invited talks, and 12 regular paper presentations. I would like to warmly thank ourinvitedspeakers,AnaCavalcanti,HeJifeng,Je?SandersandJimWoodcock, as well asall the authors,for their enthusiasticand engagedparticipation in this event. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aLogic design. | |
650 | 0 | _aArtificial intelligence. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
650 | 2 | 4 | _aProgramming Techniques. |
650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642166891 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6445 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-16690-7 |
596 | _a19 | ||
942 | _cLIBRO_ELEC | ||
999 |
_c203257 _d203257 |