Search Results - "Hoare, C.A.R."

The verified software repository : a step towards the verifying compiler by BICARREGUI, J. C, HOARE, C. A. R, WOODCOCK, J. C. P

“…Abstract The verified software repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that society…”
Get full text

Assertions: a personal perspective by Hoare, C.A.R.

“…Assertions are Boolean formulas placed in program text at places where their evaluation will always be true. If the assertions are strong enough, they express…”
Get full text

Graphical models of separation logic by Wehrman, Ian, Hoare, C.A.R., O'Hearn, Peter W.

“…Graphs are used to model control and data flow among events occurring in the execution of a concurrent program. Our treatment of data flow covers both shared…”
Get full text

Software System Reliability and Security by Broy, M, Grünbauer, J, Hoare, T

“…Information security covers the protection of information against unauthorized disclosure, transfer, modification, and destruction, whether accidentally or…”
Get full text

Legacy code by Hoare, C.A.R.

Get full text

Sequential calculus by von Karger, Burghard, Hoare, C.A.R.

“…This paper presents an algebraic calculus like the relational calculus for reasoning about sequential phenomena. It provides a common foundation for several…”
Get full text

A theory of engineering design by Hoare, C.A.R.

“…Boolean algebra is the mathematical theory which forms the basis of Computing Science and Information Engineering. It is applicable at all levels, from the…”
Get full text

A theory of conjunction and concurrency by Hoare, C.A.R.

“…Some general conditions under which the specification of a concurrent system can be expressed as the conjunction of specifications for its component processes…”
Get full text

Unifying theories of healthiness condition by He Jifeng, Hoare, C.A.R.

“…A theory of programming starts with a complete Boolean algebra of specifications, and defines healthiness conditions which exclude infeasibility of…”
Get full text

Linking theories in probabilistic programming by Jifeng, He, Hoare, C.A.R.

“…This paper presents a theory of probabilistic programming based on relational calculus through a series of stages; each stage concentrates on a different and…”
Get full text

Programming: Sorcery or Science? by Hoare, C.A.R.

“…Professional programming practice should be based on underlying mathematical theories and follow the traditions of better-established engineering disciplines…”
Get full text

Consistent and complementary formal theories of the semantics of programming languages by Hoare, C.A.R., Lauer, P.E.

Get full text

The logic of engineering design by Hoare, C.A.R.

“…An engineering product is usually delivered as an assembly of components which generally operate concurrently. The operation of each component can be described…”
Get full text

Computer programming as an engineering discipline by Hoare, C.A.R.

Get full text

Partial correctness of C-MOS switching circuits: an exercise in applied logic by Hoare, C.A.R., Gordon, M.J.C.

“…The possibility of extending some of the logical methods that have been recommended for the design of software to the design of hardware, in particular, of…”
Get full text