Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Stephan van Staden"'
Autor:
Stephan van Staden, Tony Hoare
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642311123
MPC
MPC
We survey the well-known algebraic laws of sequential programming, and propose some less familiar laws for concurrent programming. On the basis of these laws, we derive the rules of a number of classical programming and process calculi, for example,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::045e6e517815bcc152111e0171cdb2a0
https://doi.org/10.1016/j.scico.2013.08.012
https://doi.org/10.1016/j.scico.2013.08.012
Autor:
Stephan van Staden, Tony Hoare
Publikováno v:
Unifying Theories of Programming ISBN: 9783642357046
UTP
UTP
We survey the well-known algebraic laws of sequential programming, and propose some less familiar laws for concurrent programming. On the basis of these laws, we derive a general calculus of program execution. The basic judgment of the theory is a qu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e129dd8df2f4c8bcd58e1f688be4616b
https://ora.ox.ac.uk/objects/uuid:b85da183-241d-4125-be4d-4e28c4ca5158
https://ora.ox.ac.uk/objects/uuid:b85da183-241d-4125-be4d-4e28c4ca5158
Publikováno v:
ACM SIGPLAN Notices. 47:7-18
Freefinement is an algorithm that constructs a sound refinement calculus from a verification system under certain conditions. In this paper, a verification system is any formal system for establishing whether an inductively defined term, typically a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c5dd2095b0b395322b6109abed498f70
https://doi.org/10.1145/2103621.2103661
https://doi.org/10.1145/2103621.2103661
Autor:
Stephan van Staden, Cristiano Calcagno
Publikováno v:
OOPSLA
Technical Report / ETH Zurich, Department of Computer Science, 666
Technical Report / ETH Zurich, Department of Computer Science, 666
Encapsulated abstractions are fundamental in object-oriented programming. A single class may employ multiple abstractions to achieve its purpose. Such abstractions are often related and combined in disciplined ways. This paper explores ways to expres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5081aeee8ecda8557b7b5d5d9782107f
https://doi.org/10.1145/1932682.1869501
https://doi.org/10.1145/1932682.1869501
This report summarises the background and recent progress in the research of its co-authors. It is aimed at the construction of links between algebraic presentations of the principles of programming and the exploitation of concurrency in modern progr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a2734872d177b8d19808873e12f3ea3
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/68900
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/68900
Autor:
Stephan van Staden
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319197968
MPC
MPC
Many semantic models of rely-guarantee have been proposed in the literature. This paper proposes a new classification of the approaches into two groups based on their treatment of guarantee conditions. To allow a meaningful comparison, it constructs
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::faf9cb96fe77e60de831491245e93c9b
https://doi.org/10.1007/978-3-319-19797-5_2
https://doi.org/10.1007/978-3-319-19797-5_2
Autor:
Stephan van Staden
Publikováno v:
Unifying Theories of Programming ISBN: 9783319148052
UTP
UTP
The views framework of Dinsdale-Young and others unifies several compositional techniques for reasoning about concurrent programs. This paper uses simple mathematics to construct the views framework incrementally from first principles. The result is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3909c0e92883b5a5f2df38ee53d9848e
https://doi.org/10.1007/978-3-319-14806-9_4
https://doi.org/10.1007/978-3-319-14806-9_4
Autor:
Bernhard Möller, Peter W. O'Hearn, Huibiao Zhu, Tony Hoare, Stephan van Staden, Jules Villard, Georg Struth
Publikováno v:
Relational and Algebraic Methods in Computer Science ISBN: 9783319062501
RAMICS
RAMICS
This report summarises recent progress in the research of its co-authors towards the construction of links between algebraic presentations of the principles of programming and the exploitation of concurrency in modern programming practice. The resear
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a036438b579e9b69550a44775ba2c0f
https://doi.org/10.1007/978-3-319-06251-8_1
https://doi.org/10.1007/978-3-319-06251-8_1
Publikováno v:
ECOOP 2010 – Object-Oriented Programming ISBN: 9783642141065
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b14d8492ea1c7c3ae25a03e6e19d0ac7
https://doi.org/10.1007/978-3-642-14107-2_8
https://doi.org/10.1007/978-3-642-14107-2_8