-
1
-
-
0342841229
-
Fixpoint calculus
-
Aarts C., et al. Fixpoint calculus. Inform. Process. Lett. 53(3):1995;131-136.
-
(1995)
Inform. Process. Lett.
, vol.53
, Issue.3
, pp. 131-136
-
-
Aarts, C.1
-
2
-
-
0003231413
-
Correctness Preserving Program Refinements: Proof Theory and Applications
-
Amsterdam: Mathematical Centre
-
Back R.J. Correctness Preserving Program Refinements: Proof Theory and Applications. Mathematical Centre Tracts. vol. 131:1980;Mathematical Centre, Amsterdam.
-
(1980)
Mathematical Centre Tracts
, vol.131
-
-
Back, R.J.1
-
3
-
-
0009004126
-
Refining atomicity in parallel algorithms
-
Eindhoven, the Netherlands, Springer, Berlin
-
R.J. Back, Refining atomicity in parallel algorithms, in: PARLE Conf. on Parallel Architectures and Languages Europe, Eindhoven, the Netherlands, Springer, Berlin, 1989.
-
(1989)
PARLE Conf. on Parallel Architectures and Languages Europe
-
-
Back, R.J.1
-
4
-
-
0002031923
-
Stepwise refinement of action systems
-
Back R.J., Sere K. Stepwise refinement of action systems. Struct Program. 12:1991;17-30.
-
(1991)
Struct Program
, vol.12
, pp. 17-30
-
-
Back, R.J.1
Sere, K.2
-
6
-
-
0033153875
-
Reasoning algebraically about loops
-
Back R.J., von Wright J. Reasoning algebraically about loops. Acta Inform. 36:1999;295-334.
-
(1999)
Acta Inform.
, vol.36
, pp. 295-334
-
-
Back, R.J.1
Von Wright, J.2
-
7
-
-
0042279871
-
Encoding, decoding, and data refinement
-
Back R.J., von Wright J. Encoding, decoding, and data refinement. Formal Aspects Comput. 12(5):2000;313-349.
-
(2000)
Formal Aspects Comput.
, vol.12
, Issue.5
, pp. 313-349
-
-
Back, R.J.1
Von Wright, J.2
-
8
-
-
0001038688
-
Regular algebra applied to path finding problems
-
Backhouse R.C., Carré B.A. Regular algebra applied to path finding problems. J. Inst. Math. Appl. 15:1975;161-186.
-
(1975)
J. Inst. Math. Appl.
, vol.15
, pp. 161-186
-
-
Backhouse, R.C.1
Carré, B.A.2
-
10
-
-
0035965473
-
Non-regular iterators in process algebra problems
-
Bergstra J.A., Ponse A. Non-regular iterators in process algebra problems. Theoret. Comput. Sci. 269:2001;203-229.
-
(2001)
Theoret. Comput. Sci.
, vol.269
, pp. 203-229
-
-
Bergstra, J.A.1
Ponse, A.2
-
11
-
-
1942466868
-
-
Report CS 8903, Department of Mathematics and Computer Science, University of Groningen
-
W. Chen, J.T. Udding, Program inversion: more than fun! Report CS 8903, Department of Mathematics and Computer Science, University of Groningen, 1988.
-
(1988)
Program Inversion: More than Fun
-
-
Chen, W.1
Udding, J.T.2
-
13
-
-
84976490328
-
Separation and reduction
-
R. Backhouse, J. Oliveira (Eds.), Mathematics of Program Construction, Portugal, Springer, Berlin
-
E. Cohen, Separation and reduction, in: R. Backhouse, J. Oliveira (Eds.), Mathematics of Program Construction, Lecture Notes in Computer Science, vol. 1837, Portugal, Springer, Berlin, 2000.
-
(2000)
Lecture Notes in Computer Science
, vol.1837
-
-
Cohen, E.1
-
14
-
-
0004253669
-
-
Englewood Cliffs, NJ: Prentice-Hall International
-
Dijkstra E.W. A Discipline of Programming. 1976;Prentice-Hall International, Englewood Cliffs, NJ.
-
(1976)
A Discipline of Programming
-
-
Dijkstra, E.W.1
-
15
-
-
0033751223
-
Computation calculus bridging a formalization gap
-
Dijkstra R.M. Computation calculus bridging a formalization gap. Sci. Comput. Programming. 37:2000;3-36.
-
(2000)
Sci. Comput. Programming
, vol.37
, pp. 3-36
-
-
Dijkstra, R.M.1
-
16
-
-
0000712763
-
A single complete rule for data refinement
-
Gardiner P.H., Morgan C.C. A single complete rule for data refinement. Formal Aspects Comput. 5(4):1993;367-383.
-
(1993)
Formal Aspects Comput.
, vol.5
, Issue.4
, pp. 367-383
-
-
Gardiner, P.H.1
Morgan, C.C.2
-
18
-
-
0036568617
-
Reasoning about real-time repetitions: Terminating and nonterminating
-
Hayes I.J. Reasoning about real-time repetitions. terminating and nonterminating Sci. Comput. Programming. 43(2-3):2002;161-192.
-
(2002)
Sci. Comput. Programming
, vol.43
, Issue.2-3
, pp. 161-192
-
-
Hayes, I.J.1
-
20
-
-
84876887451
-
On Hoare logic and Kleene algebra with tests
-
Kozen D. On Hoare logic and Kleene algebra with tests. ACM Trans. Comput. Logic. 1(1):2000;60-76.
-
(2000)
ACM Trans. Comput. Logic
, vol.1
, Issue.1
, pp. 60-76
-
-
Kozen, D.1
-
21
-
-
84867805606
-
Certification of compiler optimizations using Kleene Algebra with tests
-
1st Internat. Conf. on Computational Logic, London, July, Springer, Berlin
-
D. Kozen, M.-C. Patron, Certification of compiler optimizations using Kleene Algebra with tests, in: 1st Internat. Conf. on Computational Logic, Lecture Notes in Artificial Intelligence, vol. 186, London, July 2000, Springer, Berlin, pp. 568-582.
-
(2000)
Lecture Notes in Artificial Intelligence
, vol.186
, pp. 568-582
-
-
Kozen, D.1
Patron, M.-C.2
-
22
-
-
0003741442
-
Correct compilation of control structures
-
AT&T Bell Laboratories, September
-
M.S. Manasse, C.G. Nelson, Correct compilation of control structures, Tech. Memo. 11271-840909-09TM, AT&T Bell Laboratories, September 1984.
-
(1984)
Tech. Memo. 11271-840909-09TM
-
-
Manasse, M.S.1
Nelson, C.G.2
-
24
-
-
0009004127
-
On lattice theory and program semantics
-
Caltech, Pasadena, CA, USA
-
J.L.A. van de Snepscheut, On lattice theory and program semantics, Tech. Report CS-TR-93-19, Caltech, Pasadena, CA, USA, 1993.
-
(1993)
Tech. Report
, vol.CS-TR-93-19
-
-
Van de Snepscheut, J.L.A.1
-
25
-
-
0025750654
-
Program inversion in the refinement calculus
-
von Wright J. Program inversion in the refinement calculus. Inform. Process. Lett. 37(2):1991;95-100.
-
(1991)
Inform. Process. Lett.
, vol.37
, Issue.2
, pp. 95-100
-
-
Von Wright, J.1
-
26
-
-
84959048145
-
From Kleene algebra to refinement algebra
-
E.A. Boiten, B.M. Möller (Eds.), Mathematics of Program Construction, Germany, Springer, Berlin
-
J. von Wright, From Kleene algebra to refinement algebra, in: E.A. Boiten, B.M. Möller (Eds.), Mathematics of Program Construction, Lecture Notes in Computer Science, vol. 2386, Germany, Springer, Berlin, 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2386
-
-
Von Wright, J.1
|