-
1
-
-
0024129970
-
A calculus of refinement for program derivations
-
R.-J.R. Back, A calculus of refinement for program derivations, Acta Informatica 25 (1998) 593-624.
-
(1998)
Acta Informatica
, vol.25
, pp. 593-624
-
-
Back, R.-J.R.1
-
3
-
-
84972546036
-
Constructive versions of tarski's fixed point theorems
-
P. Cousot, R. Cousot, Constructive versions of tarski's fixed point theorems, Pacific J. Math. 82 (1) (1979) 43-57.
-
(1979)
Pacific J. Math.
, vol.82
, Issue.1
, pp. 43-57
-
-
Cousot, P.1
Cousot, R.2
-
5
-
-
0026926404
-
Specifications are (preferably) executable
-
N.E. Fuchs, Specifications are (preferably) executable, IEE/BCS Software Eng. J. 7 (5) (1992) 323-334.
-
(1992)
IEE/BCS Software Eng. J.
, vol.7
, Issue.5
, pp. 323-334
-
-
Fuchs, N.E.1
-
6
-
-
0001316705
-
Specifications are not (necessarily) executable
-
I.J. Hayes, C.B. Jones, Specifications are not (necessarily) executable, IEE/BCS Software Eng. J. 4 (6) (1989) 330-33 8.
-
(1989)
IEE/BCS Software Eng. J.
, vol.4
, Issue.6
, pp. 330-338
-
-
Hayes, I.J.1
Jones, C.B.2
-
7
-
-
0021374335
-
Predicative programming
-
E.C.R. Hehner, Predicative programming, Comm. ACM 27 (2) (1984) 134-151.
-
(1984)
Comm. ACM
, vol.27
, Issue.2
, pp. 134-151
-
-
Hehner, E.C.R.1
-
10
-
-
0009348762
-
Abstractions of time
-
A.W. Roscoe (Ed.), Essays in Honour of C.A.R. Hoare, Chapter 12, Prentice-Hall International Series in Computer Science, London
-
E.C.R. Hehner, Abstractions of time, in: A.W. Roscoe (Ed.), A Classical Mind, Essays in Honour of C.A.R. Hoare, Chapter 12, Prentice-Hall International Series in Computer Science, London, 1994, pp. 191-210.
-
(1994)
A Classical Mind
, pp. 191-210
-
-
Hehner, E.C.R.1
-
11
-
-
0022188871
-
Programs are predicates
-
C.A.R. Hoare, J.C. Shepherdson (Eds.), Prentice-Hall International, London
-
C.A.R. Hoare, Programs are predicates, in: C.A.R. Hoare, J.C. Shepherdson (Eds.), Mathematical Logic and Programming Languages, Prentice-Hall International, London, 1985, pp. 141-154;
-
(1985)
Mathematical Logic and Programming Languages
, pp. 141-154
-
-
Hoare, C.A.R.1
-
12
-
-
0004294570
-
-
Prentice-Hall International, London
-
and in: C.A.R. Hoare, C.B. Jones (eds.), Essays in Computing Science, Prentice-Hall International, London, 1989, pp. 333-349.
-
(1989)
Essays in Computing Science
, pp. 333-349
-
-
Hoare, C.A.R.1
Jones, C.B.2
-
13
-
-
0009397068
-
Programs are predicates
-
C.A.R. Hoare, Programs are predicates, ICOT J. 38 (1993).
-
(1993)
ICOT J.
, vol.38
-
-
Hoare, C.A.R.1
-
16
-
-
0028512153
-
An old-fashioned recipe for real time
-
L. Lamport, An old-fashioned recipe for real time, ACM TOPLAS 16 (5) (1994) 1543-1571.
-
(1994)
ACM TOPLAS
, vol.16
, Issue.5
, pp. 1543-1571
-
-
Lamport, L.1
-
17
-
-
0009408439
-
The cuppest capjunctive capping, and galois
-
A.W. Roscoe (Ed.), Prentice-Hall International, London
-
C. Morgan, The cuppest capjunctive capping, and galois, in: A.W. Roscoe (Ed.), A Classical Mind, Essays in Honour of C.A.R. Hoare, Prentice-Hall International, London, 1994, pp. 317-332.
-
(1994)
A Classical Mind, Essays in Honour of C.A.R. Hoare
, pp. 317-332
-
-
Morgan, C.1
-
20
-
-
0009439512
-
Mathematics of program construction
-
Springer, Berlin
-
J.L.A. van de Snepscheut (Ed.), Mathematics of program construction, Lecture Notes in Computer Science, Vol. 375, Springer, Berlin, 1989, pp. 36-47.
-
(1989)
Lecture Notes in Computer Science
, vol.375
, pp. 36-47
-
-
Van de Snepscheut, J.L.A.1
|