The following pages link to A Theory of Pointers for the UTP (Q5505599):
Displaying 17 items.
- Mechanical reasoning about families of UTP theories (Q436368) (← links)
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- The dynamic frames theory (Q539422) (← links)
- An algebraic approach to the design of compilers for object-oriented languages (Q607399) (← links)
- Correct hardware synthesis (Q766178) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- The safety-critical Java memory model formalised (Q1941888) (← links)
- Denotational semantics of channel mobility in UTP-CSP (Q1982650) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)
- Towards a UTP Semantics for Modelica (Q2971175) (← links)
- A Stepwise Approach to Linking Theories (Q2971179) (← links)
- Higher-Order UTP for a Theory of Methods (Q3455652) (← links)
- Mathematics of Program Construction (Q5313095) (← links)
- A local-time-induced unique pointer basis (Q5362281) (← links)
- A Theory of Pointers for the UTP (Q5505599) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)
